diff options
author | Sam James <sam@gentoo.org> | 2021-02-10 18:51:46 +0000 |
---|---|---|
committer | Sam James <sam@gentoo.org> | 2021-02-10 18:51:46 +0000 |
commit | 92ed0655150ea545ae4a769fc4715e54d8b146c5 (patch) | |
tree | d979f36e78b076f80416d273a3a40ad9d870a083 /dev-ml/sexplib0 | |
parent | dev-ml/lablgtk-sourceview: Stabilize 3.1.1 amd64, #769317 (diff) | |
download | gentoo-92ed0655150ea545ae4a769fc4715e54d8b146c5.tar.gz gentoo-92ed0655150ea545ae4a769fc4715e54d8b146c5.tar.bz2 gentoo-92ed0655150ea545ae4a769fc4715e54d8b146c5.zip |
sci-mathematics/coq: Stabilize 8.12.0-r1 amd64, #769317
Signed-off-by: Sam James <sam@gentoo.org>
Diffstat (limited to 'dev-ml/sexplib0')
0 files changed, 0 insertions, 0 deletions