Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/dev-ml/num
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/num: add github upstream metadataAlfredo Tupone2022-12-041-0/+3
* dev-ml/num: Keyword 1.4-r3 riscv, #835392Yongxiang Liang2022-04-181-1/+1
* dev-ml/num: destabilise for ppcSam James2022-03-032-3/+3
* dev-ml/num: fix install with -ocamloptAlfredo Tupone2022-01-191-0/+12
* dev-ml/num: respect ocamloptAlfredo Tupone2022-01-122-0/+17
* dev-ml/num: fix install with -ocamloptAlfredo Tupone2022-01-071-2/+2
* dev-ml/num: fix handling of ocamloptSam James2021-11-071-1/+2
* dev-ml/num: fix collision with newer findlibSam James2021-10-071-2/+7
* **/metadata.xml: Replace http by https in DOCTYPE elementUlrich Müller2021-09-111-1/+1
* dev-ml/num: try to disable ocamloptSam James2021-06-131-2/+2
* dev-ml/num: ocamlopt shall be passed to ocamlAlfredo Tupone2021-06-131-1/+1
* dev-ml/num: changing compiler need a rebuild, add RDEPENDAlfredo Tupone2021-06-131-0/+2
* dev-ml/num: Stabilize 1.4-r1 ppc64, #783576Sam James2021-04-191-1/+1
* dev-ml/num: Stabilize 1.4-r1 ppc, #783576Sam James2021-04-181-1/+1
* dev-ml/num: Stabilize 1.4-r1 amd64, #783576Sam James2021-04-181-1/+1
* dev-ml/num: Stabilize 1.4-r1 x86, #783576Sam James2021-04-181-1/+1
* dev-ml/num: Stabilize 1.4-r1 arm, #783576Sam James2021-04-181-1/+1
* dev-ml/num: Stabilize 1.4-r1 arm64, #783576Sam James2021-04-181-1/+1
* dev-ml/num: multilib--Sam James2021-04-161-2/+1
* dev-ml/num: Stabilize 1.3-r1 arm64, #772833Sam James2021-03-141-1/+1
* dev-ml/num: Stabilize 1.3-r1 arm, #772833Sam James2021-03-141-1/+1
* dev-ml/num: drop 1.3Sam James2021-03-131-33/+0
* dev-ml/num: Stabilize 1.3-r1 ppc64, #772833Sam James2021-03-131-1/+1
* dev-ml/num: add note regarding duneSam James2021-03-091-0/+1
* dev-ml/num: fix testsSam James2021-03-091-1/+6
* dev-ml/num: fix installationSam James2021-03-091-1/+10
* dev-ml/num: amd64 stable wrt bug #772833Agostino Sarubbo2021-03-041-1/+1
* dev-ml/num: Stabilize 1.3-r1 x86, #772833Sam James2021-02-251-1/+1
* dev-ml/num: Stabilize 1.3-r1 ppc, #772833Sam James2021-02-251-1/+1
* dev-ml/num: bump to 1.4Sam James2021-02-082-0/+16
* dev-ml/num: ML maintains itAlfredo Tupone2021-01-141-3/+3
* dev-ml/num: drop x86-macosFabian Groffen2021-01-061-2/+2
* dev-ml/num: ppc64 keyworded (bug #748576)Sam James2020-10-281-1/+1
* dev-ml/num: Rebuild when ocaml rebuilt, add KEYWORDS from ml-overlay.Mark Wright2020-10-132-0/+37
* dev-ml/num: use CFLAGSAlfredo Tupone2020-05-212-0/+19
* dev-ml/num: x86 stable wrt bug #723500Agostino Sarubbo2020-05-181-1/+1
* dev-ml/num: amd64 stable wrt bug #723500Agostino Sarubbo2020-05-181-1/+1
* dev-ml/num: use ocamloptAlfredo Tupone2020-04-072-3/+6
* dev-ml/num: fix dependencyTupone Alfredo2020-01-131-1/+2
* dev-ml/num: add for newer ocaml + coqJason A. Donenfeld2020-01-073-0/+30