diff options
| author |   Tupone Alfredo <tupone@gentoo.org> | 2019-03-15 08:24:05 +0100 |
|---|---|---|
| committer | Tupone Alfredo <tupone@gentoo.org> | 2019-03-15 08:24:59 +0100 |
| commit | f0437170eb42e30839073788456e18d5e695665b (patch) | |
| tree | 3e8bc38f1023651f9002ab6117912f78c9bcc400 /sci-mathematics/why3-for-spark/Manifest | |
| parent | app-admin/pwgen: stable 2.08 for sparc, bug #674636 (diff) | |
| download | gentoo-f0437170eb42e30839073788456e18d5e695665b.tar.gz gentoo-f0437170eb42e30839073788456e18d5e695665b.tar.bz2 gentoo-f0437170eb42e30839073788456e18d5e695665b.zip | |
sci-mathematics/why3-for-spark: use virtual/emacs on dependency
Closes: https://bugs.gentoo.org/680312
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Package-Manager: Portage-2.3.51, Repoman-2.3.11
Diffstat (limited to 'sci-mathematics/why3-for-spark/Manifest')
| -rw-r--r-- | sci-mathematics/why3-for-spark/Manifest | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/sci-mathematics/why3-for-spark/Manifest b/sci-mathematics/why3-for-spark/Manifest index e6505ed60c75..8f9c5c3c62dc 100644 --- a/sci-mathematics/why3-for-spark/Manifest +++ b/sci-mathematics/why3-for-spark/Manifest @@ -1,2 +1 @@ -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 |