summaryrefslogtreecommitdiff
path: root/dev-ml
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/reason: bump to 3.10.0Maciej Barć2023-09-153-0/+54
* dev-ml/llvm-ocaml: Remove oldMichał Górny2023-09-084-340/+0
* dev-ml/odoc: bump to 2.2.1Maciej Barć2023-09-072-0/+30
* dev-ml/llvm-ocaml: Add 18.0.0_pre20230906 snapshotMichał Górny2023-09-062-0/+113
* dev-ml/llvm-ocaml: Bump to 17.0.0_rc4Michał Górny2023-09-052-0/+114
* dev-ml/ocplib-simplex: add 0.4.1Alfredo Tupone2023-09-022-0/+37
* dev-ml/ocaml-base64: add 3.5.1Alfredo Tupone2023-09-022-0/+20
* dev-ml/lwt_ssl: add 1.2.0Alfredo Tupone2023-09-022-0/+24
* dev-ml/lwt: add 5.7.0Alfredo Tupone2023-09-022-0/+60
* dev-ml/lambda-term: add 3.3.2Alfredo Tupone2023-09-022-0/+27
* dev-ml/base: add 0.16.3Alfredo Tupone2023-09-022-0/+23
* dev-ml/llvm-ocaml: Add 18.0.0_pre20230829 snapshotMichał Górny2023-08-292-0/+113
* dev-ml/llvm-ocaml: Remove oldMichał Górny2023-08-296-567/+0
* dev-ml/merlin: drop old 4.6Maciej Barć2023-08-272-109/+0
* dev-ml/merlin: drop old 4.5-r3Maciej Barć2023-08-272-101/+0
* dev-ml/merlin: bump to 4.10Maciej Barć2023-08-272-0/+100
* dev-ml/reason: drop old 3.8.2Maciej Barć2023-08-272-38/+0
* dev-ml/utop: drop old 2.11.0-r1Maciej Barć2023-08-272-65/+0
* dev-ml/ptime: bump to 1.1.0Maciej Barć2023-08-272-0/+32
* dev-ml/llvm-ocaml: Add 18.0.0_pre20230825 snapshotMichał Górny2023-08-252-0/+113
* dev-ml/llvm-ocaml: Add 17.0.0_rc3Michał Górny2023-08-232-0/+114
* dev-ml/llvm-ocaml: Add 18.0.0_pre20230820 snapshotMichał Górny2023-08-202-0/+113
* dev-ml/zed: drop old 3.2.1-r2Maciej Barć2023-08-202-28/+0
* dev-ml/zed: drop old 3.1.0Maciej Barć2023-08-202-23/+0
* dev-ml/zed: bump to 3.2.3Maciej Barć2023-08-202-0/+32
* dev-ml/menhir: bump to 20230608Maciej Barć2023-08-202-0/+22
* dev-ml/menhir: drop old 20211012Maciej Barć2023-08-202-22/+0
* dev-ml/menhir: drop old 20210419-r1Maciej Barć2023-08-202-22/+0
* dev-ml/menhir: drop old 20190924Maciej Barć2023-08-202-43/+0
* dev-ml/dune-site: Stabilize 2.9.3 arm, #896102Arthur Zamarin2023-08-161-1/+1
* dev-ml/dune-configurator: Stabilize 2.9.3 arm, #896102Arthur Zamarin2023-08-161-1/+1
* dev-ml/dune-private-libs: Stabilize 2.9.3 arm, #896102Arthur Zamarin2023-08-161-1/+1
* dev-ml/dune-build-info: Stabilize 2.9.3 arm, #896102Arthur Zamarin2023-08-161-1/+1
* dev-ml/dune: Stabilize 2.9.3-r3 arm, #896102Arthur Zamarin2023-08-161-1/+1
* dev-ml/merlin: bump to 4.9Maciej Barć2023-08-112-0/+100
* dev-ml/ocaml-ctypes: Update the homepageMichał Górny2023-08-102-3/+3
* dev-ml/ocaml-ctypes: Fix installing ctypes-foreign libraryMichał Górny2023-08-101-0/+4
* dev-ml/llvm-ocaml: Add 18.0.0_pre20230810 snapshotMichał Górny2023-08-102-0/+113
* dev-ml/llvm-ocaml: Add 17.0.0_rc2Michał Górny2023-08-082-0/+114
* dev-ml/camlp5: add 8.02.00, drop 8.01.00Alfredo Tupone2023-08-082-1/+1
* dev-ml/gapi-ocaml: add 0.4.4Alfredo Tupone2023-08-072-0/+33
* dev-ml/camlp5: add 8.01.00Alfredo Tupone2023-08-062-0/+61
* dev-ml/batteries: add 3.6.1Alfredo Tupone2023-08-062-0/+33
* dev-ml/utop: drop old 2.9.2Maciej Barć2023-08-052-64/+0
* dev-ml/ocaml-ctypes: fix deps and add dune_pkg_nameAlfredo Tupone2023-08-041-0/+2
* dev-ml/ocaml-ctypes: add 0.21.1, drop 0.21.0Alfredo Tupone2023-08-032-1/+1
* dev-ml/ocaml-ctypes: add 0.21.0Alfredo Tupone2023-08-032-0/+27
* dev-ml/llvm-ocaml: Add 18.0.0_pre20230803 snapshotMichał Górny2023-08-032-0/+113
* dev-ml/llvm-ocaml: Remove 17.x snapshotsMichał Górny2023-08-032-113/+0
* dev-ml/dune-site: add 3.10.0Alfredo Tupone2023-08-022-0/+32