diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2023-09-18 17:06:27 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2023-09-18 17:06:27 +0100 |
| commit | 4be6deadf3e814bc37585cde9dc08faad2561453 (patch) | |
| tree | 1e3079a08beb9cfc316ed858851592e9437d5f38 /dev-lang/dafny | |
| parent | 1426dfeb15e4d49cb4238c6cf37455a6130cd83f (diff) | |
gentoo auto-resync : 18:09:2023 - 17:06:27
Diffstat (limited to 'dev-lang/dafny')
| -rw-r--r-- | dev-lang/dafny/Manifest | 2 | ||||
| -rw-r--r-- | dev-lang/dafny/dafny-4.2.0.ebuild | 1 |
2 files changed, 2 insertions, 1 deletions
diff --git a/dev-lang/dafny/Manifest b/dev-lang/dafny/Manifest index 156a23bc509a..143e5fcd782e 100644 --- a/dev-lang/dafny/Manifest +++ b/dev-lang/dafny/Manifest @@ -271,5 +271,5 @@ DIST xunit.extensibility.execution.2.4.0.nupkg 481651 BLAKE2B 8cd2bef58356196059 DIST xunit.extensibility.execution.2.4.2.nupkg 353652 BLAKE2B f10e20d43b8030f51c9598afe247f46c0630fff6ad5e1cb82105182cac11b410c0c41c19fd513c5a3a59183ca45e1046af3289d670e0329a424ed7cb4a81735a SHA512 e654fcf8767427d5370746cab7f2078fddaf2239c9b312114bd68f1d91f739acef8586697e44c41442ace3a3d140591bd8ddeae81b3079f6719b3740757cc90d DIST xunit.runner.visualstudio.2.4.3.nupkg 809588 BLAKE2B ce18ac895657d1efa9752e44148812a452401fa06eba913dad716cfd6743d85a09ffbc0be52276a4b90d039ab76077cca7ab5316b73009aeff2b2fe77dc465f1 SHA512 d8b0d124425db24f98335b332fe55e1a08b39af55d8834dd4a2717fd4be45f3a06ae6cb16427a17adfb31e215dab622856152bb2da715acb1946ec9e935299f4 DIST xunit.skippablefact.1.4.8.nupkg 44542 BLAKE2B 3c9b09d5196e8901770099b2e5078d9373e8ebc2da058a9071707d6fee56eab7c876578734f3be5b088db6ae83c8ad81a3aadfcab38e1fd2b28bd25601fe5463 SHA512 a2c680223bda4f9bfdbd751c8d6a5319e0a4611533272860ca0a396b26c473a13065301a5d8973074ea2bb5119caaeec5a67d547a96ae5d762dc09f337f51ad1 -EBUILD dafny-4.2.0.ebuild 16051 BLAKE2B 400b0f139d18d2077964d4855cdcc8f726d3e3f4dd48e5ee93245b701eeea73b269c26527dcc8948551f82145bce050a275242ee7b8a639a8d9ab671653020c1 SHA512 99a753e98236d068ab060fba1fa264a19a0c8ce60373b7fa15b9804bd5ca8617359ae6f479b982af134fab0c75df38339bc1a13967cbc89d8dcd5eeb4842d767 +EBUILD dafny-4.2.0.ebuild 16065 BLAKE2B 96c7438d40881e91b1d9db5b4298088a060772fd688e2a74d144ba2b9d0cc097ef2b0197f6b964f19841db47837434c2d0a1ebf84941340838dded62e05fd1dc SHA512 34a6b47b0f6b29b22e2379a58a40c74406dfac2f070cfedbfc4cb170360d8b2d97befd18367147569230f7d1c5d6e27ecb467b07f355a86861058b16f3ceb387 MISC metadata.xml 1884 BLAKE2B e3a53cfd90a4edf1d9fd9f567ac3c23fd88cc46602cfe6aea31ddc40585ebc89ab82833dcd21c82083671a54454d62f162f45d56d6b0ec9c202148b3d5ea2c6d SHA512 4cffb9c237ed85097ce1496a72f5aa9c5a0f5758402fe66ff745a3b1dbc3f8d9a40fecc9140ee1b9418f09b62794f7e0a47f908e6ba01b370087d4df62bfa46e diff --git a/dev-lang/dafny/dafny-4.2.0.ebuild b/dev-lang/dafny/dafny-4.2.0.ebuild index 34aaf73989ea..24f9f2259878 100644 --- a/dev-lang/dafny/dafny-4.2.0.ebuild +++ b/dev-lang/dafny/dafny-4.2.0.ebuild @@ -315,6 +315,7 @@ BDEPEND=" test? ( ${PYTHON_DEPS} dev-lang/boogie + dev-lang/go dev-python/OutputCheck dev-python/lit net-libs/nodejs[npm] |