From 1fdb974a038b63aeb7d01e9e0402ac6e5e874bfe Mon Sep 17 00:00:00 2001
From: Alejandro R Mosteo <alejandro@mosteo.com>
Date: Sun, 10 Jun 2018 23:21:47 +0200
Subject: [PATCH] Deepend

---
 index/alire-index-deepend.ads | 23 +++++++++++++++++++++++
 1 file changed, 23 insertions(+)
 create mode 100644 index/alire-index-deepend.ads

diff --git a/index/alire-index-deepend.ads b/index/alire-index-deepend.ads
new file mode 100644
index 00000000..2e3e3cb5
--- /dev/null
+++ b/index/alire-index-deepend.ads
@@ -0,0 +1,23 @@
+package Alire.Index.Deepend is
+
+   function Project is new Catalogued_Project
+     ("A suite of dynamic storage pools with subpool capabilities");
+
+   Repo : constant URL := "https://github.com/alire-project/deepend.git";
+
+   Base : constant Release :=
+            Project.Unreleased
+              (Properties =>
+                 Author     ("Brad Moore") and
+                 Website    ("https://sourceforge.net/projects/deepend/") and
+                 License    (GPL_2_0));
+
+   package V_3_9 is new Project_Release
+     (Base
+      .Replacing
+        (Git (Repo, "4491dcf36a9264110f9cd3876cdcd476f1fbf09d"))
+      .Extending
+        (Properties =>
+             GPR_Scenario ("Ada_Mode", "95" or "2005" or "2012")));
+
+end Alire.Index.Deepend;