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