| Commit message (Expand) | Author | Age | Files | Lines |
* | dev-ml/ocplib-simplex: add 0.4.1 | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Alfredo Tupone | 2023-09-02 | 2 | -0/+37 |
* | dev-ml/ocaml-base64: add 3.5.1 | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Alfredo Tupone | 2023-09-02 | 2 | -0/+20 |
* | dev-ml/lwt_ssl: add 1.2.0 | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Alfredo Tupone | 2023-09-02 | 2 | -0/+24 |
* | dev-ml/lwt: add 5.7.0 | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Alfredo Tupone | 2023-09-02 | 2 | -0/+60 |
* | dev-ml/lambda-term: add 3.3.2 | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Alfredo Tupone | 2023-09-02 | 2 | -0/+27 |
* | dev-ml/base: add 0.16.3 | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Alfredo Tupone | 2023-09-02 | 2 | -0/+23 |
* | dev-ml/llvm-ocaml: Add 18.0.0_pre20230829 snapshot | ![](//www.gravatar.com/avatar/ff5429ef741b434eb2011692832f810e?s=13&d=retro) Michał Górny | 2023-08-29 | 2 | -0/+113 |
* | dev-ml/llvm-ocaml: Remove old | ![](//www.gravatar.com/avatar/ff5429ef741b434eb2011692832f810e?s=13&d=retro) Michał Górny | 2023-08-29 | 6 | -567/+0 |
* | dev-ml/merlin: drop old 4.6 | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2023-08-27 | 2 | -109/+0 |
* | dev-ml/merlin: drop old 4.5-r3 | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2023-08-27 | 2 | -101/+0 |
* | dev-ml/merlin: bump to 4.10 | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2023-08-27 | 2 | -0/+100 |
* | dev-ml/reason: drop old 3.8.2 | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2023-08-27 | 2 | -38/+0 |
* | dev-ml/utop: drop old 2.11.0-r1 | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2023-08-27 | 2 | -65/+0 |
* | dev-ml/ptime: bump to 1.1.0 | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2023-08-27 | 2 | -0/+32 |
* | dev-ml/llvm-ocaml: Add 18.0.0_pre20230825 snapshot | ![](//www.gravatar.com/avatar/ff5429ef741b434eb2011692832f810e?s=13&d=retro) Michał Górny | 2023-08-25 | 2 | -0/+113 |
* | dev-ml/llvm-ocaml: Add 17.0.0_rc3 | ![](//www.gravatar.com/avatar/ff5429ef741b434eb2011692832f810e?s=13&d=retro) Michał Górny | 2023-08-23 | 2 | -0/+114 |
* | dev-ml/llvm-ocaml: Add 18.0.0_pre20230820 snapshot | ![](//www.gravatar.com/avatar/ff5429ef741b434eb2011692832f810e?s=13&d=retro) Michał Górny | 2023-08-20 | 2 | -0/+113 |
* | dev-ml/zed: drop old 3.2.1-r2 | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2023-08-20 | 2 | -28/+0 |
* | dev-ml/zed: drop old 3.1.0 | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2023-08-20 | 2 | -23/+0 |
* | dev-ml/zed: bump to 3.2.3 | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2023-08-20 | 2 | -0/+32 |
* | dev-ml/menhir: bump to 20230608 | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2023-08-20 | 2 | -0/+22 |
* | dev-ml/menhir: drop old 20211012 | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2023-08-20 | 2 | -22/+0 |
* | dev-ml/menhir: drop old 20210419-r1 | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2023-08-20 | 2 | -22/+0 |
* | dev-ml/menhir: drop old 20190924 | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2023-08-20 | 2 | -43/+0 |
* | dev-ml/dune-site: Stabilize 2.9.3 arm, #896102 | ![](//www.gravatar.com/avatar/7c3755d199857c933a5213fe17c3e9db?s=13&d=retro) Arthur Zamarin | 2023-08-16 | 1 | -1/+1 |
* | dev-ml/dune-configurator: Stabilize 2.9.3 arm, #896102 | ![](//www.gravatar.com/avatar/7c3755d199857c933a5213fe17c3e9db?s=13&d=retro) Arthur Zamarin | 2023-08-16 | 1 | -1/+1 |
* | dev-ml/dune-private-libs: Stabilize 2.9.3 arm, #896102 | ![](//www.gravatar.com/avatar/7c3755d199857c933a5213fe17c3e9db?s=13&d=retro) Arthur Zamarin | 2023-08-16 | 1 | -1/+1 |
* | dev-ml/dune-build-info: Stabilize 2.9.3 arm, #896102 | ![](//www.gravatar.com/avatar/7c3755d199857c933a5213fe17c3e9db?s=13&d=retro) Arthur Zamarin | 2023-08-16 | 1 | -1/+1 |
* | dev-ml/dune: Stabilize 2.9.3-r3 arm, #896102 | ![](//www.gravatar.com/avatar/7c3755d199857c933a5213fe17c3e9db?s=13&d=retro) Arthur Zamarin | 2023-08-16 | 1 | -1/+1 |
* | dev-ml/merlin: bump to 4.9 | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2023-08-11 | 2 | -0/+100 |
* | dev-ml/ocaml-ctypes: Update the homepage | ![](//www.gravatar.com/avatar/ff5429ef741b434eb2011692832f810e?s=13&d=retro) Michał Górny | 2023-08-10 | 2 | -3/+3 |
* | dev-ml/ocaml-ctypes: Fix installing ctypes-foreign library | ![](//www.gravatar.com/avatar/ff5429ef741b434eb2011692832f810e?s=13&d=retro) Michał Górny | 2023-08-10 | 1 | -0/+4 |
* | dev-ml/llvm-ocaml: Add 18.0.0_pre20230810 snapshot | ![](//www.gravatar.com/avatar/ff5429ef741b434eb2011692832f810e?s=13&d=retro) Michał Górny | 2023-08-10 | 2 | -0/+113 |
* | dev-ml/llvm-ocaml: Add 17.0.0_rc2 | ![](//www.gravatar.com/avatar/ff5429ef741b434eb2011692832f810e?s=13&d=retro) Michał Górny | 2023-08-08 | 2 | -0/+114 |
* | dev-ml/camlp5: add 8.02.00, drop 8.01.00 | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Alfredo Tupone | 2023-08-08 | 2 | -1/+1 |
* | dev-ml/gapi-ocaml: add 0.4.4 | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Alfredo Tupone | 2023-08-07 | 2 | -0/+33 |
* | dev-ml/camlp5: add 8.01.00 | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Alfredo Tupone | 2023-08-06 | 2 | -0/+61 |
* | dev-ml/batteries: add 3.6.1 | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Alfredo Tupone | 2023-08-06 | 2 | -0/+33 |
* | dev-ml/utop: drop old 2.9.2 | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2023-08-05 | 2 | -64/+0 |
* | dev-ml/ocaml-ctypes: fix deps and add dune_pkg_name | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Alfredo Tupone | 2023-08-04 | 1 | -0/+2 |
* | dev-ml/ocaml-ctypes: add 0.21.1, drop 0.21.0 | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Alfredo Tupone | 2023-08-03 | 2 | -1/+1 |
* | dev-ml/ocaml-ctypes: add 0.21.0 | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Alfredo Tupone | 2023-08-03 | 2 | -0/+27 |
* | dev-ml/llvm-ocaml: Add 18.0.0_pre20230803 snapshot | ![](//www.gravatar.com/avatar/ff5429ef741b434eb2011692832f810e?s=13&d=retro) Michał Górny | 2023-08-03 | 2 | -0/+113 |
* | dev-ml/llvm-ocaml: Remove 17.x snapshots | ![](//www.gravatar.com/avatar/ff5429ef741b434eb2011692832f810e?s=13&d=retro) Michał Górny | 2023-08-03 | 2 | -113/+0 |
* | dev-ml/dune-site: add 3.10.0 | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Alfredo Tupone | 2023-08-02 | 2 | -0/+32 |
* | dev-ml/dune-private-libs: add 3.10.0 | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Alfredo Tupone | 2023-08-02 | 2 | -0/+37 |
* | dev-ml/stdune: add 3.10.0 | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Alfredo Tupone | 2023-08-02 | 2 | -0/+37 |
* | dev-ml/dyn: add 3.10.0 | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Alfredo Tupone | 2023-08-02 | 2 | -0/+32 |
* | dev-ml/ordering: add 3.10.0 | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Alfredo Tupone | 2023-08-02 | 2 | -0/+31 |
* | dev-ml/dune-configurator: add 3.10.0 | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Alfredo Tupone | 2023-08-02 | 2 | -0/+40 |