diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2022-05-31 18:49:45 +0200 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2022-05-31 18:51:07 +0200 |
| commit | d4963c3c6e31cffedc9c8579f8c1ba7fd2109277 (patch) | |
| tree | 12cc21d730be4c869ef13bc6d65025811085f647 /sci-mathematics/sha1-polyml | |
| parent | www-apps/element: add 1.10.12 (diff) | |
| download | gentoo-d4963c3c6e31cffedc9c8579f8c1ba7fd2109277.tar.gz gentoo-d4963c3c6e31cffedc9c8579f8c1ba7fd2109277.tar.bz2 gentoo-d4963c3c6e31cffedc9c8579f8c1ba7fd2109277.zip | |
Revert "sci-mathematics/coq: drop old 8.11.2-r1"
This reverts commit 9ea25f14ec426e1f253eb819ba5708bca9d7915e.
Needed by sci-mathematics/why3-for-spark-2020
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'sci-mathematics/sha1-polyml')
0 files changed, 0 insertions, 0 deletions