diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2024-03-18 12:50:07 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2024-03-18 12:50:07 +0000 |
| commit | ebb07c94f800907e02d2a6b92c1bc757b2f86f49 (patch) | |
| tree | 9b5feb42804ee57e6fe960470f5b0c98c1aa4970 /dev-lang/dafny | |
| parent | 529bbf6d047ac6b80c0d9310ec0f666c145ec5fe (diff) | |
gentoo auto-resync : 18:03:2024 - 12:50:07
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 | 1 |
2 files changed, 2 insertions, 1 deletions
diff --git a/dev-lang/dafny/Manifest b/dev-lang/dafny/Manifest index 7bbd5a01075b..a0a3d990bb69 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 19401 BLAKE2B bdcc557421117ac5e7fc5869b5544e987915ff833df3edb810b829d6d44b56f542b557e48e09e41940a53ba5d7e437fecad44f0e6728330d8513c874396829e2 SHA512 c6fcf59ebad31e38979638396d95f228b8f5e2ffd50b53e7b50a34b2f983529be322fd1d5b3e7425a89810b4d5799e6c0487f45b6162ea45935021edfbb65267 +EBUILD dafny-4.5.0.ebuild 19421 BLAKE2B 69da91700d20e89689ffc91d1552abefc388289d2e2c1e4a99b2b261e6d621742479275d3f6544d93966511211338869e2c55064798e2b7c6a86013eac3586cb SHA512 73055410ee68a2ad7ff4a39bb1e16ec44791f7e6ec57bbe9818097cecd50379c7929b373690e71a4531c4725e8686f821f722994a73a993b866e2def700c967d 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 0872955efef7..1f25339c17f6 100644 --- a/dev-lang/dafny/dafny-4.5.0.ebuild +++ b/dev-lang/dafny/dafny-4.5.0.ebuild @@ -403,6 +403,7 @@ BDEPEND=" dev-lang/go dev-python/OutputCheck dev-python/lit + dev-python/psutil net-libs/nodejs[npm] ) " |