From 96c5d1df40d5c838f9f779a388fd7c4173d78b66 Mon Sep 17 00:00:00 2001 From: Alejandro R Mosteo Date: Tue, 12 Jun 2018 19:40:34 +0200 Subject: [PATCH] v0.6 post --- index/alire-index-alr.ads | 17 ++++++++++------- 1 file changed, 10 insertions(+), 7 deletions(-) diff --git a/index/alire-index-alr.ads b/index/alire-index-alr.ads index adfbbd92..962db137 100644 --- a/index/alire-index-alr.ads +++ b/index/alire-index-alr.ads @@ -22,6 +22,16 @@ package Alire.Index.Alr is Author ("Alejandro R. Mosteo") and License (GPL_3_0)); + package V_0_6 is new Project_Release + (Base + .Replacing + (Origin => Git (Repo, "700a50debe9cd5c41779d62c2fcf11d103e67358")) + .Extending + (Dependencies => + AAA .V_1_0_0 .Within_Major and + Alire .V_0_6 .Within_Minor and + AJUnitGen .V_1_0_0 .Within_Major)); + package V_0_5 is new Project_Release (Base .Replacing @@ -32,13 +42,6 @@ package Alire.Index.Alr is AJUnitGen.V_1_0_0.Within_Major )); - package V_0_6 is new Project_Release - (V_0_5 - .Replacing - (Origin => Git (Repo, "d26955fbfd8ef8b301791ab554113af1c6d46365")) - .Extending - (Dependencies => - package V_0_4 is new Project_Release (Base .Replacing (Git (Repo, "721d111225cf30b9c298ff23587664510f4c4ea1"))