| Commit message (Expand) | Author | Age | Files | Lines |
* | dev-ml/re: bump to 1.11.0 | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2023-12-27 | 2 | -0/+47 |
* | dev-ml/re: drop old 1.10.3 | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2023-12-27 | 2 | -26/+0 |
* | dev-ml/re: drop old 1.9.0 | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2023-12-27 | 2 | -26/+0 |
* | dev-ml/llvm-ocaml: Remove LLVM 14 | ![](//www.gravatar.com/avatar/ff5429ef741b434eb2011692832f810e?s=13&d=retro) Michał Górny | 2023-12-22 | 2 | -117/+0 |
* | dev-ml/llvm-ocaml: Remove old | ![](//www.gravatar.com/avatar/ff5429ef741b434eb2011692832f810e?s=13&d=retro) Michał Górny | 2023-12-22 | 3 | -224/+0 |
* | dev-ml/llvm-ocaml: Add 18.0.0_pre20231222 snapshot | ![](//www.gravatar.com/avatar/ff5429ef741b434eb2011692832f810e?s=13&d=retro) Michał Górny | 2023-12-22 | 2 | -0/+112 |
* | dev-ml/opam-format: Stabilize 2.0.10 ppc64, #896100 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2023-12-22 | 1 | -1/+1 |
* | dev-ml/opam-client: Stabilize 2.0.10 ppc64, #896100 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2023-12-22 | 1 | -1/+1 |
* | dev-ml/opam: Stabilize 2.0.10-r1 ppc64, #896100 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2023-12-22 | 1 | -1/+1 |
* | dev-ml/opam-state: Stabilize 2.0.10 ppc64, #896100 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2023-12-22 | 1 | -1/+1 |
* | dev-ml/opam-solver: Stabilize 2.0.10 ppc64, #896100 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2023-12-22 | 1 | -1/+1 |
* | dev-ml/opam-repository: Stabilize 2.0.10 ppc64, #896100 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2023-12-22 | 1 | -1/+1 |
* | dev-ml/opam-installer: Stabilize 2.0.10-r1 ppc64, #896100 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2023-12-22 | 1 | -1/+1 |
* | dev-ml/opam-core: Stabilize 2.0.10 ppc64, #896100 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2023-12-22 | 1 | -1/+1 |
* | dev-ml/memtrace: remove leading whitespace | ![](//www.gravatar.com/avatar/e41d23b7c6e57e8429f31ec2f6984955?s=13&d=retro) Michael Mair-Keimberger | 2023-12-17 | 1 | -1/+1 |
* | dev-ml/llvm-ocaml: Add 18.0.0_pre20231215 snapshot | ![](//www.gravatar.com/avatar/ff5429ef741b434eb2011692832f810e?s=13&d=retro) Michał Górny | 2023-12-15 | 2 | -0/+112 |
* | dev-ml/llvm-ocaml: Remove old | ![](//www.gravatar.com/avatar/ff5429ef741b434eb2011692832f810e?s=13&d=retro) Michał Górny | 2023-12-09 | 2 | -114/+0 |
* | dev-ml/opam: Stabilize 2.0.10-r1 arm64, #896100 | ![](//www.gravatar.com/avatar/7a2f9f530d0fdb6c29f1d4aed558539a?s=13&d=retro) Matoro Mahri | 2023-12-07 | 1 | -1/+1 |
* | dev-ml/opam-client: Stabilize 2.0.10 arm64, #896100 | ![](//www.gravatar.com/avatar/7a2f9f530d0fdb6c29f1d4aed558539a?s=13&d=retro) Matoro Mahri | 2023-12-07 | 1 | -1/+1 |
* | dev-ml/opam-state: Stabilize 2.0.10 arm64, #896100 | ![](//www.gravatar.com/avatar/7a2f9f530d0fdb6c29f1d4aed558539a?s=13&d=retro) Matoro Mahri | 2023-12-07 | 1 | -1/+1 |
* | dev-ml/opam-solver: Stabilize 2.0.10 arm64, #896100 | ![](//www.gravatar.com/avatar/7a2f9f530d0fdb6c29f1d4aed558539a?s=13&d=retro) Matoro Mahri | 2023-12-07 | 1 | -1/+1 |
* | dev-ml/opam-repository: Stabilize 2.0.10 arm64, #896100 | ![](//www.gravatar.com/avatar/7a2f9f530d0fdb6c29f1d4aed558539a?s=13&d=retro) Matoro Mahri | 2023-12-07 | 1 | -1/+1 |
* | dev-ml/opam-installer: Stabilize 2.0.10-r1 arm64, #896100 | ![](//www.gravatar.com/avatar/7a2f9f530d0fdb6c29f1d4aed558539a?s=13&d=retro) Matoro Mahri | 2023-12-07 | 1 | -1/+1 |
* | dev-ml/opam-format: Stabilize 2.0.10 arm64, #896100 | ![](//www.gravatar.com/avatar/7a2f9f530d0fdb6c29f1d4aed558539a?s=13&d=retro) Matoro Mahri | 2023-12-07 | 1 | -1/+1 |
* | dev-ml/opam-core: Stabilize 2.0.10 arm64, #896100 | ![](//www.gravatar.com/avatar/7a2f9f530d0fdb6c29f1d4aed558539a?s=13&d=retro) Matoro Mahri | 2023-12-07 | 1 | -1/+1 |
* | dev-ml/ocaml-gettext-stub: Keyword 0.4.2-r2 ppc64, #892954 | ![](//www.gravatar.com/avatar/7c3755d199857c933a5213fe17c3e9db?s=13&d=retro) Arthur Zamarin | 2023-12-02 | 1 | -1/+1 |
* | dev-ml/ocaml-gettext: Keyword 0.4.2-r1 ppc64, #892954 | ![](//www.gravatar.com/avatar/7c3755d199857c933a5213fe17c3e9db?s=13&d=retro) Arthur Zamarin | 2023-12-02 | 1 | -1/+1 |
* | dev-ml/ocaml-fileutils: Keyword 0.6.4-r1 ppc64, #892954 | ![](//www.gravatar.com/avatar/7c3755d199857c933a5213fe17c3e9db?s=13&d=retro) Arthur Zamarin | 2023-12-02 | 1 | -1/+1 |
* | dev-ml/llvm-ocaml: Add 18.0.0_pre20231129 snapshot | ![](//www.gravatar.com/avatar/ff5429ef741b434eb2011692832f810e?s=13&d=retro) Michał Górny | 2023-11-29 | 2 | -0/+112 |
* | dev-ml/llvm-ocaml: Bump to 17.0.6 | ![](//www.gravatar.com/avatar/ff5429ef741b434eb2011692832f810e?s=13&d=retro) Michał Górny | 2023-11-29 | 2 | -0/+114 |
* | dev-ml/llvm-ocaml: Remove old | ![](//www.gravatar.com/avatar/ff5429ef741b434eb2011692832f810e?s=13&d=retro) Michał Górny | 2023-11-25 | 4 | -338/+0 |
* | dev-ml/llvm-ocaml: Add 18.0.0_pre20231119 snapshot | ![](//www.gravatar.com/avatar/ff5429ef741b434eb2011692832f810e?s=13&d=retro) Michał Górny | 2023-11-19 | 2 | -0/+112 |
* | dev-ml/llvm-ocaml: Bump to 17.0.5 | ![](//www.gravatar.com/avatar/ff5429ef741b434eb2011692832f810e?s=13&d=retro) Michał Górny | 2023-11-14 | 2 | -0/+114 |
* | dev-ml/llvm-ocaml: Remove 17.0.4.9999 (live) | ![](//www.gravatar.com/avatar/ff5429ef741b434eb2011692832f810e?s=13&d=retro) Michał Górny | 2023-11-14 | 1 | -111/+0 |
* | dev-ml/llvm-ocaml: Add 18.0.0_pre20231111 snapshot | ![](//www.gravatar.com/avatar/ff5429ef741b434eb2011692832f810e?s=13&d=retro) Michał Górny | 2023-11-11 | 2 | -0/+112 |
* | dev-ml/llvm-ocaml: Remove old | ![](//www.gravatar.com/avatar/ff5429ef741b434eb2011692832f810e?s=13&d=retro) Michał Górny | 2023-11-11 | 5 | -450/+0 |
* | dev-ml/llvm-ocaml: Add 18.0.0_pre20231104 snapshot | ![](//www.gravatar.com/avatar/ff5429ef741b434eb2011692832f810e?s=13&d=retro) Michał Górny | 2023-11-04 | 2 | -0/+112 |
* | dev-ml/yojson: bump to 2.1.1 | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2023-11-02 | 3 | -0/+54 |
* | dev-ml/yojson: drop old 2.0.2-r3 | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2023-11-02 | 2 | -45/+0 |
* | dev-ml/yojson: drop old 1.7.0 | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2023-11-02 | 2 | -37/+0 |
* | dev-ml/gapi-ocaml: patch cleanup | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2023-11-02 | 1 | -58/+0 |
* | dev-ml/gapi-ocaml: drop old 0.4.3 | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2023-11-02 | 2 | -33/+0 |
* | dev-ml/gapi-ocaml: drop old 0.4.2-r1 | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2023-11-02 | 2 | -34/+0 |
* | dev-ml/ounit2: bump to 2.2.7 | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2023-11-02 | 3 | -0/+48 |
* | dev-ml/ounit2: drop old 2.2.4 | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2023-11-02 | 2 | -23/+0 |
* | dev-ml/ounit2: drop old 2.2.3 | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2023-11-02 | 2 | -23/+0 |
* | dev-ml/fix: bump to 20230505 | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2023-11-02 | 2 | -0/+17 |
* | dev-ml/fix: drop old 20211125 | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2023-11-02 | 2 | -17/+0 |
* | dev-ml/atd: drop old 2.11.0 | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2023-11-02 | 2 | -42/+0 |
* | dev-ml/atd: drop old 2.10.0 | ![](//www.gravatar.com/avatar/bffdcbbb8835c4081a88052c7b4a785f?s=13&d=retro) Maciej Barć | 2023-11-02 | 2 | -40/+0 |