diff options
Diffstat (limited to 'dev-lang/dafny')
| -rw-r--r-- | dev-lang/dafny/Manifest | 6 | ||||
| -rw-r--r-- | dev-lang/dafny/dafny-4.8.0.ebuild | 2 | ||||
| -rw-r--r-- | dev-lang/dafny/dafny-4.8.1.ebuild | 2 | ||||
| -rw-r--r-- | dev-lang/dafny/dafny-4.9.0.ebuild | 2 |
4 files changed, 6 insertions, 6 deletions
diff --git a/dev-lang/dafny/Manifest b/dev-lang/dafny/Manifest index 8229b8bc708f..ab0927459a56 100644 --- a/dev-lang/dafny/Manifest +++ b/dev-lang/dafny/Manifest @@ -383,7 +383,7 @@ DIST xunit.extensibility.execution.2.4.2.nupkg 353652 BLAKE2B f10e20d43b8030f51c DIST xunit.runner.visualstudio.2.4.3.nupkg 809588 BLAKE2B ce18ac895657d1efa9752e44148812a452401fa06eba913dad716cfd6743d85a09ffbc0be52276a4b90d039ab76077cca7ab5316b73009aeff2b2fe77dc465f1 SHA512 d8b0d124425db24f98335b332fe55e1a08b39af55d8834dd4a2717fd4be45f3a06ae6cb16427a17adfb31e215dab622856152bb2da715acb1946ec9e935299f4 DIST xunit.runner.visualstudio.2.5.1.nupkg 348549 BLAKE2B 530ffc6b699a1589ad6a7fb5aa826d7238b63ea8dcd13ce5705a3d29a0ba70edeac2d9950cd1a00a13a779add761e4e14335689051a43b4cd662a330734e4df7 SHA512 0cc7887e7c7c3315db31aab79df236db9b5542e0234c27543dd5b11cf917674a8fdebc384e7331663b08d586fcf20628479a20ad7edbed4e61667903e812c6f0 DIST xunit.skippablefact.1.4.8.nupkg 44542 BLAKE2B 3c9b09d5196e8901770099b2e5078d9373e8ebc2da058a9071707d6fee56eab7c876578734f3be5b088db6ae83c8ad81a3aadfcab38e1fd2b28bd25601fe5463 SHA512 a2c680223bda4f9bfdbd751c8d6a5319e0a4611533272860ca0a396b26c473a13065301a5d8973074ea2bb5119caaeec5a67d547a96ae5d762dc09f337f51ad1 -EBUILD dafny-4.8.0.ebuild 21093 BLAKE2B 7a0496a3822997a81d8b2fcb9bbb5dcf3429abc65edb21ed6d86c2ae376eb83bd86576c96eebb02f55ebf8c58254cfd095ba0bc7af241a47d96a377d0c42ba16 SHA512 9db507056717246a5443bfb548cc83d1d1243a323139288acc97d98c40c91d034768e4ff12ff9a11ef47bab1eaad6146f7d3bb07ee8ea7eee00626197d5a61f7 -EBUILD dafny-4.8.1.ebuild 21158 BLAKE2B d116ee0a687db1bd28e6d107150cb4ba14d99d982e48f5ae866441f8137ca4147d0604a36393487bde38b5a96bd0eff9457671e6435b74a747f71a03ac6e6d19 SHA512 373213c820aa663143977e0498156f6ba030f0a5023e2fd39dbb97035465d1d8408ad62e0f34d830b9f342c32bb63eb6244e8f2e88711b7df7b24d2f6738dc52 -EBUILD dafny-4.9.0.ebuild 20390 BLAKE2B c0bb40c5384cb8ac0e160f2428c3d4c6e338780c672c00666632c91544a733eca9d5697301ec1d7cdb59825d54325ec7f2f866cdbc7e610ff3bbe427f3b26396 SHA512 d86f24ebcf8d0630a12f38a043c46d2240ed6c58ed050637d77235063208f699d9a0d3376aa3d42fb35ca943832be2029644c9a6a0c39f22e4a59fb458d46542 +EBUILD dafny-4.8.0.ebuild 21093 BLAKE2B f3bc2e1080b1a4f47d6dfcfb8ff4284f1c78b165995933058b2ab4898f414de563ffb4daf057a2abdd757f9c12cc9abb3151872c68e073f08f38d6aa73cb8bcd SHA512 0163a7991f085cae600e9c85b5b9dd2a5e48cf8f6618a334e165c4b81469f8fc747172d9b8af829b43b202f7ccdf796eb340e111f203f32d76f68a58aa45bdd9 +EBUILD dafny-4.8.1.ebuild 21158 BLAKE2B 6dca483a23d848a297a17157f8c475d9903cfaee1b3509324bdff1c65a2513b849edeeb67856fbedb7b4545541828168a49760c275672ef33cfd5b11019de56c SHA512 994ffdccde2dadd0c02d5e60c73f58e32cb5d57c547b34ee8aa1566187b914e7514b383f2997d1171a2bc672892d26c2ab5b047444ac3ea1963429ce622651d3 +EBUILD dafny-4.9.0.ebuild 20390 BLAKE2B e7d426bf27fa8cd4747c6c8e838a79942b24d4ff04f5e0d8c3f64e3ea07551756f18ec465fd83da6fad8d98a47c2a2f8551557e9dbfc819b176fbb843cb889e5 SHA512 6f559f88ff05e9b09c19dd400fd9e7ed9fe675269380b5389f0414d3efd523b34fb7ec53ad597e97bf5fc54bbfc0233784326bb4613e4fd2bff5c27b41104480 MISC metadata.xml 1884 BLAKE2B e3a53cfd90a4edf1d9fd9f567ac3c23fd88cc46602cfe6aea31ddc40585ebc89ab82833dcd21c82083671a54454d62f162f45d56d6b0ec9c202148b3d5ea2c6d SHA512 4cffb9c237ed85097ce1496a72f5aa9c5a0f5758402fe66ff745a3b1dbc3f8d9a40fecc9140ee1b9418f09b62794f7e0a47f908e6ba01b370087d4df62bfa46e diff --git a/dev-lang/dafny/dafny-4.8.0.ebuild b/dev-lang/dafny/dafny-4.8.0.ebuild index d759dd478757..ec48d26cac70 100644 --- a/dev-lang/dafny/dafny-4.8.0.ebuild +++ b/dev-lang/dafny/dafny-4.8.0.ebuild @@ -404,7 +404,7 @@ BDEPEND=" >=dev-lang/boogie-3.1.6 dev-go/go-tools dev-lang/go - dev-python/OutputCheck + dev-python/outputcheck dev-python/lit dev-python/psutil net-libs/nodejs[npm] diff --git a/dev-lang/dafny/dafny-4.8.1.ebuild b/dev-lang/dafny/dafny-4.8.1.ebuild index 0bf40a85c501..6026ea288584 100644 --- a/dev-lang/dafny/dafny-4.8.1.ebuild +++ b/dev-lang/dafny/dafny-4.8.1.ebuild @@ -404,7 +404,7 @@ BDEPEND=" >=dev-lang/boogie-3.1.6 dev-go/go-tools dev-lang/go - dev-python/OutputCheck + dev-python/outputcheck dev-python/lit dev-python/psutil net-libs/nodejs[npm] diff --git a/dev-lang/dafny/dafny-4.9.0.ebuild b/dev-lang/dafny/dafny-4.9.0.ebuild index dd8da1ebd4cd..2d6bfc6a965e 100644 --- a/dev-lang/dafny/dafny-4.9.0.ebuild +++ b/dev-lang/dafny/dafny-4.9.0.ebuild @@ -406,7 +406,7 @@ BDEPEND=" >=dev-lang/boogie-3.3.3 dev-go/go-tools dev-lang/go - dev-python/OutputCheck + dev-python/outputcheck dev-python/lit dev-python/psutil net-libs/nodejs[npm] |