diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2023-06-27 23:27:38 +0200 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2023-06-28 03:12:43 +0200 |
| commit | e77d8b08a5889e455c72cb69ab83094c56c15cf3 (patch) | |
| tree | 44b4fd38765a94bd8880553848f6b5b9a8ad3735 /net-vpn | |
| parent | x11-libs/libX11: Drop old versions (diff) | |
| download | gentoo-e77d8b08a5889e455c72cb69ab83094c56c15cf3.tar.gz gentoo-e77d8b08a5889e455c72cb69ab83094c56c15cf3.tar.bz2 gentoo-e77d8b08a5889e455c72cb69ab83094c56c15cf3.zip | |
sci-mathematics/coq: drop old 8.13.0-r1
Closes: https://bugs.gentoo.org/777528
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'net-vpn')
0 files changed, 0 insertions, 0 deletions