summaryrefslogtreecommitdiff
path: root/dev-ml
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/llvm-ocaml: Bump to 14.0.0_rc4Michał Górny2022-03-122-0/+113
* dev-ml/ocurl: Stabilize 0.9.2 arm64, #833693Jakov Smolić2022-03-101-1/+1
* dev-ml/lablgl: force serial buildSam James2022-03-101-0/+3
* dev-ml/reason: bump to 3.8.0Maciej Barć2022-03-092-0/+38
* dev-ml/uutf: bump to 1.0.3Maciej Barć2022-03-082-0/+67
* dev-ml/ounit2: bump to 2.2.6Maciej Barć2022-03-082-0/+27
* dev-ml/llvm-ocaml: Remove 14.0.0_rc1Michał Górny2022-03-062-113/+0
* dev-ml/lablgtk: add 2.18.12Sam James2022-03-053-0/+155
* dev-ml/ppx_import: new package; add 1.9.1Maciej Barć2022-03-054-0/+53
* dev-ml/num: destabilise for ppcSam James2022-03-032-3/+3
* dev-ml/findlib: destabilise for ppcSam James2022-03-031-1/+1
* dev-ml/extlib: destabilise for ppcSam James2022-03-032-4/+4
* dev-ml/ocaml-autoconf: destabilise for ppcSam James2022-03-031-2/+2
* dev-ml/camomile: destabilise for ppcSam James2022-03-031-2/+2
* dev-ml/zarith: destabilise for ppcSam James2022-03-031-2/+2
* dev-ml/xml-light: destabilise for ppcSam James2022-03-031-2/+2
* dev-ml/variantslib: destabilise for ppcSam James2022-03-031-2/+2
* dev-ml/uutf: destabilise for ppcSam James2022-03-032-4/+4
* dev-ml/uuidm: destabilise for ppcSam James2022-03-031-2/+2
* dev-ml/uchar: destabilise for ppcSam James2022-03-031-2/+2
* dev-ml/typerep: destabilise for ppcSam James2022-03-031-2/+2
* dev-ml/topkg: destabilise for ppcSam James2022-03-031-2/+2
* dev-ml/timezone: destabilise for ppcSam James2022-03-031-1/+1
* dev-ml/time_now: destabilise for ppcSam James2022-03-031-2/+2
* dev-ml/textutils: destabilise for ppcSam James2022-03-031-2/+2
* dev-ml/stdlib-shims: destabilise for ppcSam James2022-03-032-3/+3
* dev-ml/stdio: destabilise for ppcSam James2022-03-031-2/+2
* dev-ml/splittable_random: destabilise for ppcSam James2022-03-031-2/+2
* dev-ml/spawn: destabilise for ppcSam James2022-03-031-2/+2
* dev-ml/sexplib: destabilise for ppcSam James2022-03-031-2/+2
* dev-ml/sexplib0: destabilise for ppcSam James2022-03-031-2/+2
* dev-ml/seq: destabilise for ppcSam James2022-03-032-4/+4
* dev-ml/rresult: destabilise for ppcSam James2022-03-032-4/+4
* dev-ml/result: destabilise for ppcSam James2022-03-031-2/+2
* dev-ml/re: destabilise for ppcSam James2022-03-031-2/+2
* dev-ml/react: destabilise for ppcSam James2022-03-031-2/+2
* dev-ml/ppx_variants_conv: destabilise for ppcSam James2022-03-031-2/+2
* dev-ml/ppx_typerep_conv: destabilise for ppcSam James2022-03-032-4/+4
* dev-ml/ppx_string: destabilise for ppcSam James2022-03-031-2/+2
* dev-ml/ppx_stable: destabilise for ppcSam James2022-03-031-2/+2
* dev-ml/ppx_sexp_value: destabilise for ppcSam James2022-03-031-2/+2
* dev-ml/ppx_sexp_message: destabilise for ppcSam James2022-03-031-2/+2
* dev-ml/ppx_sexp_conv: destabilise for ppcSam James2022-03-033-6/+6
* dev-ml/ppx_pipebang: destabilise for ppcSam James2022-03-031-2/+2
* dev-ml/ppx_optional: destabilise for ppcSam James2022-03-031-2/+2
* dev-ml/ppx_optcomp: destabilise for ppcSam James2022-03-032-4/+4
* dev-ml/ppx_module_timer: destabilise for ppcSam James2022-03-031-2/+2
* dev-ml/ppxlib: destabilise for ppcSam James2022-03-032-4/+4
* dev-ml/ppx_let: destabilise for ppcSam James2022-03-031-2/+2
* dev-ml/ppx_js_style: destabilise for ppcSam James2022-03-031-1/+1