summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/dune: add 3.9.1Alfredo Tupone2023-07-112-0/+69
* dev-ml/dune: add 3.9.0Alfredo Tupone2023-07-032-0/+69
* dev-ml/dune: add 3.8.0Alfredo Tupone2023-05-232-0/+69
* dev-ml/dune: stabilize 3.7.1 for amd64Alfredo Tupone2023-05-201-1/+1
* dev-ml/dune: add 3.7.1Alfredo Tupone2023-04-162-0/+69
* dev-ml/dune: Stabilize 3.7.0 ppc64, #901627Arthur Zamarin2023-03-171-1/+1
* dev-ml/dune: Stabilize 3.6.2 ppc64, #901625Arthur Zamarin2023-03-171-1/+1
* dev-ml/dune: Stabilize 3.7.0 x86, #901627Sam James2023-03-171-1/+1
* dev-ml/dune: Stabilize 3.6.2 x86, #901625Sam James2023-03-171-1/+1
* dev-ml/dune: Stabilize 3.7.0 amd64, #901627Sam James2023-03-171-1/+1
* dev-ml/dune: Stabilize 3.6.2 amd64, #901625Sam James2023-03-171-1/+1
* dev-ml/dune: Stabilize 3.7.0 arm64, #901627Sam James2023-03-161-1/+1
* dev-ml/dune: Stabilize 3.7.0 arm, #901627Sam James2023-03-161-1/+1
* dev-ml/dune: Stabilize 3.6.2 arm64, #901625Sam James2023-03-161-1/+1
* dev-ml/dune: Stabilize 3.6.2 arm, #901625Sam James2023-03-161-1/+1
* dev-ml/dune: Stabilize 2.9.3-r3 ppc64, #896102Arthur Zamarin2023-03-151-1/+1
* dev-ml/dune: add 3.7.0Alfredo Tupone2023-03-012-0/+69
* dev-ml/dune: Stabilize 2.9.3-r3 x86, #896102Arthur Zamarin2023-02-241-1/+1
* dev-ml/dune: Stabilize 2.9.3-r3 amd64, #896102Sam James2023-02-231-2/+2
* dev-ml/dune: add 3.6.2Alfredo Tupone2023-01-302-0/+69
* dev-ml/dune: add 3.6.1Alfredo Tupone2022-12-172-0/+69
* dev-ml/dune: add 3.5.0Alfredo Tupone2022-12-162-0/+69
* dev-ml/dune: add 3.2.0Alfredo Tupone2022-11-222-0/+69
* dev-ml/dune: add 3.1.1Alfredo Tupone2022-11-212-0/+66
* dev-ml/dune: use ED instead of DAlfredo Tupone2022-11-201-4/+3
* dev-ml/dune: separate dune-configuratorAlfredo Tupone2022-11-191-21/+8
* dev-ml/dune: add 3.0.3Alfredo Tupone2022-11-192-0/+80
* dev-ml/dune: Stabilize 2.9.1 arm, #817752Arthur Zamarin2022-11-181-1/+1
* dev-ml/dune: do not strip, it loose bytecodeAlfredo Tupone2022-10-223-4/+4
* dev-ml/dune: drop 1.11.4, 2.1.0, 2.7.1, 2.8.2, 2.9.0Sam James2022-07-246-195/+0
* dev-ml/dune: fix elisp compilationMaciej Barć2022-04-201-0/+2
* dev-ml/dune: 2.9.3 - enable Emacs support & bump to EAPI 8Maciej Barć2022-04-192-3/+16
* dev-ml/dune: Keyword 2.9.3 riscv, #835392Yongxiang Liang2022-04-181-1/+1
* dev-ml/dune: destabilise for ppcSam James2022-03-033-3/+3
* dev-ml/dune: 2.9.3 bumpAlfredo Tupone2022-01-292-0/+48
* dev-ml/dune: selecting compliance with ocaml versionsAlfredo Tupone2022-01-083-4/+7
* dev-ml/dune: Stabilize 2.9.1 x86, #817752Jakov Smolić2021-12-101-1/+1
* dev-ml/dune: Stabilize 2.9.1 amd64, #817752Jakov Smolić2021-12-101-1/+1
* dev-ml/dune: Stabilize 2.9.1 arm64, #817752Arthur Zamarin2021-12-081-1/+1
* 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