diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2023-02-01 14:31:25 +0100 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2023-02-01 15:09:57 +0100 |
| commit | a08c191b0d3b46b2f2fd9f106e5731d97fd7d029 (patch) | |
| tree | c3c2e3afb3f6e9b085c3bc6e4dc87502fed50355 /dev-lang/dafny-bin/Manifest | |
| parent | dev-lang/dafny-bin: drop old 3.9.0-r1 (diff) | |
| download | gentoo-a08c191b0d3b46b2f2fd9f106e5731d97fd7d029.tar.gz gentoo-a08c191b0d3b46b2f2fd9f106e5731d97fd7d029.tar.bz2 gentoo-a08c191b0d3b46b2f2fd9f106e5731d97fd7d029.zip | |
dev-lang/dafny-bin: drop old 3.9.1-r1
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-lang/dafny-bin/Manifest')
| -rw-r--r-- | dev-lang/dafny-bin/Manifest | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/dev-lang/dafny-bin/Manifest b/dev-lang/dafny-bin/Manifest index 4dcad02d5600..71aec7bef6e6 100644 --- a/dev-lang/dafny-bin/Manifest +++ b/dev-lang/dafny-bin/Manifest @@ -1,3 +1,2 @@ DIST dafny-3.10.0-x64-ubuntu-16.04.zip 76468200 BLAKE2B d3b35260fca709f1808ec47874f5566dd2fc42af9a43354a97b86b8962b1b15c95df10f25fa8f0d6a12c83f5c12569aa981d56b796aeb1fd7563fc59c62d4259 SHA512 3f8e669025fd655a7709334876652176b3dce1eb980f1f797cf829fa53b125129a66a175d3a4fcc56aa276e28661c6d795ccc01901d0e457bdac754b29382ca3 DIST dafny-3.11.0-x64-ubuntu-16.04.zip 76510888 BLAKE2B 03591064f7af8971c5e175b4538c1344d6fd09c4ca2f3c52fef65af424d5fe462112f3853a59a0d3e84bf5945290b3b088472378577cb0881cf8129401606148 SHA512 0535151b0622f70b49457f1eaaa15c031b5ade5e44e64e79a6c6d1c46b9c2fed155f8da72274f8b8dd7815130ce80bd2b7af8a28d9423ebefde80d8cda1d12bb -DIST dafny-3.9.1-x64-ubuntu-16.04.zip 76356092 BLAKE2B 7337cbc5b698cec24ffcc3d05cc00403e37a865e422bab36860ca4a1136c3bf4d8dc70647640d0e3f1dc6846a0b72a3edc6a09cef51d7d56ab455dabd006236a SHA512 dbacd0dbeb4e97497faf7f6b6bfedac1ccc9f0e1da129ac1e3b124a0920ac659b6c78237102c5e087d350017c3bb3fd93ac8ca353b1b0e2d13073f35bfc9df7d |