projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0849f2d) | patch
sci-mathematics/coq: revbump for newer ocaml + num
authorJason A. Donenfeld <zx2c4@gentoo.org>
Tue, 7 Jan 2020 20:57:56 +0000 (15:57 -0500)
committerJason A. Donenfeld <zx2c4@gentoo.org>
Tue, 7 Jan 2020 21:00:55 +0000 (16:00 -0500)
commita41e99d5d07a2fafd4f7bab90567ed25fe5306d7
tree01523aadd20fd8a2ef586fd8f78ee498a691a667tree | snapshot
parent0849f2d4192c441bdd07a752b02c780b5a8b3022commit | diff
sci-mathematics/coq: revbump for newer ocaml + num

Fixes: https://bugs.gentoo.org/704928
Package-Manager: Portage-2.3.84, Repoman-2.3.20
Signed-off-by: Jason A. Donenfeld <zx2c4@gentoo.org>
sci-mathematics/coq/coq-8.9.1-r2.ebuild [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.