diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2024-05-24 00:07:11 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2024-05-24 00:07:11 +0100 |
| commit | aa4954f71a3ba2293395a8cce2321a70c39c7554 (patch) | |
| tree | 35665855d8a569dca2bdf52a7316e2503df68208 /dev-lang/dafny | |
| parent | b3b92de25c3fc5f6bddc5e513027140591a0b2a5 (diff) | |
gentoo auto-resync : 24:05:2024 - 00:07:11
Diffstat (limited to 'dev-lang/dafny')
| -rw-r--r-- | dev-lang/dafny/Manifest | 6 | ||||
| -rw-r--r-- | dev-lang/dafny/dafny-4.4.0-r1.ebuild | 2 | ||||
| -rw-r--r-- | dev-lang/dafny/dafny-4.5.0.ebuild | 2 | ||||
| -rw-r--r-- | dev-lang/dafny/dafny-4.6.0.ebuild | 2 |
4 files changed, 6 insertions, 6 deletions
diff --git a/dev-lang/dafny/Manifest b/dev-lang/dafny/Manifest index 5a42487b816d..bdef3d748e95 100644 --- a/dev-lang/dafny/Manifest +++ b/dev-lang/dafny/Manifest @@ -374,7 +374,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.4.0-r1.ebuild 18791 BLAKE2B 82082f5eeadc299a7854a17896199a6feb084b95ca383fa1cf55d402a3a2099e038cb48f8502a5abdbc1f8f31fa985f4c376dc88889c39e5c2743907f4d50d19 SHA512 f50a039842519acd5c93d5f29d563fdbfdf4615344b4b1cfb6493a1a3a54d7dd646c8db49ebaa2541f482156b6660ab72f9315a4d47107fd5bb650acd9ebc472 -EBUILD dafny-4.5.0.ebuild 19547 BLAKE2B ec7d8bc7fc9c9270f8a8bf497b4e2e7caf813b5edb75ae756174ba643e5d5eb0d468ddaac00b2523b4113fbe41fc1f4785209261681714bf7edafdac7851b5c4 SHA512 374ff6264d48ac542a1ca9b82566709878444821333ce6eb26468818744fc91c489ebcc92e6ec6bb4f7a2eec1fa089db5a33f1c4797b2daeb9a997e79b1df9ec -EBUILD dafny-4.6.0.ebuild 19635 BLAKE2B e8a55b535bb11df8b61c65ef81bf7522fd9269445e27049160b55889bfb09a17c4e50255d31e9eeb0140f0436f0ab3a6edb496c4e9b8be36ac80703a4c941c9f SHA512 e0e793f2c5b639a29499212b0e2ec920ef3cde88f2c06eb4e266e227c4c7db7cd23f541aabee7921d6531ea9f5d6e6a87fdd9d0ae75d578b66c34b704ca1725e +EBUILD dafny-4.4.0-r1.ebuild 18790 BLAKE2B 7e4eab480b86acb8816a48efe4432b94ef641bfb60e14e4abb0c5642f65dab008c01c2e92ba51cf3d88a9c09e358bf2e88b53bd5944d1ed74d6b5820884c1feb SHA512 eabb91eb1d35e8c3c5a0a3dac365bd162eb36c613bc87f94c487c9a2013f4feaecdae205c6a67779d1a56b0faea7d4bdabf479120811ccfd69994cade72c26d9 +EBUILD dafny-4.5.0.ebuild 19546 BLAKE2B c601993087774479cc430970462cf6c846f4a9b96912d911c548309cdea6d8fbb30820a15ca741c7f47ba9eb8c139723bc80126af3405df28fdaff5bf5b27297 SHA512 34d18f64b96d306cbea78708c701890c202cb6d7321bfde045a7c43990f184791ea14976661c1571764b4c678e96a70505e6d85595a253e67a255523eb6108ef +EBUILD dafny-4.6.0.ebuild 19634 BLAKE2B 9af894491d57dc523a72cfc0769aa2db689a73cb429b63671316b770ca412544ab36a800bc2b8d47091db61bd037fd226a250ff068d4d5f3e03a9334d7f66a7f SHA512 4e476a0bd05515f897d302ee773a4c0ffcb24427c09d80f4dc73fdbd2fb88860ac3f9820873c294ea04f66c0e3b534f71188b19c7448c0bb0fd8deda53d13660 MISC metadata.xml 1884 BLAKE2B e3a53cfd90a4edf1d9fd9f567ac3c23fd88cc46602cfe6aea31ddc40585ebc89ab82833dcd21c82083671a54454d62f162f45d56d6b0ec9c202148b3d5ea2c6d SHA512 4cffb9c237ed85097ce1496a72f5aa9c5a0f5758402fe66ff745a3b1dbc3f8d9a40fecc9140ee1b9418f09b62794f7e0a47f908e6ba01b370087d4df62bfa46e diff --git a/dev-lang/dafny/dafny-4.4.0-r1.ebuild b/dev-lang/dafny/dafny-4.4.0-r1.ebuild index 2fd7b19b0f00..4ec014fca8b0 100644 --- a/dev-lang/dafny/dafny-4.4.0-r1.ebuild +++ b/dev-lang/dafny/dafny-4.4.0-r1.ebuild @@ -567,7 +567,7 @@ src_test() { --verbose --workers="$(makeopts_jobs)" ) - edob lit "${lit_opts[@]}" "${TEST_S}" + edo lit "${lit_opts[@]}" "${TEST_S}" } src_install() { diff --git a/dev-lang/dafny/dafny-4.5.0.ebuild b/dev-lang/dafny/dafny-4.5.0.ebuild index 601423b0fbfa..ad97276a1553 100644 --- a/dev-lang/dafny/dafny-4.5.0.ebuild +++ b/dev-lang/dafny/dafny-4.5.0.ebuild @@ -594,7 +594,7 @@ src_test() { --verbose --workers="$(makeopts_jobs)" ) - edob lit "${lit_opts[@]}" "${TEST_S}" + edo lit "${lit_opts[@]}" "${TEST_S}" } src_install() { diff --git a/dev-lang/dafny/dafny-4.6.0.ebuild b/dev-lang/dafny/dafny-4.6.0.ebuild index ca5c0f6861e7..2ec7748b03e7 100644 --- a/dev-lang/dafny/dafny-4.6.0.ebuild +++ b/dev-lang/dafny/dafny-4.6.0.ebuild @@ -597,7 +597,7 @@ src_test() { --verbose --workers="$(makeopts_jobs)" ) - edob lit "${lit_opts[@]}" "${TEST_S}" + edo lit "${lit_opts[@]}" "${TEST_S}" } src_install() { |