François-Xavier Carton – Gentoo Packages

Packages

Get Gentoo!

Latest Commits

Commits on 2025-10-08
- sci-mathematics/why3: dev-lang/ocaml dep redundant
  88a4f3c
  Alfredo Tupone committed on 2025-10-08 17:20:42 UTC
  sci-mathematics/why3/why3-1.6.0.ebuildsci-mathematics/why3/why3-1.7.2.ebuildsci-mathematics/why3/why3-1.8.0.ebuildsci-mathematics/why3/why3-1.8.1.ebuildsci-mathematics/why3/why3-1.8.2.ebuild
Commits on 2025-09-27
- sci-mathematics/why3: bump to 1.8.2
  8fec647
  Maciej Barć committed on 2025-09-27 20:56:12 UTC
  sci-mathematics/why3/why3-1.8.2.ebuildsci-mathematics/why3/Manifest
- dev-ml/biniou: dev-lang/ocaml-4.02.3 has gone
  34b3d8f
  Alfredo Tupone committed on 2025-09-27 15:53:52 UTC
  dev-ml/biniou/biniou-1.2.2-r1.ebuild
Commits on 2025-07-14
- dev-ml/yojson: bump to 3.0.0
  8762e54
  Maciej Barć committed on 2025-07-14 21:13:09 UTC
  dev-ml/yojson/yojson-3.0.0.ebuilddev-ml/yojson/Manifest
- dev-ml/yojson: drop old 2.2.1
  9fff385
  Maciej Barć committed on 2025-07-14 21:13:09 UTC
  dev-ml/yojson/Manifestdev-ml/yojson/files/yojson-2.0.2-dune-seq.patchdev-ml/yojson/yojson-2.2.1.ebuild
- dev-ml/yojson: drop old 2.1.1
  486455b
  Maciej Barć committed on 2025-07-14 21:13:09 UTC
  dev-ml/yojson/Manifestdev-ml/yojson/yojson-2.1.1.ebuild
- dev-ml/yojson: drop old 2.1.0
  fd95c7f
  Maciej Barć committed on 2025-07-14 21:13:08 UTC
  dev-ml/yojson/Manifestdev-ml/yojson/yojson-2.1.0.ebuild
Commits on 2025-07-09
- sci-mathematics/why3: bump to 1.8.1
  8cdcd95
  Maciej Barć committed on 2025-07-09 21:48:01 UTC
  sci-mathematics/why3/why3-1.8.1.ebuildsci-mathematics/why3/Manifest
Commits on 2025-05-30
- dev-ml/biniou: drop 1.2.1, EAPI=7--
  8f3c241
  Arthur Zamarin committed on 2025-05-30 20:11:27 UTC
  dev-ml/biniou/Manifestdev-ml/biniou/biniou-1.2.1.ebuild
Commits on 2025-04-09
- sci-mathematics/why3: fix with ocaml-5
  1ad8039
  Alfredo Tupone committed on 2025-04-09 19:58:05 UTC
  sci-mathematics/why3/why3-1.7.2.ebuild
Commits on 2025-02-19
- dev-ml/yojson: Stabilize 2.2.2-r1 amd64, #949941
  c850574
  Arthur Zamarin committed on 2025-02-19 07:32:18 UTC
  dev-ml/yojson/yojson-2.2.2-r1.ebuild
Commits on 2025-02-16
- sci-mathematics/why3: bump to 1.8.0
  bc98757
  Maciej Barć committed on 2025-02-16 22:35:16 UTC
  sci-mathematics/why3/why3-1.8.0.ebuildsci-mathematics/why3/Manifest
Commits on 2024-12-31
- sci-mathematics/why3: update HOMEPAGE
  31463d3
  Sam James committed on 2024-12-31 16:53:37 UTC
  sci-mathematics/why3/why3-1.6.0.ebuildsci-mathematics/why3/why3-1.7.2.ebuild
Commits on 2024-11-24
- dev-ml/yojson: Keyword 2.2.2-r1 riscv, #944753
  00bafde
  Jakov Smolić committed on 2024-11-24 22:16:29 UTC
  dev-ml/yojson/yojson-2.2.2-r1.ebuild
- dev-ml/yojson: Keyword 2.2.2-r1 x86, #944753
  5e9159b
  Jakov Smolić committed on 2024-11-24 15:47:29 UTC
  dev-ml/yojson/yojson-2.2.2-r1.ebuild
Commits on 2024-11-23
- dev-ml/yojson: Keyword 2.2.2-r1 arm, #944753
  458d70e
  Sam James committed on 2024-11-23 21:25:12 UTC
  dev-ml/yojson/yojson-2.2.2-r1.ebuild
