summaryrefslogtreecommitdiff
path: root/dev-ml
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/llvm-ocaml: Add 19.0.0_pre20240322 snapshotMichał Górny2024-03-232-0/+108
* dev-ml/llvm-ocaml: Remove oldMichał Górny2024-03-234-326/+0
* dev-ml/facile: drop 1.1.3-r1Andreas Sturmlechner2024-03-223-102/+0
* dev-ml/llvm-ocaml: Add 18.1.2Michał Górny2024-03-202-0/+110
* dev-ml/llvm-ocaml: Add 19.0.0_pre20240316 snapshotMichał Górny2024-03-162-0/+108
* dev-ml/llvm-ocaml: Add 19.0.0_pre20240309 snapshotMichał Górny2024-03-092-0/+108
* dev-ml/llvm-ocaml: Rekeyword 18.1.0Michał Górny2024-03-061-1/+2
* dev-ml/llvm-ocaml: Remove oldMichał Górny2024-03-064-326/+0
* dev-ml/llvm-ocaml: Bump to 18.1.0Michał Górny2024-03-062-0/+109
* dev-ml/zarith: remove unused patch(es)Michael Mair-Keimberger2024-03-051-11/+0
* dev-ml/ounit2: Stabilize 2.2.7 arm64, #925658Sam James2024-03-031-1/+1
* dev-ml/ounit2: Stabilize 2.2.7 ppc64, #925658Arthur Zamarin2024-03-021-1/+1
* dev-ml/llvm-ocaml: Add 19.0.0_pre20240302 snapshotMichał Górny2024-03-022-0/+108
* dev-ml/re: Stabilize 1.11.0 ppc64, #924576Matoro Mahri2024-03-011-1/+1
* dev-ml/zarith: drop oldEli Schwartz2024-03-013-66/+0
* dev-ml/zarith: Stabilize 1.13 amd64, #924580Sam James2024-03-011-1/+1
* dev-ml/cryptokit: mark "mpir" use dependency as disabled-if-missingEli Schwartz2024-03-011-2/+2
* dev-ml/zarith: remove support for mpir USE flagEli Schwartz2024-02-291-5/+3
* dev-ml/llvm-ocaml: Remove oldMichał Górny2024-02-284-325/+0
* dev-ml/llvm-ocaml: Add 18.1.0_rc4Michał Górny2024-02-282-0/+109
* dev-ml/ounit2: Stabilize 2.2.7 arm, #925658Sam James2024-02-271-1/+1
* dev-ml/ounit2: Stabilize 2.2.7 amd64, #925658Sam James2024-02-271-1/+1
* dev-ml/ounit2: Stabilize 2.2.7 x86, #925658Sam James2024-02-271-2/+2
* dev-ml/reason: bump to 3.11.0Maciej Barć2024-02-262-0/+44
* dev-ml/reason: drop old 3.9.0-r1Maciej Barć2024-02-262-42/+0
* dev-ml/llvm-ocaml: Add 19.0.0_pre20240224 snapshotMichał Górny2024-02-242-0/+108
* dev-ml/llvm-ocaml: Add 18.1.0_rc3Michał Górny2024-02-222-0/+109
* dev-ml/llvm-ocaml: Add 19.0.0_pre20240218 snapshotMichał Górny2024-02-182-0/+108
* dev-ml/llvm-ocaml: Remove oldMichał Górny2024-02-172-108/+0
* dev-ml/time_now: update maintainersAlfredo Tupone2024-02-171-1/+4
* dev-ml/ppx_string: update maintainersAlfredo Tupone2024-02-171-1/+4
* dev-ml/ppx_stable: update maintainersAlfredo Tupone2024-02-171-1/+4
* dev-ml/ppx_module_timer: update maintainersAlfredo Tupone2024-02-171-1/+4
* dev-ml/ppx_fixed_literal: update maintainersAlfredo Tupone2024-02-171-1/+4
* dev-ml/ppx_cold: update maintainersAlfredo Tupone2024-02-171-1/+4
* dev-ml/yojson: Stabilize 2.1.1 amd64, #924579Sam James2024-02-151-2/+2
* dev-ml/uunf: Stabilize 15.1.0 amd64, #924578Sam James2024-02-151-1/+1
* dev-ml/uucp: Stabilize 15.1.0 amd64, #924577Sam James2024-02-151-1/+1
* dev-ml/re: Stabilize 1.11.0 amd64, #924576Sam James2024-02-151-1/+1
* dev-ml/re: Stabilize 1.11.0 x86, #924576Jakov Smolić2024-02-151-1/+1
* dev-ml/zarith: Stabilize 1.13 x86, #924580Arthur Zamarin2024-02-141-2/+2
* dev-ml/uunf: Stabilize 15.1.0 x86, #924578Arthur Zamarin2024-02-141-2/+2
* dev-ml/uucp: Stabilize 15.1.0 x86, #924577Arthur Zamarin2024-02-141-2/+2
* dev-ml/re: Stabilize 1.11.0 arm64, #924576Sam James2024-02-141-1/+1
* dev-ml/re: Stabilize 1.11.0 arm, #924576Sam James2024-02-141-2/+2
* */*: Reassign gienah's packagesMichał Górny2024-02-1492-368/+6
* dev-ml/llvm-ocaml: Add 19.0.0_pre20240210 snapshotMichał Górny2024-02-102-0/+108
* dev-ml/llvm-ocaml: Remove oldMichał Górny2024-02-103-223/+0
* dev-ml/llvm-ocaml: Migrate to llvm-utilsMichał Górny2024-02-103-18/+9
* dev-ml/merlin: bump to 4.13Maciej Barć2024-02-082-0/+102