diff options
| author |   Tupone Alfredo <tupone@gentoo.org> | 2018-07-13 08:49:22 +0200 |
|---|---|---|
| committer | Tupone Alfredo <tupone@gentoo.org> | 2018-07-13 08:49:22 +0200 |
| commit | a30437c0c5fb08780562baccb5ff3eeb511bb6ad (patch) | |
| tree | 6052a84a1558472a486e144484ee1afc116244c0 /sci-mathematics/why3-for-spark/Manifest | |
| parent | dev-ruby/parser: remove broken version (diff) | |
| download | gentoo-a30437c0c5fb08780562baccb5ff3eeb511bb6ad.tar.gz gentoo-a30437c0c5fb08780562baccb5ff3eeb511bb6ad.tar.bz2 gentoo-a30437c0c5fb08780562baccb5ff3eeb511bb6ad.zip | |
sci-mathematics/why3-for-spark: Version bump to 2018
Package-Manager: Portage-2.3.40, Repoman-2.3.9
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 index dfdecc5d6241..e6505ed60c75 100644 --- a/sci-mathematics/why3-for-spark/Manifest +++ b/sci-mathematics/why3-for-spark/Manifest @@ -1 +1,2 @@ DIST why3-for-spark-gpl-2017-src.tar.gz 9248235 BLAKE2B d9eb7201dfd5962c88ac8995e3cd800bf318f575a5e6ff7d0219941c0f0c9052e6b2c95c7c16fcd81b90cac647d503041bf16560bd44b58e7e0ced1ef2314bd2 SHA512 8f444402f6c1744cd7c565117732935791b1ae7996a94314c40a66d125eae8a81f2257314246c94fd29d3cd16abcff6a50a152a1191a4aae39a2c8a8d7c3b9e1 +DIST why3-for-spark-gpl-2018-src.tar.gz 7682767 BLAKE2B 0b0272ca4d5519ca402990b234d0847378bcd2a0949fea78ea10e355233a16aebe79b938cdf8e4daadabb909171cab83b9d6ccacf9f2dc1c0b57bb6da6fd1fe0 SHA512 fc798acf343484fd8e70f470a318753c9a0e9967ff579f20ec185bf3c2a75e7a4a556388fc86a378610ce4a467f3e722c6f610da34d4c33bc3d6b10551731f07 |