diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2023-06-27 23:56:20 +0200 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2023-06-28 03:12:43 +0200 |
| commit | 212e16dfe414213e4bfdaf268a85446227344445 (patch) | |
| tree | e4abb8b64fb7a0c23fefc9223a62999bf6d79597 /sci-electronics | |
| parent | sci-mathematics/coq: drop old 8.13.0-r1 (diff) | |
| download | gentoo-212e16dfe414213e4bfdaf268a85446227344445.tar.gz gentoo-212e16dfe414213e4bfdaf268a85446227344445.tar.bz2 gentoo-212e16dfe414213e4bfdaf268a85446227344445.zip | |
sci-mathematics/coq: bump to 8.17.1
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'sci-electronics')
0 files changed, 0 insertions, 0 deletions