alire/alire-index-community
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
0af8323d1e9915e28feb5348b6bdbafe2096067a
alire-index-community/src
T
History
alex@thor 0af8323d1e Fixed issues related to typed names
2018-03-10 20:43:12 +01:00
..
alire_early_elaboration.adb
Descriptions and assorted fixes
2018-02-14 21:37:24 +01:00
alire_early_elaboration.ads
Preparation for availability checks
2018-02-28 19:56:05 +01:00
alire-boolean_trees.adb
Check of platform dependencies
2018-02-28 21:48:15 +01:00
alire-boolean_trees.ads
Check of platform dependencies
2018-02-28 21:48:15 +01:00
alire-conditional_values.adb
Recovered search by property
2018-03-03 01:08:27 +01:00
alire-conditional_values.ads
Chained preferred dependencies
2018-03-05 18:19:15 +01:00
alire-conditional.ads
Chained preferred dependencies
2018-03-05 18:19:15 +01:00
alire-containers.adb
Half-way through typed names
2018-03-09 18:33:41 +01:00
alire-containers.ads
Half-way through typed names
2018-03-09 18:33:41 +01:00
alire-dependencies-vectors.ads
Half-way through typed names
2018-03-09 18:33:41 +01:00
alire-dependencies.ads
Half-way through typed names
2018-03-09 18:33:41 +01:00
alire-gpr.adb
Better expression requisites
2018-03-09 10:32:30 +01:00
alire-gpr.ads
GPR_External vs GPR_Scenario
2018-03-07 00:40:33 +01:00
alire-index.adb
Half-way through typed names
2018-03-09 18:33:41 +01:00
alire-index.ads
Some additions to Root type
2018-03-09 20:18:55 +01:00
alire-licensing.ads
Indexed PragmARC
2018-02-26 00:33:52 +01:00
alire-milestones.ads
Half-way through typed names
2018-03-09 18:33:41 +01:00
alire-origins.ads
Better native origins
2018-03-03 18:27:10 +01:00
alire-os_lib.adb
Support for platform extensions
2018-02-25 19:43:51 +01:00
alire-os_lib.ads
Support for platform extensions
2018-02-25 19:43:51 +01:00
alire-platforms.ads
Version + Arch properties
2018-03-03 02:35:05 +01:00
alire-properties-dependencies.ads
Chained preferred dependencies
2018-03-05 18:19:15 +01:00
alire-properties-labeled.ads
GPR_External vs GPR_Scenario
2018-03-07 00:40:33 +01:00
alire-properties-licenses.ads
License names from choosealicense project
2018-02-25 21:58:55 +01:00
alire-properties-platform.ads
Version + Arch properties
2018-03-03 02:35:05 +01:00
alire-properties-scenarios.ads
GPR_External vs GPR_Scenario
2018-03-07 00:40:33 +01:00
alire-properties.adb
Conditional properties working
2018-03-01 19:27:58 +01:00
alire-properties.ads
Better Comparable requisites
2018-03-08 18:22:55 +01:00
alire-releases.adb
Half-way through typed names
2018-03-09 18:33:41 +01:00
alire-releases.ads
Proper Root type
2018-03-09 19:21:19 +01:00
alire-requisites-booleans.ads
Experiments on conditional availability
2018-03-08 15:22:53 +01:00
alire-requisites-comparables.ads
Better expression requisites
2018-03-09 10:32:30 +01:00
alire-requisites-dependencies.ads
Refactoring for clearer names
2018-03-06 12:40:09 +01:00
alire-requisites-platform.ads
Better expression requisites
2018-03-09 10:32:30 +01:00
alire-requisites.adb
Platform filters on
2018-02-13 00:29:08 +01:00
alire-requisites.ads
Better expression requisites
2018-03-09 10:32:30 +01:00
alire-root.adb
Fixed issues related to typed names
2018-03-10 20:43:12 +01:00
alire-root.ads
Proper Root type
2018-03-09 19:21:19 +01:00
alire-roots.ads
Some additions to Root type
2018-03-09 20:18:55 +01:00
alire-types.ads
Chained preferred dependencies
2018-03-05 18:19:15 +01:00
alire-utils.adb
Chained preferred dependencies
2018-03-05 18:19:15 +01:00
alire-utils.ads
GPR Paths + bunch'o libs
2018-03-06 20:24:00 +01:00
alire.ads
Half-way through typed names
2018-03-09 18:33:41 +01:00
table_io.adb
Better native origins
2018-03-03 18:27:10 +01:00
table_io.ads
Better native origins
2018-03-03 18:27:10 +01:00