summaryrefslogtreecommitdiff
path: root/dev-ml
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/cmdliner: add 1.2.0Alfredo Tupone2023-07-162-0/+43
* dev-ml/llvm-ocaml: Remove oldMichał Górny2023-07-142-114/+0
* dev-ml/dune-site: add 3.9.1Alfredo Tupone2023-07-112-0/+32
* dev-ml/dune-private-libs: add 3.9.1Alfredo Tupone2023-07-112-0/+37
* dev-ml/stdune: add 3.9.1Alfredo Tupone2023-07-112-0/+37
* dev-ml/dyn: add 3.9.1Alfredo Tupone2023-07-112-0/+32
* dev-ml/ordering: add 3.9.1Alfredo Tupone2023-07-112-0/+31
* dev-ml/dune-configurator: add 3.9.1Alfredo Tupone2023-07-112-0/+40
* dev-ml/dune-build-info: add 3.9.1Alfredo Tupone2023-07-112-0/+29
* dev-ml/dune: add 3.9.1Alfredo Tupone2023-07-112-0/+69
* dev-ml/atd: add 2.12.0Alfredo Tupone2023-07-112-0/+42
* dev-ml/llvm-ocaml: Remove 17.0.0_pre20230630Michał Górny2023-07-112-113/+0
* dev-ml/timezone: wrong RDEPEND spellingAlfredo Tupone2023-07-091-1/+1
* dev-ml/reason: add dune-build-info depAlfredo Tupone2023-07-081-0/+1
* dev-ml/alcotest: require 0.15 subslot of core_unixAlfredo Tupone2023-07-081-1/+1
* dev-ml/async: add 0.16.0Alfredo Tupone2023-07-082-0/+35
* dev-ml/textutils: add 0.16.0Alfredo Tupone2023-07-082-0/+27
* dev-ml/textutils_kernel: add 0.16.0Alfredo Tupone2023-07-082-0/+26
* dev-ml/async_unix: add 0.16.0Alfredo Tupone2023-07-082-0/+26
* dev-ml/core_unix: add 0.16.0Alfredo Tupone2023-07-083-0/+50
* dev-ml/timezone: add 0.16.0Alfredo Tupone2023-07-082-0/+23
* dev-ml/async_rpc_kernel: add 0.16.0Alfredo Tupone2023-07-082-0/+24
* dev-ml/protocol_version_header: add 0.16.0Alfredo Tupone2023-07-082-0/+23
* dev-ml/async_kernel: add 0.16.0Alfredo Tupone2023-07-082-0/+24
* dev-ml/llvm-ocaml: Add 17.0.0_pre20230705 snapshotMichał Górny2023-07-052-0/+113
* dev-ml/llvm-ocaml: Remove old snapshotsMichał Górny2023-07-053-226/+0
* dev-ml/dune-configurator: add 3.9.0Alfredo Tupone2023-07-032-0/+40
* dev-ml/dune-site: add 3.9.0Alfredo Tupone2023-07-032-0/+32
* dev-ml/dune-private-libs: add 3.9.0Alfredo Tupone2023-07-032-0/+37
* dev-ml/stdune: add 3.9.0Alfredo Tupone2023-07-032-0/+37
* dev-ml/dune-build-info: add 3.9.0Alfredo Tupone2023-07-032-0/+29
* dev-ml/dyn: add 3.9.0Alfredo Tupone2023-07-032-0/+32
* dev-ml/ordering: add 3.9.0Alfredo Tupone2023-07-032-0/+31
* dev-ml/dune: add 3.9.0Alfredo Tupone2023-07-032-0/+69
* dev-ml/core_kernel: add 0.16.0Alfredo Tupone2023-07-022-0/+59
* dev-ml/expect_test_helpers_core: add 0.16.0Alfredo Tupone2023-07-022-0/+28
* dev-ml/sexp_pretty: add 0.16.0Alfredo Tupone2023-07-022-0/+29
* dev-ml/core: add 0.16.1Alfredo Tupone2023-07-022-0/+44
* dev-ml/base_bigstring: add 0.16.0Alfredo Tupone2023-07-022-0/+23
* dev-ml/int_repr: add 0.16.0Alfredo Tupone2023-07-022-0/+24
* dev-ml/ppx_jane: add 0.16.0Alfredo Tupone2023-07-022-0/+38
* dev-ml/ppx_tydi: new package, add 0.16.0Alfredo Tupone2023-07-023-0/+35
* dev-ml/ppx_string: add 0.16.0Alfredo Tupone2023-07-022-0/+24
* dev-ml/ppx_stable: add 0.16.0Alfredo Tupone2023-07-022-0/+24
* dev-ml/ppx_module_timer: add 0.16.0Alfredo Tupone2023-07-022-0/+24
* dev-ml/ppx_ignore_instrumentation: add 0.16.0Alfredo Tupone2023-07-022-0/+20
* dev-ml/ppx_fixed_literal: add 0.16.0Alfredo Tupone2023-07-022-0/+24
* dev-ml/ppx_disable_unused_warnings: add 0.16.0Alfredo Tupone2023-07-022-0/+22
* dev-ml/ppx_bin_prot: add 0.16.0Alfredo Tupone2023-07-022-0/+28
* dev-ml/bin_prot: add 0.16.0Alfredo Tupone2023-07-022-0/+31