diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2022-11-26 16:25:27 +0100 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2022-11-26 16:30:59 +0100 |
| commit | 4484dca2878b432c431872060d6616e4e0e78045 (patch) | |
| tree | 76195fa7abc7eb6774ea51e41c6f211d9b096d04 /media-libs/resid/metadata.xml | |
| parent | dev-python/httpx: Fix respecting USE=-cli (diff) | |
| download | gentoo-4484dca2878b432c431872060d6616e4e0e78045.tar.gz gentoo-4484dca2878b432c431872060d6616e4e0e78045.tar.bz2 gentoo-4484dca2878b432c431872060d6616e4e0e78045.zip | |
sci-mathematics/coq: drop old 8.11.2-r1
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'media-libs/resid/metadata.xml')
0 files changed, 0 insertions, 0 deletions