gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-11-09 06:37:10 -08:00
Code Issues Projects Releases Wiki Activity
Files
6b554229225430738924edd59eca3c27650ca0ad
gentoo/dev-ml/num
T
History
Alfredo Tupone 42825e870a dev-ml/num: use CFLAGS 
Closes: https://bugs.gentoo.org/723748
Package-Manager: Portage-2.3.99, Repoman-2.3.22
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
2020-05-21 19:04:09 +02:00
..
files
dev-ml/num: use CFLAGS
2020-05-21 19:04:09 +02:00
Manifest
…
metadata.xml
dev-ml/num: use ocamlopt
2020-04-07 20:41:04 +02:00
num-1.3.ebuild
dev-ml/num: use CFLAGS
2020-05-21 19:04:09 +02:00