diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2023-09-16 14:54:03 +0200 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2023-09-16 16:47:35 +0200 |
| commit | d24e429005eba920ab106ea84dd5f4ef0c17e8bd (patch) | |
| tree | 8755c39fb72102fae2d5b45d817055982e3eeeb8 /dev-lang/boogie/Manifest | |
| parent | dev-dotnet/dotnet-sdk-bin: drop old 7.0.200 (diff) | |
| download | gentoo-d24e429005eba920ab106ea84dd5f4ef0c17e8bd.tar.gz gentoo-d24e429005eba920ab106ea84dd5f4ef0c17e8bd.tar.bz2 gentoo-d24e429005eba920ab106ea84dd5f4ef0c17e8bd.zip | |
virtual/dotnet-sdk: drop old 7.0
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-lang/boogie/Manifest')
0 files changed, 0 insertions, 0 deletions