gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-08-23 18:38:08 -07:00
Code Issues Projects Releases Wiki Activity
Files
cfb1480fdb4ec88ca752f074ffdb64656cd509bd
gentoo/dev-ml/num
History
Alfredo Tupone e6f35556d8 dev-ml/num: fix install with -ocamlopt 
Closes: https://bugs.gentoo.org/831496
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
2022-01-19 21:22:37 +01:00
..
files
dev-ml/num: fix install with -ocamlopt
2022-01-19 21:22:37 +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