projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 118c72a) | patch
dev-ml/num: use ocamlopt
authorAlfredo Tupone <tupone@gentoo.org>
Tue, 7 Apr 2020 18:41:04 +0000 (20:41 +0200)
committerAlfredo Tupone <tupone@gentoo.org>
Tue, 7 Apr 2020 18:41:04 +0000 (20:41 +0200)
commita5590b6514a5b93c85532b54a4cb81e03a8a5174
tree23249534542f1878ce2199f6a203879f627f3a5atree | snapshot
parent118c72a585b3dd6db178db38f2938e7048a1a13bcommit | diff
dev-ml/num: use ocamlopt

Closes: https://bugs.gentoo.org/710892
Package-Manager: Portage-2.3.89, Repoman-2.3.20
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
dev-ml/num/metadata.xml diff | blob | history
dev-ml/num/num-1.3.ebuild diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.