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 b7a60baf74ba..8229b8bc708f 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 21074 BLAKE2B ae75f8deabcaed465b401bbe50c014c00e9ce52ed64d129a84535e55042edae0a544df365824b2c441287577a6217cf7aac4fe4c1e1220add3a316b91bd4e890 SHA512 48dab85d2abf5f502cdaa139045eb75aa40c51f3a211b2a28523c08729c55d0cb99502bc2f16ce8b8370085f228accd2464e84389dcdcba7bf09d419888b1c4e -EBUILD dafny-4.8.1.ebuild 21139 BLAKE2B 3f3638a3c33ae3aa115ffb38aad8f3ee8a23a17d0c82a9a23dbb71e089577645bb4a9d06cd42c43aa708276395cea3992b0d2ef2de2d39e950e93faa4f21749c SHA512 2fb1c49147e23acb8bf396ce675361a888d2313772c925cec2d94849ce1bf71e3148589ae45adfdd6cdb7bc009c393300c89a4a3269bc38e590d7b92db519f0a -EBUILD dafny-4.9.0.ebuild 20371 BLAKE2B 16c0d2a89c677917d9bbff480d170b043cdbec71100194fbaca8bc2d4d5676ddbf3b221a545eece5dbae6a945e5eed6a9d9071656021a02fc89d8842e0d95299 SHA512 303963d54f5907b3b7f6bee2dff23cd48a5c5d7ecc211ae51684b850292ec58812d2e1883df48cc9de98d4ee2bc8e8e957989dd44b56561cb7a1fb6f7dee9267 +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 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 fc41fee57b24..d759dd478757 100644 --- a/dev-lang/dafny/dafny-4.8.0.ebuild +++ b/dev-lang/dafny/dafny-4.8.0.ebuild @@ -667,5 +667,5 @@ src_install() { pkg_postinst() { optfeature "Dafny GO language backend" dev-go/go-tools - optfeature "Dafny Rust language backend" virtual/rust + optfeature "Dafny Rust language backend" dev-lang/rust dev-lang/rust-bin } diff --git a/dev-lang/dafny/dafny-4.8.1.ebuild b/dev-lang/dafny/dafny-4.8.1.ebuild index f1cba38874f6..0bf40a85c501 100644 --- a/dev-lang/dafny/dafny-4.8.1.ebuild +++ b/dev-lang/dafny/dafny-4.8.1.ebuild @@ -668,5 +668,5 @@ src_install() { pkg_postinst() { optfeature "Dafny GO language backend" dev-go/go-tools - optfeature "Dafny Rust language backend" virtual/rust + optfeature "Dafny Rust language backend" dev-lang/rust dev-lang/rust-bin } diff --git a/dev-lang/dafny/dafny-4.9.0.ebuild b/dev-lang/dafny/dafny-4.9.0.ebuild index aad9495c760b..dd8da1ebd4cd 100644 --- a/dev-lang/dafny/dafny-4.9.0.ebuild +++ b/dev-lang/dafny/dafny-4.9.0.ebuild @@ -643,5 +643,5 @@ src_install() { pkg_postinst() { optfeature "Dafny GO language backend" dev-go/go-tools - optfeature "Dafny Rust language backend" virtual/rust + optfeature "Dafny Rust language backend" dev-lang/rust dev-lang/rust-bin } |