diff options
Diffstat (limited to 'libraries/gnatcoll-db/gnatcoll-db.info')
| -rw-r--r-- | libraries/gnatcoll-db/gnatcoll-db.info | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/libraries/gnatcoll-db/gnatcoll-db.info b/libraries/gnatcoll-db/gnatcoll-db.info new file mode 100644 index 0000000000..3170d59c90 --- /dev/null +++ b/libraries/gnatcoll-db/gnatcoll-db.info @@ -0,0 +1,10 @@ +PRGNAM="gnatcoll-db" +VERSION="25.0.0" +HOMEPAGE="https://github.com/AdaCore/gnatcoll-db" +DOWNLOAD="https://github.com/AdaCore/gnatcoll-db/archive/v25.0.0/gnatcoll-db-25.0.0.tar.gz" +MD5SUM="8683247ab388f32508b65bc28cdc932f" +DOWNLOAD_x86_64="" +MD5SUM_x86_64="" +REQUIRES="gprbuild gnatcoll-core gnatcoll-bindings" +MAINTAINER="Zhu Qun-Ying" +EMAIL="zhu.qunying@gmail.com" |