diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2024-09-30 19:51:50 +0200 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2024-09-30 20:22:54 +0200 |
| commit | 7a0fddf2cf98ea53117f839682f8d986e2568280 (patch) | |
| tree | a0c8acd5ecf003cee350a786750e71356602bacc /sci-mathematics/boolector/Manifest | |
| parent | sci-mathematics/vampire: bump to 4.9 (diff) | |
| download | gentoo-7a0fddf2cf98ea53117f839682f8d986e2568280.tar.gz gentoo-7a0fddf2cf98ea53117f839682f8d986e2568280.tar.bz2 gentoo-7a0fddf2cf98ea53117f839682f8d986e2568280.zip | |
sci-mathematics/boolector: bump to 3.2.4
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'sci-mathematics/boolector/Manifest')
| -rw-r--r-- | sci-mathematics/boolector/Manifest | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/sci-mathematics/boolector/Manifest b/sci-mathematics/boolector/Manifest index d16abf470fde..0d1d99691dc4 100644 --- a/sci-mathematics/boolector/Manifest +++ b/sci-mathematics/boolector/Manifest @@ -1 +1,2 @@ DIST boolector-3.2.3.tar.gz 1566566 BLAKE2B 1c9adb1272c2289af6afce0149b11ce36a42aef47f1b3353f5f9dbaf12287718f29e45415b82b723bd37fb0438517c48d64a12f0c038105edeb6036f49189ac7 SHA512 a85c10edf05455e2911614f9d8f2b214a136470852b31a631c96247416dab822efcc6d9047f3a85c85aff499e8eb62fb36e52f2633511c5b42d287c4962c4239 +DIST boolector-3.2.4.tar.gz 1567983 BLAKE2B c74e6b7be2931ae164b3cde5ff3c9b60b12ad49b4be23ddb2931f5a71ffbfb5bb98a29ea46780275414bbe2e3e65b6108e489254251f8fd820a89162dc6eaae5 SHA512 57ba34264abd1d4350403b45995b040bd792dbea7d07a1c64d067ddbddeb3944d8515ce667ae4ffef70d35b5be68cfc5938acd6a8a7b242a09f218474024b821 |