Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/dev-ml/num
Commit message (Collapse)AuthorAgeFilesLines
* dev-ml/num: use CFLAGSAlfredo Tupone2020-05-212-0/+19
| | | | | | Closes: https://bugs.gentoo.org/723748 Package-Manager: Portage-2.3.99, Repoman-2.3.22 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/num: x86 stable wrt bug #723500Agostino Sarubbo2020-05-181-1/+1
| | | | | | Package-Manager: Portage-2.3.99, Repoman-2.3.22 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/num: amd64 stable wrt bug #723500Agostino Sarubbo2020-05-181-1/+1
| | | | | | Package-Manager: Portage-2.3.99, Repoman-2.3.22 RepoMan-Options: --include-arches="amd64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/num: use ocamloptAlfredo Tupone2020-04-072-3/+6
| | | | | | 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: fix dependencyTupone Alfredo2020-01-131-1/+2
| | | | | Package-Manager: Portage-2.3.79, Repoman-2.3.16 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/num: add for newer ocaml + coqJason A. Donenfeld2020-01-073-0/+30
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>