summaryrefslogtreecommitdiff
path: root/dev-ml
Commit message (Expand)AuthorAgeFilesLines
* 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/zarith: using ARAlfredo Tupone2020-05-172-1/+16
* dev-ml/lablgtk: uses CFLAGS and fix -fno-commonAlfredo Tupone2020-05-142-2/+103
* dev-ml/camlp5: Try for fixing SourcingErrorAlfredo Tupone2020-05-141-1/+2
* dev-ml/camlp5: attempt to fix breakageJoonas Niilola2020-05-131-1/+1
* dev-ml/camlp5: fis QA warning on CFLAGSAlfredo Tupone2020-05-131-0/+4
* dev-ml/camlp4: Avoid stack overflow in build.Rafael Kitover2020-05-053-1/+7
* dev-ml/ocamlmod: QA Fix SRC_URIJonas Stein2020-05-052-4/+4
* dev-ml/llvm-ocaml: Remove 7*Michał Górny2020-05-012-125/+0
* dev-ml/llvm-ocaml: AVR is now mainline targetMichał Górny2020-04-291-2/+2
* dev-ml/num: use ocamloptAlfredo Tupone2020-04-072-3/+6
* */*: Drop stable ia64 keywordsMatt Turner2020-04-039-9/+9
* dev-ml/dune: arm64 stable (#710374)Sam James (sam_c)2020-03-311-1/+1
* dev-ml/findlib: arm64 stable (bug #708874)Sam James (sam_c)2020-03-311-1/+1
* dev-ml/zarith: remove old versionsTupone Alfredo2020-03-274-153/+0
* dev-ml/camlzip: requires a newer version of ocamlTupone Alfredo2020-03-273-5/+5
* dev-ml/zarith: require a newer version of ocamlTupone Alfredo2020-03-275-9/+9
* dev-ml/llvm-ocaml: Remove 10.0.0 RCsMichał Górny2020-03-254-378/+0
* dev-ml/llvm-ocaml: Bump to 10.0.0Michał Górny2020-03-242-0/+126
* dev-ml/llvm-ocaml: Bump to 10.0.0rc6Michał Górny2020-03-232-0/+126
* dev-ml/lablgtk: require a newerb version of dev-lang/ocamlTupone Alfredo2020-03-231-1/+1
* dev-ml/lablgtk: Remove USE="opengl"David Seifert2020-03-203-17/+8
* dev-ml/*: drop to ~hppaRolf Eike Beer2020-03-206-6/+6
* dev-ml/llvm-ocaml: Bump to 10.0.0rc4Michał Górny2020-03-162-0/+126
* dev-ml/llvm-ocaml: Remove 10.0.0rc[12]Michał Górny2020-03-043-253/+0
* dev-ml/llvm-ocaml: Keyword 10.0.0rc3Michał Górny2020-03-041-1/+1
* dev-ml/llvm-ocaml: Bump to 10.0.0rc3Michał Górny2020-03-042-0/+126
* dev-ml/dune: x86 stable wrt bug #710374Agostino Sarubbo2020-02-241-1/+1
* dev-ml/dune: arm stable wrt bug #710374Agostino Sarubbo2020-02-241-1/+1
* */*: [QA] Use consistent function definition formattingDavid Seifert2020-02-229-14/+14
* dev-ml/dune: remove old versionTupone Alfredo2020-02-212-38/+0
* dev-ml/dune: amd64 stable wrt bug #710374Agostino Sarubbo2020-02-211-1/+1
* dev-ml/lablgtk: took maintainershipTupone Alfredo2020-02-171-1/+4
* dev-ml/lablgtk: version bump to 2.18.10Tupone Alfredo2020-02-172-0/+77
* dev-ml/zarith: took maintainershipTupone Alfredo2020-02-171-1/+4
* dev-ml/zarith: Version bump to 1.9.1Tupone Alfredo2020-02-172-0/+55
* dev-ml/camlp5: remove old versionsTupone Alfredo2020-02-176-329/+0
* dev-ml/camlp5: x86 stable wrt bug #709348Agostino Sarubbo2020-02-171-1/+1
* dev-ml/camlp5: amd64 stable wrt bug #709348Agostino Sarubbo2020-02-171-1/+1
* dev-ml/camlp5: ppc stable wrt bug #709348Agostino Sarubbo2020-02-171-1/+1
* dev-ml/camlzip: Version bump to 1.10Tupone Alfredo2020-02-173-1/+42
* dev-ml/llvm-ocaml: Remove unused WITH_POLLYMichał Górny2020-02-143-3/+0
* dev-ml/llvm-ocaml: Remove broken VE target from 10.0.0rc2Michał Górny2020-02-141-1/+1
* dev-ml/llvm-ocaml: Enable py3.8Michał Górny2020-02-143-3/+3
* dev-ml/llvm-ocaml: Bump to 10.0.0rc2Michał Górny2020-02-142-0/+127
* dev-ml/labltk: ppc64 stable wrt bug #708672Agostino Sarubbo2020-02-121-1/+1
* dev-ml/labltk: ia64 stable wrt bug #708672Agostino Sarubbo2020-02-121-1/+1
* */*: Bump copyright on files touched this yearMichał Górny2020-02-116-6/+6
* dev-ml/labltk: ppc stable wrt bug #708672Agostino Sarubbo2020-02-111-1/+1