summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/dune-private-libs: drop 3.10.0, 3.13.1-r3Alfredo Tupone2024-09-083-78/+0
* dev-ml/dune-private-libs: drop 2.8.4, 3.6.2, 3.7.1, 3.11.1-r3Alfredo Tupone2024-09-035-235/+0
* dev-ml/dune-private-libs: Stabilize 3.16.0-r3 ppc64, #937870Sam James2024-08-161-1/+1
* dev-ml/dune-private-libs: Stabilize 3.16.0-r3 arm64, #937870Sam James2024-08-141-1/+1
* dev-ml/dune-private-libs: Stabilize 3.16.0-r3 arm, #937870Sam James2024-08-141-1/+1
* dev-ml/dune-private-libs: Stabilize 3.16.0-r3 x86, #937870Arthur Zamarin2024-08-131-1/+1
* dev-ml/dune-private-libs: Stabilize 3.16.0-r3 amd64, #937870Arthur Zamarin2024-08-131-1/+1
* dev-ml/dune-private-libs: block stdune/ordering/dynAlfredo Tupone2024-08-033-3/+15
* dev-ml/dune-private-libs: install ordering, dyn, and stdune tooHiroki Tokunaga2024-08-023-0/+12
* dev-ml/dune-private-libs: collaps ordering dyn stdune in hereAlfredo Tupone2024-08-021-2/+4
* dev-ml/dune-private-libs: collaps ordering dyn stdune in hereAlfredo Tupone2024-08-011-4/+1
* dev-ml/dune-private-libs: collaps ordering dyn stdune in hereAlfredo Tupone2024-07-191-3/+1
* dev-ml/dune-private-libs: add 3.16.0Alfredo Tupone2024-07-032-0/+35
* dev-ml/dune-private-libs: add 3.13.1Alfredo Tupone2024-07-022-0/+36
* dev-ml/dune-private-libs: Stabilize 3.10.0 arm, #933822Arthur Zamarin2024-06-081-1/+1
* dev-ml/dune-private-libs: Stabilize 3.10.0 arm64, #933822Sam James2024-06-081-1/+1
* dev-ml/dune-private-libs: add 3.11.1Alfredo Tupone2024-06-082-0/+31
* dev-ml/dune-private-libs: Stabilize 3.10.0 amd64, #933822Arthur Zamarin2024-06-081-1/+1
* dev-ml/dune-private-libs: Stabilize 3.10.0 x86, #933822Arthur Zamarin2024-06-081-1/+1
* dev-ml/dune-private-libs: Stabilize 3.10.0 ppc64, #933822Arthur Zamarin2024-06-081-2/+2
* dev-ml/dune-private-libs: drop versionsAlfredo Tupone2024-06-058-261/+0
* */*: Reassign gienah's packagesMichał Górny2024-02-141-4/+0
* dev-ml/dune-private-libs: Stabilize 2.9.3 arm, #896102Arthur Zamarin2023-08-161-1/+1
* dev-ml/dune-private-libs: add 3.10.0Alfredo Tupone2023-08-022-0/+37
* dev-ml/dune-private-libs: add 3.9.1Alfredo Tupone2023-07-112-0/+37
* dev-ml/dune-private-libs: add 3.9.0Alfredo Tupone2023-07-032-0/+37
* dev-ml/dune-private-libs: add 3.8.0Alfredo Tupone2023-05-232-0/+37
* dev-ml/dune-private-libs: stabilize 3.7.1 for amd64Alfredo Tupone2023-05-201-1/+1
* dev-ml/dune-private-libs: Stabilize 3.6.2 ppc64, #901629Arthur Zamarin2023-04-291-1/+1
* dev-ml/dune-private-libs: Stabilize 3.6.2 x86, #901629Arthur Zamarin2023-04-291-1/+1
* dev-ml/dune-private-libs: Stabilize 3.6.2 arm, #901629Arthur Zamarin2023-04-291-1/+1
* dev-ml/dune-private-libs: add 3.7.1Alfredo Tupone2023-04-162-0/+37
* dev-ml/dune-private-libs: Stabilize 3.6.2 arm64, #901629Sam James2023-04-011-1/+1
* dev-ml/dune-private-libs: Stabilize 3.6.2 amd64, #901629Arthur Zamarin2023-03-171-1/+1
* dev-ml/dune-private-libs: Stabilize 2.9.3 ppc64, #896102Arthur Zamarin2023-03-151-1/+1
* dev-ml/dune-private-libs: add 3.7.0Alfredo Tupone2023-03-012-0/+37
* dev-ml/dune-private-libs: Stabilize 2.9.3 x86, #896102Arthur Zamarin2023-02-241-1/+1
* dev-ml/dune-private-libs: Stabilize 2.9.3 amd64, #896102Sam James2023-02-231-2/+2
* dev-ml/dune-private-libs: add 3.6.2Alfredo Tupone2023-01-302-0/+37
* dev-ml/dune-private-libs: add 3.6.1Alfredo Tupone2022-12-162-0/+37
* dev-ml/dune-private-libs: add 3.2.0Alfredo Tupone2022-11-222-0/+37
* dev-ml/dune-private-libs: adj depsAlfredo Tupone2022-11-201-3/+7
* dev-ml/dune-private-libs: fix buildAlfredo Tupone2022-11-191-10/+9
* dev-ml/dune-private-libs: bump to 3.0.3Maciej Barć2022-11-192-0/+36
* dev-ml/dune-private-libs: Stabilize 2.9.1 arm, #817752Arthur Zamarin2022-11-181-1/+1
* dev-ml/dune-private-libs: fix testAlfredo Tupone2022-10-122-0/+41
* dev-ml/dune-private-libs: drop 2.8.2-r1, 2.9.0Sam James2022-07-243-231/+0
* dev-ml/dune-private-libs: be less strict depending on ocamloptAlfredo Tupone2022-07-065-12/+12
* dev-ml/dune-private-libs: Keyword 2.9.3 riscv, #835392Yongxiang Liang2022-04-181-1/+1
* dev-ml/dune-private-libs: destabilise for ppcSam James2022-03-032-4/+4