diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2022-11-26 01:24:31 +0100 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2022-11-26 01:36:59 +0100 |
| commit | 7cfcec3d3f83d53b9da299d770e274f3bbe19754 (patch) | |
| tree | 6c5c3bdcda8458e1c7f233ff0c567be158e22cfe /sci-mathematics/calc | |
| parent | sci-mathematics/coq: bump to 8.16.1 (diff) | |
| download | gentoo-7cfcec3d3f83d53b9da299d770e274f3bbe19754.tar.gz gentoo-7cfcec3d3f83d53b9da299d770e274f3bbe19754.tar.bz2 gentoo-7cfcec3d3f83d53b9da299d770e274f3bbe19754.zip | |
sci-mathematics/coq: drop old 8.11.2-r1
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'sci-mathematics/calc')
0 files changed, 0 insertions, 0 deletions