projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8b56d3b) | patch
dev-ml/num: add for newer ocaml + coq
authorJason A. Donenfeld <zx2c4@gentoo.org>
Tue, 7 Jan 2020 20:54:51 +0000 (15:54 -0500)
committerJason A. Donenfeld <zx2c4@gentoo.org>
Tue, 7 Jan 2020 21:00:55 +0000 (16:00 -0500)
commit0849f2d4192c441bdd07a752b02c780b5a8b3022
tree8cfe98401510ce9ce72f96da82759ce12dc30b03tree | snapshot
parent8b56d3b18b8cc73aa487d30b712cb9d4a4b73e57commit | diff
dev-ml/num: add for newer ocaml + coq

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>
dev-ml/num/Manifest [new file with mode: 0644] blob
dev-ml/num/metadata.xml [new file with mode: 0644] blob
dev-ml/num/num-1.3.ebuild [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.