1 files changed, 0 insertions, 8 deletions
diff --git a/development/ahven/ahven.gpr b/development/ahven/ahven.gpr
deleted file mode 100644
index 37d10529d5..0000000000
--- a/development/ahven/ahven.gpr
+++ /dev/null
@@ -1,8 +0,0 @@
-library project Ahven is
-   for Library_Name     use "ahven";
-   for Library_Kind     use "dynamic";
-   for Source_Dirs      use ("@prefix@/include/ahven");
-   for Library_Dir      use "@libdir@";
-   for Library_ALI_Dir  use "@libdir@/ahven";
-   for Externally_Built use "true";
-end Ahven;