summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/opam-solver: remove unused patch(es)Michael Mair-Keimberger2024-08-201-142/+0
* dev-ml/opam-solver: drop 2.0.9, 2.0.10Alfredo Tupone2024-07-193-86/+0
* dev-ml/*: drop opam-2.1.5 & childrenAlfredo Tupone2024-07-182-44/+0
* dev-ml/opam-solver: add 2.1.5Alfredo Tupone2024-07-152-0/+44
* */*: Reassign gienah's packagesMichał Górny2024-02-141-4/+0
* dev-ml/opam-solver: Stabilize 2.0.10 arm, #896100Matoro Mahri2024-01-191-1/+1
* dev-ml/opam-solver: Stabilize 2.0.10 x86, #896100Sam James2024-01-111-2/+2
* dev-ml/opam-solver: Stabilize 2.0.10 ppc64, #896100Sam James2023-12-221-1/+1
* dev-ml/opam-solver: Stabilize 2.0.10 arm64, #896100Matoro Mahri2023-12-071-1/+1
* dev-ml/opam-solver: stabilize 2.1.3 for amd64Alfredo Tupone2023-05-131-1/+1
* dev-ml/opam-solver: add 2.1.3Alfredo Tupone2023-03-032-0/+43
* dev-ml/opam-solver: Stabilize 2.0.10 amd64, #896100Sam James2023-02-231-2/+2
* dev-ml/opam-solver: Stabilize 2.1.2 ppc64, #859508Arthur Zamarin2022-11-191-1/+1
* dev-ml/opam-solver: Stabilize 2.1.2 arm64, #859508Arthur Zamarin2022-11-191-1/+1
* dev-ml/opam-solver: Stabilize 2.1.2 arm, #859508Arthur Zamarin2022-11-191-1/+1
* dev-ml/opam-solver: Stabilize 2.1.2 x86, #859508Sam James2022-09-181-1/+1
* dev-ml/opam-solver: Stabilize 2.1.2 amd64, #859508Sam James2022-09-181-1/+1
* dev-ml/opam-solver: drop 2.0.8, 2.0.8-r1, 2.1.0, 2.1.1Sam James2022-07-245-168/+0
* dev-ml/opam-solver: Keyword 2.1.2 riscv, #835392Yongxiang Liang2022-04-181-1/+1
* dev-ml/opam-solver: destabilise for ppcSam James2022-03-033-5/+5
* dev-ml/opam-solver: 2.1.2 bumpAlfredo Tupone2022-01-312-0/+43
* dev-ml/opam-solver: Stabilize 2.0.9 x86, #817749Sam James2022-01-181-1/+1
* dev-ml/opam-solver: Stabilize 2.0.9 ppc64, #817749Arthur Zamarin2022-01-131-1/+1
* dev-ml/opam-solver: Stabilize 2.0.9 arm64, #817749Sam James2022-01-131-1/+1
* dev-ml/opam-solver: Stabilize 2.0.9 amd64, #817749Sam James2022-01-111-1/+1
* dev-ml/opam-solver: Stabilize 2.0.9 ppc, #817749Arthur Zamarin2022-01-101-1/+1
* dev-ml/opam-solver: Stabilize 2.0.9 arm, #817749Arthur Zamarin2022-01-101-2/+2
* dev-ml/opam-solver: Stabilize 2.0.8-r1 x86, #804780Sam James2021-12-191-1/+1
* dev-ml/opam-solver: fix 2.0.10Sam James2021-11-061-2/+2
* dev-ml/opam-solver: add 2.1.1Sam James2021-11-062-0/+43
* dev-ml/opam-solver: add 2.0.10Sam James2021-11-062-0/+43
* dev-ml/opam-solver: src_compile is in dune.eclassAlfredo Tupone2021-10-033-12/+0
* dev-ml/opam-solver: drop useless patchSam James2021-10-021-526/+0
* dev-ml/opam-solver: add 2.1.0Sam James2021-10-023-0/+574
* dev-ml/opam-solver: Stabilize 2.0.8-r1 ppc, #804780Sam James2021-10-021-1/+1
* dev-ml/opam-solver: Stabilize 2.0.8-r1 ppc64, #804780Sam James2021-10-021-1/+1
* dev-ml/opam-solver: Stabilize 2.0.8-r1 arm, #804780Sam James2021-10-021-1/+1
* dev-ml/opam-solver: Stabilize 2.0.8-r1 arm64, #804780Sam James2021-10-021-1/+1
* dev-ml/opam-solver: Stabilize 2.0.8-r1 amd64, #804780Sam James2021-10-021-1/+1
* dev-ml/opam-solver: build with ocaml-4.12Alfredo Tupone2021-10-012-0/+8
* **/metadata.xml: Replace http by https in DOCTYPE elementUlrich Müller2021-09-111-1/+1
* dev-ml/opam-solver: add 2.0.9Sam James2021-07-282-0/+43
* dev-ml/opam-solver: Keyword 2.0.8-r1 x86, #788406Sam James2021-07-281-1/+1
* dev-ml/opam-solver: restore keywords for arm/arm64/ppc/ppc64Sam James2021-06-081-1/+1
* dev-ml/opam-solver: patch for dose3-6.x compatHank Leininger2021-06-062-0/+184
* dev-ml/opam-solver: drop 2.0.7-r1Sam James2021-03-152-41/+0
* dev-ml/opam-solver: Stabilize 2.0.8 arm64, #772833Sam James2021-03-141-1/+1
* dev-ml/opam-solver: Stabilize 2.0.8 arm, #772833Sam James2021-03-141-1/+1
* dev-ml/opam-solver: Stabilize 2.0.8 ppc64, #772833Sam James2021-03-131-1/+1
* dev-ml/opam-solver: amd64 stable wrt bug #772833Agostino Sarubbo2021-03-041-1/+1