ML – Gentoo Packages

Packages

Get Gentoo!

Latest Commits

Commits on 2023-11-18
- dev-lang/haxe: bump to 4.3.3
  8cf25af
  
  Maciej Barć committed on 2023-11-18 20:36:22 UTC
  
  dev-lang/haxe/haxe-4.3.3.ebuild dev-lang/haxe/Manifest
- dev-lang/haxe: drop old 4.2.5-r2
  fd6ec1e
  
  Maciej Barć committed on 2023-11-18 20:36:22 UTC
  
  dev-lang/haxe/Manifest dev-lang/haxe/haxe-4.2.5-r2.ebuild
Commits on 2023-11-15
- dev-lang/ocaml: remove unused patch
  afa9c35
  
  Michael Mair-Keimberger authored and Alfredo Tupone committed on 2023-11-15 17:26:47 UTC
  
  dev-lang/ocaml/files/ocaml-4.04.2-tinfo.patch
Commits on 2023-11-02
- dev-ml/yojson: bump to 2.1.1
  4954e63
  
  Maciej Barć committed on 2023-11-02 22:11:22 UTC
  
  dev-ml/yojson/files/yojson-2.1.1-dune-seq.patch dev-ml/yojson/yojson-2.1.1.ebuild dev-ml/yojson/Manifest
- dev-ml/yojson: drop old 2.0.2-r3
  2678b5c
  
  Maciej Barć committed on 2023-11-02 22:11:21 UTC
  
  dev-ml/yojson/Manifest dev-ml/yojson/yojson-2.0.2-r3.ebuild
- dev-ml/yojson: drop old 1.7.0
  ea465f8
  
  Maciej Barć committed on 2023-11-02 22:11:21 UTC
  
  dev-ml/yojson/Manifest dev-ml/yojson/yojson-1.7.0.ebuild
- dev-ml/gapi-ocaml: patch cleanup
  a83373f
  
  Maciej Barć committed on 2023-11-02 22:11:21 UTC
  
  dev-ml/gapi-ocaml/files/gapi-ocaml-0.4.2-ounit2.patch
- dev-ml/gapi-ocaml: drop old 0.4.3
  31697a3
  
  Maciej Barć committed on 2023-11-02 22:11:21 UTC
  
  dev-ml/gapi-ocaml/Manifest dev-ml/gapi-ocaml/gapi-ocaml-0.4.3.ebuild
- dev-ml/gapi-ocaml: drop old 0.4.2-r1
  9a6bbba
  
  Maciej Barć committed on 2023-11-02 22:11:20 UTC
  
  dev-ml/gapi-ocaml/Manifest dev-ml/gapi-ocaml/gapi-ocaml-0.4.2-r1.ebuild
- dev-ml/ounit2: bump to 2.2.7
  11b622a
  
  Maciej Barć committed on 2023-11-02 22:11:20 UTC
  
  dev-ml/ounit2/files/ounit2-2.2.7-dune.patch dev-ml/ounit2/ounit2-2.2.7.ebuild dev-ml/ounit2/Manifest
- dev-ml/ounit2: drop old 2.2.4
  55e327d
  
  Maciej Barć committed on 2023-11-02 22:11:20 UTC
  
  dev-ml/ounit2/Manifest dev-ml/ounit2/ounit2-2.2.4.ebuild
- dev-ml/ounit2: drop old 2.2.3
  e822f92
  
  Maciej Barć committed on 2023-11-02 22:11:20 UTC
  
  dev-ml/ounit2/Manifest dev-ml/ounit2/ounit2-2.2.3.ebuild
- dev-ml/fix: bump to 20230505
  d20e4d9
  
  Maciej Barć committed on 2023-11-02 22:11:20 UTC
  
  dev-ml/fix/fix-20230505.ebuild dev-ml/fix/Manifest
- dev-ml/fix: drop old 20211125
  7366c07
  
  Maciej Barć committed on 2023-11-02 22:11:19 UTC
  
  dev-ml/fix/Manifest dev-ml/fix/fix-20211125.ebuild
- dev-ml/atd: drop old 2.11.0
  dc3bf94
  
  Maciej Barć committed on 2023-11-02 22:11:19 UTC
  
  dev-ml/atd/Manifest dev-ml/atd/atd-2.11.0.ebuild
- dev-ml/atd: drop old 2.10.0
  71fc16e
  
  Maciej Barć committed on 2023-11-02 22:11:19 UTC
  
  dev-ml/atd/Manifest dev-ml/atd/atd-2.10.0.ebuild
