diff options
| author |   Tupone Alfredo <tupone@gentoo.org> | 2017-10-19 21:43:39 +0200 |
|---|---|---|
| committer | Tupone Alfredo <tupone@gentoo.org> | 2017-10-19 21:43:39 +0200 |
| commit | eb5feee2d87d486910df3c8b3cb505f1eb0e47c3 (patch) | |
| tree | bb8da3e495b6ba2aed64ab1739b6cadb83379162 /sci-mathematics/why3-for-spark/Manifest | |
| parent | dev-php/libvirt-php: Drop old (diff) | |
| download | gentoo-eb5feee2d87d486910df3c8b3cb505f1eb0e47c3.tar.gz gentoo-eb5feee2d87d486910df3c8b3cb505f1eb0e47c3.tar.bz2 gentoo-eb5feee2d87d486910df3c8b3cb505f1eb0e47c3.zip | |
sci-mathematics/why3-for-spark: Adding why3 for spark
Package-Manager: Portage-2.3.8, Repoman-2.3.3
Diffstat (limited to 'sci-mathematics/why3-for-spark/Manifest')
| -rw-r--r-- | sci-mathematics/why3-for-spark/Manifest | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/sci-mathematics/why3-for-spark/Manifest b/sci-mathematics/why3-for-spark/Manifest new file mode 100644 index 000000000000..4aba92a50d60 --- /dev/null +++ b/sci-mathematics/why3-for-spark/Manifest @@ -0,0 +1 @@ +DIST why3-for-spark-gpl-2017-src.tar.gz 9248235 SHA256 7e7aee3912421847c416bc1f066ac342e811601c29d7b69e98e789a59a724d8e SHA512 8f444402f6c1744cd7c565117732935791b1ae7996a94314c40a66d125eae8a81f2257314246c94fd29d3cd16abcff6a50a152a1191a4aae39a2c8a8d7c3b9e1 WHIRLPOOL 256648567b3a220f762c7e30d0f90265fd10af21b66c3607b9072e81444b0a33dc971126232e11f3edc64eac2598fbd3ad428d063f2c9db8d247be2abe5be904 |