diff options
| author |   Michał Górny <mgorny@gentoo.org> | 2019-04-10 19:44:38 +0200 |
|---|---|---|
| committer | Michał Górny <mgorny@gentoo.org> | 2019-04-10 19:45:17 +0200 |
| commit | 0e7a59ce50c3202ff2c3a4bff22be3a9fe69f581 (patch) | |
| tree | f6b6fc722ef7fd4f19363b22600796874082b8a2 /sci-mathematics/z3/Manifest | |
| parent | www-client/firefox: Fix keypress event bug in IBM/MS cloud (diff) | |
| download | gentoo-0e7a59ce50c3202ff2c3a4bff22be3a9fe69f581.tar.gz gentoo-0e7a59ce50c3202ff2c3a4bff22be3a9fe69f581.tar.bz2 gentoo-0e7a59ce50c3202ff2c3a4bff22be3a9fe69f581.zip | |
sci-mathematics/z3: Revert "Drop old"
This broke sci-mathematics/isabelle.
Reverts: 6785f3b5e8a6e7969ed07ed59c5b2e7a82aea188.
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Diffstat (limited to 'sci-mathematics/z3/Manifest')
| -rw-r--r-- | sci-mathematics/z3/Manifest | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/sci-mathematics/z3/Manifest b/sci-mathematics/z3/Manifest index 6ef6cbd0cc1e..8fa3186e1cc2 100644 --- a/sci-mathematics/z3/Manifest +++ b/sci-mathematics/z3/Manifest @@ -1,2 +1,3 @@ +DIST z3-4.4.1.tar.gz 3347371 BLAKE2B 57f090b891618613c4647a89620d12f2ac05ea110268e63b343594f53fa2cc7aa347781001e2778ea7dc1ce475c964ddeced7a82c304b4be706ad164fd17a285 SHA512 76991a24f47f2b53ceb8d7a9a6be19913c57994ffb6cf6acfe30f61b2e73959cf02a99f656053594fccb5aaf4d1f44b3ae7e51f1c8953b213d738ceeeaea74f8 DIST z3-4.5.0.tar.gz 3573695 BLAKE2B 285cc4d1f998d61ddb0b854044b7c79c1bb4cccf51bbdcba7c4a45698d74d9591f84d0aa74c5ef7c8aea2c6539ac987f29e326b44037e954108df67644dff594 SHA512 1ebc2c908d90b6b879f1e819c864ff894613276af47a440f27cf94968c195656952434754c3eb20f4bdbdd8497d227d22e1b4821c0d320b11052b5648d9e2dc7 DIST z3-4.8.4.tar.gz 4117081 BLAKE2B 6912defbae0e5444c451c4d7c6fb5d51167a1ae166257c7bfc53044ce7e9b9c4bd9824986c2ae1e6abfd6fef495234c9bea60078f8db2c1faaae11f34d666831 SHA512 4660ba6ab33a6345b2e8396c332d4afcfc73eda66ceb2595a39f152df4d62a9ea0f349b0f9212389ba84ecba6bdae6ad9b62b376ba44dc4d9c74f80d7a818bf4 |