gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-11-09 18:47:16 -08:00
Code Issues Projects Releases Wiki Activity
Files
2cbded7a0360bf8e5cbd89f3fec827c9040bbc7d
gentoo/dev-ml/num
T
History
Alfredo Tupone df63ec0cfb dev-ml/num: respect ocamlopt 
Closes: https://bugs.gentoo.org/822321
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
2022-01-12 20:03:24 +01:00
..
files
dev-ml/num: respect ocamlopt
2022-01-12 20:03:24 +01:00
Manifest
…
metadata.xml
…
num-1.3-r1.ebuild
…
num-1.4-r3.ebuild
dev-ml/num: respect ocamlopt
2022-01-12 20:03:24 +01:00