summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/dune: Stabilize 2.9.1 ppc64, #817752Arthur Zamarin2021-12-071-1/+1
* dev-ml/dune: add 2.9.1Sam James2021-10-022-0/+48
* **/metadata.xml: Replace http by https in DOCTYPE elementUlrich Müller2021-09-111-1/+1
* dev-ml/dune: bump 2.9.0Alfredo Tupone2021-07-212-0/+48
* dev-ml/dune: Stabilize 2.8.4 x86, #783567Sam James2021-04-261-1/+1
* dev-ml/dune: Stabilize 2.8.4 arm, #783567Sam James2021-04-251-1/+1
* dev-ml/dune: Stabilize 2.8.4 ppc64, #783567Sam James2021-04-221-1/+1
* dev-ml/dune: Stabilize 2.8.4 ppc, #783567Sam James2021-04-221-1/+1
* dev-ml/dune: Stabilize 2.8.4 arm64, #783567Sam James2021-04-221-1/+1
* dev-ml/dune: Stabilize 2.8.4 amd64, #783567Sam James2021-04-181-1/+1
* dev-ml/dune: multiprocessing--Sam James2021-04-163-13/+6
* dev-ml/dune: Stabilize 2.8.2 arm64, #772833Sam James2021-03-141-1/+1
* dev-ml/dune: Stabilize 2.8.2 arm, #772833Sam James2021-03-141-1/+1
* dev-ml/dune: Stabilize 2.8.2 ppc64, #772833Sam James2021-03-131-1/+1
* dev-ml/dune: add 2.8.4Sam James2021-03-132-0/+48
* dev-ml/dune: amd64 stable wrt bug #772833Agostino Sarubbo2021-03-041-1/+1
* dev-ml/dune: Stabilize 2.8.2 x86, #772833Sam James2021-02-251-1/+1
* dev-ml/dune: add missing test depsSam James2021-02-251-5/+16
* dev-ml/dune: Stabilize 2.8.2 ppc, #772833Sam James2021-02-251-1/+1
* dev-ml/dune: add 1.11.4Alfredo Tupone2021-02-183-2/+35
* dev-ml/dune: Stabilize 2.7.1 arm, #757444Sam James2021-02-161-1/+1
* dev-ml/dune: Stabilize 2.7.1 arm64, #757444Sam James2021-02-121-1/+1
* dev-ml/dune: Stabilize 2.7.1 ppc64, #769317Sam James2021-02-101-1/+1
* dev-ml/dune: add dependencyAlfredo Tupone2021-02-011-2/+3
* dev-ml/dune: set min required ocaml versionAlfredo Tupone2021-01-301-2/+2
* dev-ml/dune: QA flags ignoredAlfredo Tupone2021-01-261-0/+2
* dev-ml/dune: bump to 2.8.2Sam James2021-01-242-0/+34
* dev-ml/dune: adopt for ml@Sam James2021-01-171-0/+4
* dev-ml/dune: Stabilize 2.7.1 amd64, #757444Sam James2020-12-171-1/+1
* dev-ml/dune: stable 2.7.1 for ppcSergei Trofimovich2020-12-131-1/+1
* dev-ml/dune: x86 stable (bug #757444)Thomas Deutschmann2020-12-031-1/+1
* dev-ml/dune: ppc64 keyworded (bug #748576)Sam James2020-10-281-1/+1
* dev-ml/dune: Keyword 2.7.1 ppc, #748576Sam James2020-10-241-1/+1
* dev-ml/dune: Bump to 2.7.1Mark Wright2020-10-133-1/+42
* dev-ml/dune: arm64 stable (#710374)Sam James (sam_c)2020-03-311-1/+1
* 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
* 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/dune: version bumpTupone Alfredo2020-01-172-0/+33
* */*: Remove ml@ from packages maintainersMichał Górny2019-12-131-4/+1
* dev-ml/dune: amd64 stableTupone Alfredo2019-10-211-1/+1
* dev-ml/dune: add dev-ml/duneTupone Alfredo2019-07-253-0/+49