- dev-ml/atd: bump to 2.15.0
  461551e
  
  Maciej Barć committed on 2023-11-02 22:11:19 UTC
  
  dev-ml/atd/atd-2.15.0.ebuild dev-ml/atd/Manifest
- sci-mathematics/proverif: require ocamlopt
  49db8fd
  
  Maciej Barć committed on 2023-11-02 22:11:18 UTC
  
  sci-mathematics/proverif/proverif-2.04-r1.ebuild sci-mathematics/proverif/proverif-9999.ebuild sci-mathematics/proverif/proverif-2.04.ebuild
Commits on 2023-10-28
- dev-lang/ocaml: drop 4.05.0-r9
  da16ce0
  
  John Helmert III authored and Sam James committed on 2023-10-28 00:24:09 UTC
  
  dev-lang/ocaml/Manifest dev-lang/ocaml/ocaml-4.05.0-r9.ebuild
- dev-ml/camlp4: drop 4.05_p1-r2 (requires old ocaml)
  d8b1198
  
  John Helmert III authored and Sam James committed on 2023-10-28 00:24:08 UTC
  
  dev-ml/camlp4/Manifest dev-ml/camlp4/camlp4-4.05_p1-r2.ebuild
- dev-ml/ocamlbuild: drop 0.11.0 (requires old ocaml)
  90a6d8b
  
  John Helmert III authored and Sam James committed on 2023-10-28 00:24:08 UTC
  
  dev-ml/ocamlbuild/Manifest dev-ml/ocamlbuild/ocamlbuild-0.11.0.ebuild
Commits on 2023-10-09
- dev-ml/merlin: drop old 4.9
  cd32fe5
  
  Maciej Barć committed on 2023-10-09 07:34:12 UTC
  
  dev-ml/merlin/Manifest dev-ml/merlin/merlin-4.9.ebuild
- dev-ml/merlin: bump to 4.12
  afa2872
  
  Maciej Barć committed on 2023-10-09 07:31:59 UTC
  
  dev-ml/merlin/merlin-4.12.ebuild dev-ml/merlin/Manifest
Commits on 2023-10-08
- dev-ml/luv: Stabilize 0.5.11-r2 arm, #915368
  41a78dc
  
  Sam James committed on 2023-10-08 20:15:44 UTC
  
  dev-ml/luv/luv-0.5.11-r2.ebuild
- dev-ml/lwt: Stabilize 5.7.0 arm, #915368
  efc7400
  
  Sam James committed on 2023-10-08 20:15:43 UTC
  
  dev-ml/lwt/lwt-5.7.0.ebuild
- dev-ml/ppxlib: Stabilize 0.30.0 arm64, #915372
  35956a1
  
  Arthur Zamarin committed on 2023-10-08 17:42:15 UTC
  
  dev-ml/ppxlib/ppxlib-0.30.0.ebuild
- dev-ml/ppxlib: Stabilize 0.30.0 arm, #915372
  89b6333
  
  Arthur Zamarin committed on 2023-10-08 17:41:53 UTC
  
  dev-ml/ppxlib/ppxlib-0.30.0.ebuild
- dev-ml/mtime: Stabilize 2.0.0 arm, #915370
  edba68c
  
  Arthur Zamarin committed on 2023-10-08 17:41:52 UTC
  
  dev-ml/mtime/mtime-2.0.0.ebuild
- dev-ml/mtime: Stabilize 2.0.0 arm64, #915370
  d1b2e31
  
  Arthur Zamarin committed on 2023-10-08 17:41:51 UTC
  
  dev-ml/mtime/mtime-2.0.0.ebuild
- dev-ml/luv: Stabilize 0.5.11-r2 arm64, #915368
  c2ddf69
  
  Arthur Zamarin committed on 2023-10-08 17:41:51 UTC
  
  dev-ml/luv/luv-0.5.11-r2.ebuild
- dev-ml/lwt: Stabilize 5.7.0 arm64, #915368
  52340de
  
  Arthur Zamarin committed on 2023-10-08 17:41:50 UTC
  
  dev-ml/lwt/lwt-5.7.0.ebuild
- dev-ml/luv: Stabilize 0.5.11-r2 x86, #915368
  eb302ef
  
  Arthur Zamarin committed on 2023-10-08 17:41:49 UTC
  
  dev-ml/luv/luv-0.5.11-r2.ebuild
- dev-ml/lwt: Stabilize 5.7.0 x86, #915368
  6375bc5
  
  Arthur Zamarin committed on 2023-10-08 17:41:49 UTC
  
  dev-ml/lwt/lwt-5.7.0.ebuild
