diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2023-09-16 14:56:11 +0200 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2023-09-16 16:47:35 +0200 |
| commit | 327be7a1e8fbd30a219141f8b0f1827291b0415d (patch) | |
| tree | 8eef8a5e4ecf6e20a698147157762d7d2b314b60 /dev-lang/boogie/Manifest | |
| parent | virtual/dotnet-sdk: drop old 7.0 (diff) | |
| download | gentoo-327be7a1e8fbd30a219141f8b0f1827291b0415d.tar.gz gentoo-327be7a1e8fbd30a219141f8b0f1827291b0415d.tar.bz2 gentoo-327be7a1e8fbd30a219141f8b0f1827291b0415d.zip | |
dev-lang/boogie: drop old 2.16.0
Closes: https://bugs.gentoo.org/912182
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-lang/boogie/Manifest')
| -rw-r--r-- | dev-lang/boogie/Manifest | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/dev-lang/boogie/Manifest b/dev-lang/boogie/Manifest index 3b695e01b592..016efc7bc73f 100644 --- a/dev-lang/boogie/Manifest +++ b/dev-lang/boogie/Manifest @@ -1,5 +1,3 @@ -DIST boogie-2.15.8-deps.tar.xz 71100772 BLAKE2B 1249627710fe0cc08c640ac7fe5e518793d237291810dc2df5d26bae2a4fd0fec15f0529b6fb799231002881665c2b2cf66b3a6a88494c780e96e51d78086959 SHA512 ee8df5693264c6b6e925f966a85e312e2df80d121c6e81786e7672d1591cdab8a66601c7d740df9db9704330a82f5aa01982d758cc4d5f151838be41c4d0b76f -DIST boogie-2.16.0.tar.gz 1540957 BLAKE2B e42615f1a0963aa68cc898945aafa6b518acc2134da17b717a81b4c5601bdb8112b79e96aafdb277a5517ca855679175bb5e6fdf9faae37b2e4b00f7c0ff3af5 SHA512 50be3d688f92481890687ba6853ff30716899a045ef1a5915f8bd2c4e86deec73983edaf9e96766efb7c4bc0d522e0087d472de1bf6151adbe35ef903cd8a875 DIST boogie-3.0.4.tar.gz 2024651 BLAKE2B ccd6892aef048f7e031d8101ead979eb8aeb09d14954e62d862cf60ef35bb34f70449b20ac4182f6eb253cc30f7fda6d17dc3206b50e1d0762d2be39fc28d12f SHA512 ff9f9fd9d143c79ddba146ed834aa68ef78b95a54445b8ae3ed89c2a55ca84106a4e0ba18f3b640ef1052ceb3b1ca166e6fb46242d9789a11d71a6d197e6f30c DIST microsoft.bcl.asyncinterfaces.6.0.0.nupkg 76354 BLAKE2B aca3f5db71e4037dbdd604aeaebcd0962ccc171915b77b4c409ab744bf0a469c7d588f9504fc7fa49e3863e9593b66b4083235cb49e812d1f87b3dadb32e6003 SHA512 221a05a0c910f7a87b620d8f3831ed392b4eb95d112bee274d35f27009ad2a26445de9d7cd235fe6fb4a03f2550874bda3be3dddd96edaf9c0852a9c23d7b099 DIST microsoft.codecoverage.16.2.0.nupkg 3133582 BLAKE2B 418cf403247d594cde0d827f8ca8690019a7631525f07993937085f4bbf8473364b4c99aea6e8b7b0020208d15fe0da63f0f4e69c273493c51ae011e8bd82667 SHA512 91f1d43fc038a20f5367d9aab669105dc7514dfbe749260b52789c09a75abcc6bdc000ee0c7f432231d4cc09e99bf5b863dd6289d813342f74d9dad23a651625 |