Blady-Com
a8bcb71a90
florist_blady 6.0.0 ( #629 )
...
* Add Alire support for Florist source version.
* Specify available OS.
* Change name to avoid confusion with that one provided by AdaCore. Add provides property for API compatibility with any Florist compliant with Posix Ada.
* Rename the parent folder.
* Set corresponding alternate AdaCore version to 22.0.
* Fix naming of config GPR file in the new provided commit.
2022-10-24 09:34:38 +02:00
..
2022-06-10 10:22:59 +02:00
2022-09-21 12:13:47 +02:00
2021-12-14 21:22:35 +01:00
2021-01-13 14:12:03 +01:00
2021-01-13 14:12:03 +01:00
2021-01-13 14:12:03 +01:00
2022-08-17 13:57:10 +02:00
2022-06-07 10:36:42 +02:00
2022-04-21 12:34:54 +02:00
2022-01-25 19:51:46 +01:00
2022-09-15 10:32:27 +02:00
2021-10-25 09:05:30 +02:00
2022-07-04 10:43:17 +02:00
2022-10-10 10:52:35 +02:00
2022-08-27 17:20:42 +02:00
2021-01-13 14:12:03 +01:00
2021-12-14 21:23:26 +01:00
2021-09-21 11:41:34 +02:00
2022-02-28 09:34:01 +01:00
2022-03-03 09:13:58 +01:00
2021-09-21 11:41:34 +02:00
2022-01-26 21:01:52 +01:00
2021-01-13 14:12:03 +01:00
2022-08-27 12:56:35 +02:00
2022-07-28 18:11:53 +02:00
2022-09-12 16:20:17 +02:00
2022-06-08 10:20:42 +02:00
2021-06-25 11:01:38 +02:00
2022-08-17 12:30:52 +02:00
2020-10-16 16:50:46 +02:00
2022-08-27 12:56:35 +02:00
2022-06-12 12:07:57 +02:00
2022-07-28 13:12:01 +02:00
2022-07-31 11:19:06 +02:00
2021-02-03 12:15:58 +01:00
2022-09-05 11:04:09 +02:00
2021-01-13 14:12:03 +01:00
2022-04-11 12:03:01 +02:00
2022-09-20 16:12:07 +02:00
2022-08-04 12:20:54 +02:00
2022-08-27 12:56:35 +02:00
2022-03-31 15:11:33 +02:00
2022-03-11 12:35:31 +01:00
2022-08-27 12:56:35 +02:00
2022-08-19 19:20:50 +02:00
2021-01-13 14:12:03 +01:00
2022-03-07 12:56:30 +01:00
2021-08-20 10:15:56 +02:00
2022-10-24 09:34:38 +02:00
2021-05-17 16:46:49 +02:00
2022-06-20 10:24:03 +02:00
2022-07-23 12:00:10 +02:00
2022-04-19 10:24:21 +02:00
2021-01-13 14:12:03 +01:00
2022-08-18 11:02:05 +02:00
2021-11-19 12:24:47 +01:00
2022-09-29 11:36:37 +02:00
2021-02-09 10:24:38 +01:00
2022-09-27 11:37:35 +02:00
2022-09-14 09:50:14 +02:00
2022-04-01 13:25:29 +02:00
2021-01-13 14:12:03 +01:00
2022-08-27 12:56:35 +02:00
2022-10-03 14:36:01 +02:00
2022-06-07 10:40:01 +02:00
2022-08-27 12:56:35 +02:00
2021-01-13 14:12:03 +01:00
2021-01-13 14:12:03 +01:00
2022-08-17 13:57:10 +02:00
2022-01-28 21:05:58 +01:00
2022-10-06 16:41:41 +02:00
2022-07-20 17:51:28 +02:00
2021-03-15 10:26:35 +01:00
2022-07-29 10:24:34 +02:00
2022-08-03 11:10:34 +02:00
2021-11-03 14:13:07 +01:00
2021-12-29 13:09:49 +01:00
2022-06-23 11:36:12 +02:00
2021-08-20 10:15:56 +02:00
2021-01-13 14:12:03 +01:00
2022-06-23 11:36:12 +02:00
2022-10-03 11:43:26 +02:00
2022-04-04 14:03:14 +02:00
2022-04-01 13:25:29 +02:00
2022-08-22 18:46:20 +02:00
2022-09-29 11:36:37 +02:00
2021-10-07 07:24:26 +02:00
2022-10-05 10:40:43 +02:00
2022-08-31 11:10:49 +02:00
2021-06-25 10:49:51 +02:00
2022-01-06 11:36:46 +01:00
2022-02-16 17:41:57 +01:00
2021-09-13 10:58:32 +02:00
2021-01-13 14:12:03 +01:00
2022-06-12 12:07:57 +02:00
2021-01-13 14:12:03 +01:00
2022-08-22 18:46:20 +02:00
2022-08-09 08:59:54 +02:00
2022-08-29 18:38:02 +02:00
2022-07-29 16:27:47 +02:00
2021-10-26 15:57:27 +02:00
2022-01-13 14:40:33 +01:00
2022-08-18 12:55:46 +02:00
2022-04-01 13:25:29 +02:00
2022-09-26 12:43:37 +02:00
2021-05-03 11:17:55 +02:00
2021-01-13 14:12:03 +01:00
2022-08-27 12:56:35 +02:00
2022-10-11 12:26:33 +02:00
2022-02-28 18:43:51 +01:00
2022-03-14 11:37:58 +01:00
2022-10-14 09:48:13 +02:00
2022-07-05 09:24:56 +02:00
2022-10-10 12:53:23 +02:00
2022-10-13 16:22:32 +02:00
2022-06-07 10:38:00 +02:00
2022-04-22 16:36:29 +02:00
2022-07-18 13:19:58 +02:00
2022-08-18 11:05:51 +02:00
2022-06-07 10:58:05 +02:00
2022-08-09 09:01:20 +02:00
2022-08-09 09:06:56 +02:00
2022-10-11 12:29:33 +02:00
2021-01-13 14:12:03 +01:00
2021-12-14 21:16:32 +01:00
2022-08-27 12:56:35 +02:00
2022-08-27 12:56:35 +02:00
2022-08-09 09:06:03 +02:00
2022-07-20 14:26:13 +02:00
2022-08-27 12:56:35 +02:00
2021-09-27 22:11:58 +02:00
2022-07-22 18:43:36 +02:00
2022-01-12 15:57:28 +01:00
2022-02-01 12:06:59 +01:00
2021-01-13 14:12:03 +01:00
2022-08-29 12:25:53 +02:00
2021-02-24 15:39:01 +01:00
2022-08-29 18:21:04 +02:00