- dev-ml/lwt: Stabilize 5.7.0 amd64, #915368
  3a9fd42
  
  Arthur Zamarin committed on 2023-10-08 16:20:16 UTC
  
  dev-ml/lwt/lwt-5.7.0.ebuild
- dev-ml/yojson: Stabilize 2.1.0 amd64, #915373
  1327241
  
  Arthur Zamarin committed on 2023-10-08 15:29:25 UTC
  
  dev-ml/yojson/yojson-2.1.0.ebuild
- dev-ml/ppxlib: Stabilize 0.30.0 ppc64, #915372
  accbffc
  
  Arthur Zamarin committed on 2023-10-08 15:29:24 UTC
  
  dev-ml/ppxlib/ppxlib-0.30.0.ebuild
- dev-ml/ppxlib: Stabilize 0.30.0 x86, #915372
  54011bd
  
  Arthur Zamarin committed on 2023-10-08 15:29:23 UTC
  
  dev-ml/ppxlib/ppxlib-0.30.0.ebuild
- dev-ml/ppxlib: Stabilize 0.30.0 amd64, #915372
  b0c1038
  
  Arthur Zamarin committed on 2023-10-08 15:29:22 UTC
  
  dev-ml/ppxlib/ppxlib-0.30.0.ebuild
- dev-ml/ocplib-simplex: Stabilize 0.4.1 amd64, #915371
  aea883b
  
  Arthur Zamarin committed on 2023-10-08 15:29:21 UTC
  
  dev-ml/ocplib-simplex/ocplib-simplex-0.4.1.ebuild
- dev-ml/mtime: Stabilize 2.0.0 ppc64, #915370
  d9adb2d
  
  Arthur Zamarin committed on 2023-10-08 15:29:21 UTC
  
  dev-ml/mtime/mtime-2.0.0.ebuild
- dev-ml/mtime: Stabilize 2.0.0 x86, #915370
  b3340f0
  
  Arthur Zamarin committed on 2023-10-08 15:29:20 UTC
  
  dev-ml/mtime/mtime-2.0.0.ebuild
- dev-ml/mtime: Stabilize 2.0.0 amd64, #915370
  8c916b2
  
  Arthur Zamarin committed on 2023-10-08 15:29:19 UTC
  
  dev-ml/mtime/mtime-2.0.0.ebuild
- dev-ml/menhir: Stabilize 20230608 arm64, #915369
  1c97a0c
  
  Arthur Zamarin committed on 2023-10-08 15:29:18 UTC
  
  dev-ml/menhir/menhir-20230608.ebuild
- dev-ml/menhir: Stabilize 20230608 ppc64, #915369
  000f438
  
  Arthur Zamarin committed on 2023-10-08 15:29:18 UTC
  
  dev-ml/menhir/menhir-20230608.ebuild
- dev-ml/menhir: Stabilize 20230608 x86, #915369
  325f3f4
  
  Arthur Zamarin committed on 2023-10-08 15:29:17 UTC
  
  dev-ml/menhir/menhir-20230608.ebuild
- dev-ml/menhir: Stabilize 20230608 arm, #915369
  c7cf067
  
  Arthur Zamarin committed on 2023-10-08 15:29:16 UTC
  
  dev-ml/menhir/menhir-20230608.ebuild
- dev-ml/menhir: Stabilize 20230608 amd64, #915369
  958b4f4
  
  Arthur Zamarin committed on 2023-10-08 15:29:15 UTC
  
  dev-ml/menhir/menhir-20230608.ebuild
- dev-ml/luv: Stabilize 0.5.12 amd64, #915367
  f7b7d75
  
  Arthur Zamarin committed on 2023-10-08 15:29:15 UTC
  
  dev-ml/luv/luv-0.5.12.ebuild
Commits on 2023-10-01
- sci-mathematics/alt-ergo: remove unused patch
  c370c4c
  
  Michael Mair-Keimberger authored and Maciej Barć committed on 2023-10-01 15:37:29 UTC
  
  sci-mathematics/alt-ergo/files/alt-ergo-2.4.2-dune.patch
Commits on 2023-09-30
- sci-mathematics/easycrypt: bump to 2023.09
  3c174a5
  
  Maciej Barć committed on 2023-09-30 14:33:59 UTC
  
  sci-mathematics/easycrypt/easycrypt-2023.09.ebuild sci-mathematics/easycrypt/Manifest