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