- dev-ml/yojson: Keyword 2.2.2-r1 arm64, #944753
  2ef69c6
  Sam James committed on 2024-11-23 21:07:07 UTC
  dev-ml/yojson/yojson-2.2.2-r1.ebuild
Commits on 2024-11-20
- sci-mathematics/why3: Fix sa_handler signature
  4a95491
  Alfredo Tupone committed on 2024-11-20 21:45:10 UTC
  sci-mathematics/why3/files/why3-1.7.2-signum.patchsci-mathematics/why3/why3-1.7.2.ebuild
Commits on 2024-11-19
- sci-mathematics/why3: add 1.7.2
  9ed530d
  Alfredo Tupone committed on 2024-11-19 20:03:14 UTC
  sci-mathematics/why3/why3-1.7.2.ebuildsci-mathematics/why3/Manifest
Commits on 2024-10-20
- dev-ml/yojson: Stabilize 2.2.1 amd64, #941858
  44ea99f
  Sam James committed on 2024-10-20 04:45:32 UTC
  dev-ml/yojson/yojson-2.2.1.ebuild
Commits on 2024-10-12
- dev-ml/yojson: fix deps
  8ea853c
  Alfredo Tupone committed on 2024-10-12 20:59:56 UTC
  dev-ml/yojson/yojson-2.2.2-r1.ebuilddev-ml/yojson/yojson-2.2.2.ebuild
Commits on 2024-07-13
- dev-ml/yojson: add 2.2.2
  8890c71
  Alfredo Tupone committed on 2024-07-13 11:51:13 UTC
  dev-ml/yojson/yojson-2.2.2.ebuilddev-ml/yojson/Manifest
Commits on 2024-06-24
- dev-ml/yojson: add 2.2.1
  1c3bb69
  Alfredo Tupone committed on 2024-06-24 16:11:16 UTC
  dev-ml/yojson/yojson-2.2.1.ebuilddev-ml/yojson/Manifest
Commits on 2024-02-15
- dev-ml/yojson: Stabilize 2.1.1 amd64, #924579
  624b83b
  Sam James committed on 2024-02-15 13:55:05 UTC
  dev-ml/yojson/yojson-2.1.1.ebuild
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.patchdev-ml/yojson/yojson-2.1.1.ebuilddev-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/Manifestdev-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/Manifestdev-ml/yojson/yojson-1.7.0.ebuild
Commits on 2023-10-08
- 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
Commits on 2023-07-15
- sci-mathematics/why3: drop old 1.5.1
  0eb4191
  Maciej Barć committed on 2023-07-15 22:17:02 UTC
  sci-mathematics/why3/Manifestsci-mathematics/why3/why3-1.5.1.ebuild
- sci-mathematics/why3: drop old 1.4.1-r1
  8172b96
  Maciej Barć committed on 2023-07-15 22:17:01 UTC
  sci-mathematics/why3/Manifestsci-mathematics/why3/why3-1.4.1-r1.ebuild
Commits on 2023-05-16
- dev-ml/yojson: clean patch
  a786138
  Maciej Barć committed on 2023-05-16 15:44:23 UTC
  dev-ml/yojson/files/yojson-2.0.2-dune-seq.patch
- dev-ml/yojson: bump to 2.1.0
  ba25d6b
  Maciej Barć committed on 2023-05-16 15:44:23 UTC
  dev-ml/yojson/yojson-2.1.0.ebuilddev-ml/yojson/Manifest
Commits on 2023-04-01
- sci-mathematics/why3: drop old 1.5.0-r1
  55c35b5
  Maciej Barć committed on 2023-04-01 22:35:48 UTC
  sci-mathematics/why3/Manifestsci-mathematics/why3/why3-1.5.0-r1.ebuild
- sci-mathematics/why3: drop old 1.4.0-r3
  c369073
  Maciej Barć committed on 2023-04-01 22:35:47 UTC
  sci-mathematics/why3/Manifestsci-mathematics/why3/why3-1.4.0-r3.ebuild
- sci-mathematics/why3: bump to 1.6.0
  ee8a6c7
  Maciej Barć committed on 2023-04-01 22:35:47 UTC
  sci-mathematics/why3/why3-1.6.0.ebuildsci-mathematics/why3/Manifest
- dev-ml/yojson: amd64 stable
  cb7f835
  Alfredo Tupone committed on 2023-04-01 20:53:52 UTC
  dev-ml/yojson/yojson-1.7.0.ebuilddev-ml/yojson/yojson-2.0.2-r3.ebuild
