summaryrefslogtreecommitdiff
path: root/dev-ml
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/llvm-ocaml: Add 19.0.0_pre20240427 snapshotMichał Górny2024-04-272-0/+108
* dev-ml/llvm-ocaml: Add 19.0.0_pre20240420 snapshotMichał Górny2024-04-202-0/+108
* dev-ml/llvm-ocaml: Remove oldMichał Górny2024-04-204-326/+0
* dev-ml/llvm-ocaml: Add 18.1.4Michał Górny2024-04-182-0/+110
* dev-ml/llvm-ocaml: Add 19.0.0_pre20240410 snapshotMichał Górny2024-04-102-0/+108
* dev-ml/llvm-ocaml: Add 19.0.0_pre20240404 snapshotMichał Górny2024-04-062-0/+108
* dev-ml/llvm-ocaml: Remove oldMichał Górny2024-04-064-326/+0
* dev-ml/llvm-ocaml: Add 18.1.3Michał Górny2024-04-042-0/+110
* dev-ml/llvm-ocaml: Add 19.0.0_pre20240330 snapshotMichał Górny2024-03-302-0/+108
* 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