diff options
Diffstat (limited to 'dev-lang/dafny-bin/Manifest')
| -rw-r--r-- | dev-lang/dafny-bin/Manifest | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/dev-lang/dafny-bin/Manifest b/dev-lang/dafny-bin/Manifest index 79ed2907a229..356662dbbebf 100644 --- a/dev-lang/dafny-bin/Manifest +++ b/dev-lang/dafny-bin/Manifest @@ -1,5 +1,7 @@ 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.12.0-x64-ubuntu-16.04.zip 76588835 BLAKE2B 144928b5e9a32c770d4552be31373defd1153a7ce481aa3948c5fe6c30ff2ce5f20b3d057a587c7762f3c37d63f683275fcf60bbd4ca3754f8713132b3bdfdc9 SHA512 2ea5f97b4fe0f8aaeefd16f739306482824f76ae6c5a37038fedda60bacb2496abc02715c0973a05f845972fd81aeb06e62c3c41d6908c2cf7416006ce8519d4 EBUILD dafny-bin-3.10.0.ebuild 1193 BLAKE2B c17cc73039e3cec436a191c7e6f3be7e55c25176899866c1b702a4b4d092ada411f97d8a81acc03d6d255d251499b219cc5fa3e48f13cf527533928ad44cfd49 SHA512 03c99063f86d1f8eeeb015053f47e825593461ea5f0fd32a114f35fef31d5f6905d22ed7691e176d700a2015bb53efd1d28bdf8e21fd628869ec31d541cad0c1 EBUILD dafny-bin-3.11.0.ebuild 1194 BLAKE2B fa138121b0ca34ad53b4d7cd6c95d4a34920732f76cb4a1ffc68aff63668a04b7391e1f62745e6dcba50d7d22a903d7bae4fb88ce16565fa2da2aeb9ad30dca5 SHA512 a89f95ac5d102b6f91574ababfa3642d4a220116193ec8496362d045d9b5833eec575866f0b616b5e31909103dc28db3076ca9788e94d3861c0b8d303a6a2b86 +EBUILD dafny-bin-3.12.0.ebuild 1194 BLAKE2B fa138121b0ca34ad53b4d7cd6c95d4a34920732f76cb4a1ffc68aff63668a04b7391e1f62745e6dcba50d7d22a903d7bae4fb88ce16565fa2da2aeb9ad30dca5 SHA512 a89f95ac5d102b6f91574ababfa3642d4a220116193ec8496362d045d9b5833eec575866f0b616b5e31909103dc28db3076ca9788e94d3861c0b8d303a6a2b86 MISC metadata.xml 1814 BLAKE2B cf1e080cccf3392a44bbf4b94350cf2d83b4704120c193421e5b0952e36bd07d5d2079968c8fc39b4cfc78daf2fb6aa8e58e71b92d4cf1abe3a7cf4297edb750 SHA512 dfd3eb544a7e76ae7d40a993559291348c3ecb58d433f90b44cb67743879e2ca1f7bb249135e39a98b6c41dd32f439c165a4ad0e6a3bd7572f5786b346df70bb |