summaryrefslogtreecommitdiff
path: root/dev-ml
Commit message (Expand)AuthorAgeFilesLines
* 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
* dev-ml/labltk: amd64 stable wrt bug #708672Agostino Sarubbo2020-02-111-1/+1
* dev-ml/findlib: ppc stable wrt bug #708874Agostino Sarubbo2020-02-111-1/+1
* dev-ml/findlib: amd64 stable wrt bug #708874Agostino Sarubbo2020-02-111-1/+1
* dev-ml/findlib: ppc64 stable wrt bug #708874Agostino Sarubbo2020-02-111-1/+1
* dev-ml/findlib: ia64 stable wrt bug #708874Agostino Sarubbo2020-02-111-1/+1
* dev-ml/labltk: x86 stable wrt bug #708672Agostino Sarubbo2020-02-111-1/+1
* dev-ml/findlib: x86 stable wrt bug #708874Agostino Sarubbo2020-02-111-1/+1
* dev-ml/labltk: arm stable wrt bug #708672Agostino Sarubbo2020-02-111-1/+1
* dev-ml/findlib: arm stable wrt bug #708874Agostino Sarubbo2020-02-101-2/+2
* dev-ml/llvm-ocaml: Remove py2 where possibleMichał Górny2020-02-104-4/+4
* dev-ml/camlp5: restricted 7.10 wrt ocamlMiroslav Šulc2020-02-101-1/+1
* dev-ml/camlp5: bump to 7.11Miroslav Šulc2020-02-102-0/+49
* dev-ml/camlp4: restricted ocaml versions in depsMiroslav Šulc2020-02-092-4/+4
* dev-ml/ppx_tools: bumped to 5.3.4.08.0 + eapi7Miroslav Šulc2020-02-092-0/+30
* dev-ml/ppx_tools: doesn't compile with ocaml-4.09Miroslav Šulc2020-02-092-4/+4
* dev-ml/ocamlbuild: 0.10.1 and 0.11.0 don't compile with ocaml-4.09Miroslav Šulc2020-02-092-4/+6
* dev-ml/findlib: 1.7* does not compile with ocaml-4.09Miroslav Šulc2020-02-093-6/+9
* dev-ml/patience_diff: [QA] Fix VariableInHomepageDavid Seifert2020-02-081-1/+1
* dev-ml/seq: RedundantLongDescriptionTupone Alfredo2020-01-311-3/+0
* dev-ml/llvm-ocaml: Add VE targetMichał Górny2020-01-313-3/+3
* dev-ml/lablgtk: remove old 2.18.8-r0Joonas Niilola2020-01-311-82/+0
* dev-ml/lablgtk: revbump 2.18.8, EAPI-7, fix CI issue, restore KEYWORDSJoonas Niilola2020-01-311-0/+72
* dev-ml/llvm-ocaml: Bump to 10.0.0_rc1Michał Górny2020-01-302-0/+127