- dev-ml/biniou: amd64 stable
  a40135d
  Alfredo Tupone committed on 2023-04-01 20:51:58 UTC
  dev-ml/biniou/biniou-1.2.1.ebuilddev-ml/biniou/biniou-1.2.2-r1.ebuild
Commits on 2022-11-26
- dev-ml/yojson: drop 2.0.0
  3df6959
  Alfredo Tupone committed on 2022-11-26 15:09:23 UTC
  dev-ml/yojson/Manifestdev-ml/yojson/yojson-2.0.0.ebuild
Commits on 2022-10-26
- dev-ml/yojson: patch dune/META seq dependency
  2ab6fbb
  Maciej Barć committed on 2022-10-26 22:04:34 UTC
  dev-ml/yojson/files/yojson-2.0.2-dune-seq.patchdev-ml/yojson/yojson-2.0.2-r3.ebuilddev-ml/yojson/yojson-2.0.2-r2.ebuild
Commits on 2022-10-23
- dev-ml/yojson: hard block seq lower than 0.3
  57238c8
  Maciej Barć committed on 2022-10-23 09:27:19 UTC
  dev-ml/yojson/yojson-2.0.2-r2.ebuilddev-ml/yojson/yojson-2.0.2-r1.ebuild
Commits on 2022-10-20
- dev-ml/yojson: do not use dev-ml/seq
  47194ba
  Alfredo Tupone committed on 2022-10-20 14:57:45 UTC
  dev-ml/yojson/yojson-2.0.2-r1.ebuild
Commits on 2022-09-23
- dev-ml/yojson: 2.0.2 - depend on ocaml >=4.07 instead of seq
  19ced23
  Maciej Barć committed on 2022-09-23 23:52:39 UTC
  dev-ml/yojson/yojson-2.0.2-r1.ebuilddev-ml/yojson/yojson-2.0.2.ebuild
- dev-ml/yojson: bump to 2.0.2
  b6e876f
  Maciej Barć committed on 2022-09-23 00:09:40 UTC
  dev-ml/yojson/yojson-2.0.2.ebuilddev-ml/yojson/Manifest
Commits on 2022-09-19
- sci-mathematics/why3: bump to 1.5.1
  0e667f1
  Maciej Barć committed on 2022-09-19 18:59:23 UTC
  sci-mathematics/why3/why3-1.5.1.ebuildsci-mathematics/why3/Manifest
Commits on 2022-09-06
- dev-ml/biniou: add missing camlp-streams dependency
  86823fd
  Maciej Barć committed on 2022-09-06 22:36:34 UTC
  dev-ml/biniou/biniou-1.2.2-r1.ebuilddev-ml/biniou/biniou-1.2.2.ebuild
- dev-ml/biniou: bump to 1.2.2
  e82666b
  Maciej Barć committed on 2022-09-06 15:39:44 UTC
  dev-ml/biniou/biniou-1.2.2.ebuilddev-ml/biniou/Manifest
Commits on 2022-07-26
- sci-mathematics/why3: use https
  5c16384
  Michael Mair-Keimberger authored and Alfredo Tupone committed on 2022-07-26 19:54:10 UTC
  sci-mathematics/why3/why3-1.4.0-r3.ebuildsci-mathematics/why3/why3-1.4.1-r1.ebuildsci-mathematics/why3/why3-1.5.0-r1.ebuild
Commits on 2022-07-23
- sci-mathematics/why3: remove unnecessary seq dependency
  28fa4c5
  Maciej Barć committed on 2022-07-23 00:03:18 UTC
  sci-mathematics/why3/why3-1.4.0-r3.ebuildsci-mathematics/why3/why3-1.4.1-r1.ebuildsci-mathematics/why3/why3-1.5.0-r1.ebuildsci-mathematics/why3/why3-1.4.0-r2.ebuildsci-mathematics/why3/why3-1.4.1.ebuildsci-mathematics/why3/why3-1.5.0.ebuild
Commits on 2022-07-06
- dev-ml/yojson: relax deps on ocamlopt
  b2e04ba
  Alfredo Tupone committed on 2022-07-06 06:19:22 UTC
  dev-ml/yojson/yojson-1.7.0.ebuilddev-ml/yojson/yojson-2.0.0.ebuild
Commits on 2022-06-08
- dev-ml/yojson: update copyright date
  bf9a5be
  Maciej Barć committed on 2022-06-08 20:26:30 UTC
  dev-ml/yojson/yojson-2.0.0.ebuild