diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2024-03-19 00:49:58 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2024-03-19 00:49:58 +0000 |
| commit | 2c18b7f7fb2885d27960657c60906ef0bac0681e (patch) | |
| tree | 91c24c33362baf968c4c08f3a7220157b57a374f /dev-lang/dafny | |
| parent | bc7e0dbdbd194a8c2e09f82e1a5a4ea5e1b556f4 (diff) | |
gentoo auto-resync : 19:03:2024 - 00:49:58
Diffstat (limited to 'dev-lang/dafny')
| -rw-r--r-- | dev-lang/dafny/Manifest | 2 | ||||
| -rw-r--r-- | dev-lang/dafny/dafny-4.5.0.ebuild | 3 |
2 files changed, 4 insertions, 1 deletions
diff --git a/dev-lang/dafny/Manifest b/dev-lang/dafny/Manifest index a0a3d990bb69..fa26690f9fa9 100644 --- a/dev-lang/dafny/Manifest +++ b/dev-lang/dafny/Manifest @@ -374,5 +374,5 @@ DIST xunit.runner.visualstudio.2.4.3.nupkg 809588 BLAKE2B ce18ac895657d1efa9752e 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 19421 BLAKE2B 69da91700d20e89689ffc91d1552abefc388289d2e2c1e4a99b2b261e6d621742479275d3f6544d93966511211338869e2c55064798e2b7c6a86013eac3586cb SHA512 73055410ee68a2ad7ff4a39bb1e16ec44791f7e6ec57bbe9818097cecd50379c7929b373690e71a4531c4725e8686f821f722994a73a993b866e2def700c967d +EBUILD dafny-4.5.0.ebuild 19547 BLAKE2B ec7d8bc7fc9c9270f8a8bf497b4e2e7caf813b5edb75ae756174ba643e5d5eb0d468ddaac00b2523b4113fbe41fc1f4785209261681714bf7edafdac7851b5c4 SHA512 374ff6264d48ac542a1ca9b82566709878444821333ce6eb26468818744fc91c489ebcc92e6ec6bb4f7a2eec1fa089db5a33f1c4797b2daeb9a997e79b1df9ec MISC metadata.xml 1884 BLAKE2B e3a53cfd90a4edf1d9fd9f567ac3c23fd88cc46602cfe6aea31ddc40585ebc89ab82833dcd21c82083671a54454d62f162f45d56d6b0ec9c202148b3d5ea2c6d SHA512 4cffb9c237ed85097ce1496a72f5aa9c5a0f5758402fe66ff745a3b1dbc3f8d9a40fecc9140ee1b9418f09b62794f7e0a47f908e6ba01b370087d4df62bfa46e diff --git a/dev-lang/dafny/dafny-4.5.0.ebuild b/dev-lang/dafny/dafny-4.5.0.ebuild index 1f25339c17f6..601423b0fbfa 100644 --- a/dev-lang/dafny/dafny-4.5.0.ebuild +++ b/dev-lang/dafny/dafny-4.5.0.ebuild @@ -485,7 +485,10 @@ src_prepare() { git-issues/git-issue-2299.dfy git-issues/git-issue-2301.dfy git-issues/git-issue-505.dfy + metatests/InconsistentCompilerBehavior.dfy + metatests/TestBeyondVerifierExpect.dfy separate-verification/assumptions.dfy + server/counterexample_none.transcript triggers/emptyTrigger.dfy unicodechars/DafnyTests/RunAllTestsOption.dfy vstte2012/Combinators.dfy |