Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | dev-ml/llvm-ocaml: Remove 16.0.0_pre20220926, it is too broken | Michał Górny | 2022-09-26 | 2 | -116/+0 |
| | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
* | dev-ml/llvm-ocaml: 15.x live is now 15.0.2 | Michał Górny | 2022-09-26 | 1 | -0/+0 |
| | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
* | dev-ml/llvm-ocaml: Bump to 16.0.0_pre20220926 | Michał Górny | 2022-09-26 | 2 | -0/+116 |
| | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
* | dev-ml/merlin: strong block dev-ml/seq | Maciej Barć | 2022-09-25 | 1 | -1/+1 |
| | | | | | Closes: https://bugs.gentoo.org/860213 Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
* | dev-ml/yojson: 2.0.2 - depend on ocaml >=4.07 instead of seq | Maciej Barć | 2022-09-24 | 1 | -6/+5 |
| | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
* | dev-ml/re: seq is provided by ocaml | Alfredo Tupone | 2022-09-23 | 1 | -1/+2 |
| | | | | | | | | Closes: https://bugs.gentoo.org/871993 Closes: https://bugs.gentoo.org/860387 Closes: https://bugs.gentoo.org/860273 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
* | dev-ml/batteries: bump to 3.5.1 | Maciej Barć | 2022-09-23 | 2 | -0/+32 |
| | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
* | dev-ml/pprint: bump to 20220103 | Maciej Barć | 2022-09-23 | 2 | -0/+16 |
| | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
* | dev-ml/spawn: bump to 0.15.1 | Maciej Barć | 2022-09-23 | 2 | -0/+19 |
| | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
* | dev-ml/yojson: bump to 2.0.2 | Maciej Barć | 2022-09-23 | 2 | -0/+40 |
| | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
* | dev-ml/bos: drop 0.1.6, 0.2.0-r1, EAPI-6-- | Andreas Sturmlechner | 2022-09-21 | 3 | -93/+0 |
| | | | | | Closes: https://bugs.gentoo.org/867118 Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org> | ||||
* | dev-ml/bos: Stabilize 0.2.1 ppc64, #867118 | Agostino Sarubbo | 2022-09-21 | 1 | -1/+1 |
| | | | | Signed-off-by: Agostino Sarubbo <ago@gentoo.org> | ||||
* | dev-ml/llvm-ocaml: Remove 15.0.0 | Michał Górny | 2022-09-21 | 2 | -117/+0 |
| | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
* | dev-ml/ocamlfuse: add unistd include | Alfredo Tupone | 2022-09-20 | 2 | -0/+12 |
| | | | | | | Closes: https://bugs.gentoo.org/870685 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
* | dev-ml/llvm-ocaml: Remove 16.0.0_pre20220915 | Michał Górny | 2022-09-20 | 2 | -116/+0 |
| | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
* | dev-ml/llvm-ocaml: Bump to 15.0.1 | Michał Górny | 2022-09-20 | 2 | -0/+117 |
| | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
* | dev-ml/llvm-ocaml: Bump live to 15.0.1.9999 | Michał Górny | 2022-09-20 | 1 | -0/+0 |
| | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
* | dev-ml/react: update to eapi 8 | Thamognya Kodi | 2022-09-19 | 1 | -1/+1 |
| | | | | | | Signed-off-by: Thamognya Kodi <contact@thamognya.com> Closes: https://github.com/gentoo/gentoo/pull/25874 Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
* | dev-ml/uuidm: bump to 0.9.8 | Maciej Barć | 2022-09-19 | 2 | -0/+26 |
| | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
* | dev-ml/llvm-ocaml: Add 16.0.0_pre20220918 snap | Michał Górny | 2022-09-19 | 2 | -0/+116 |
| | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
* | dev-ml/opam: Stabilize 2.1.2-r1 x86, #859508 | Sam James | 2022-09-18 | 1 | -1/+1 |
| | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
* | dev-ml/opam-client: Stabilize 2.1.2 x86, #859508 | Sam James | 2022-09-18 | 1 | -1/+1 |
| | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
* | dev-ml/opam-solver: Stabilize 2.1.2 x86, #859508 | Sam James | 2022-09-18 | 1 | -1/+1 |
| | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
* | dev-ml/opam-state: Stabilize 2.1.2 x86, #859508 | Sam James | 2022-09-18 | 1 | -1/+1 |
| | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
* | dev-ml/opam-repository: Stabilize 2.1.2 x86, #859508 | Sam James | 2022-09-18 | 1 | -1/+1 |
| | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
* | dev-ml/opam-format: Stabilize 2.1.2-r1 x86, #859508 | Sam James | 2022-09-18 | 1 | -1/+1 |
| | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
* | dev-ml/opam-core: Stabilize 2.1.2 x86, #859508 | Sam James | 2022-09-18 | 1 | -1/+1 |
| | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
* | dev-ml/opam: Stabilize 2.1.2-r1 amd64, #859508 | Sam James | 2022-09-18 | 1 | -1/+1 |
| | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
* | dev-ml/opam-client: Stabilize 2.1.2 amd64, #859508 | Sam James | 2022-09-18 | 1 | -1/+1 |
| | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
* | dev-ml/opam-solver: Stabilize 2.1.2 amd64, #859508 | Sam James | 2022-09-18 | 1 | -1/+1 |
| | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
* | dev-ml/opam-state: Stabilize 2.1.2 amd64, #859508 | Sam James | 2022-09-18 | 1 | -1/+1 |
| | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
* | dev-ml/opam-repository: Stabilize 2.1.2 amd64, #859508 | Sam James | 2022-09-18 | 1 | -1/+1 |
| | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
* | dev-ml/opam-format: Stabilize 2.1.2-r1 amd64, #859508 | Sam James | 2022-09-18 | 1 | -1/+1 |
| | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
* | dev-ml/opam-core: Stabilize 2.1.2 amd64, #859508 | Sam James | 2022-09-18 | 1 | -1/+1 |
| | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
* | dev-ml/llvm-ocaml: Add 16.0.0_pre20220915 snap | Michał Górny | 2022-09-16 | 2 | -0/+116 |
| | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
* | dev-ml/bos: Stabilize 0.2.1 x86, #867118 | Agostino Sarubbo | 2022-09-16 | 1 | -1/+1 |
| | | | | Signed-off-by: Agostino Sarubbo <ago@gentoo.org> | ||||
* | dev-ml/bos: Stabilize 0.2.1 arm64, #867118 | Agostino Sarubbo | 2022-09-15 | 1 | -1/+1 |
| | | | | Signed-off-by: Agostino Sarubbo <ago@gentoo.org> | ||||
* | dev-ml/bos: Stabilize 0.2.1 arm, #867118 | Agostino Sarubbo | 2022-09-15 | 1 | -1/+1 |
| | | | | Signed-off-by: Agostino Sarubbo <ago@gentoo.org> | ||||
* | dev-ml/bos: Stabilize 0.2.1 amd64, #867118 | Agostino Sarubbo | 2022-09-15 | 1 | -1/+1 |
| | | | | Signed-off-by: Agostino Sarubbo <ago@gentoo.org> | ||||
* | dev-ml/batteries: disable ocamlopt if asked on install too | Alfredo Tupone | 2022-09-10 | 1 | -1/+1 |
| | | | | | | Closes: https://bugs.gentoo.org/861455 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
* | dev-ml/ppx_let: fix deps | Alfredo Tupone | 2022-09-09 | 1 | -0/+1 |
| | | | | | | Closes: https://bugs.gentoo.org/865137 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
* | dev-ml/opam: fix opam dependency on bubblewrap | igna_martinoli | 2022-09-09 | 3 | -0/+3 |
| | | | | | | | | | Since opam 2.0.0~rc2, opam uses bwrap on Linux to run package instructions in a sandbox. Source: https://opam.ocaml.org/doc/FAQ.html#Why-does-opam-require-bwrap Signed-off-by: igna_martinoli <ignamartinoli@protonmail.com> Closes: https://github.com/gentoo/gentoo/pull/26904 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
* | dev-ml/lambda-term: fix dep on lwt | Alfredo Tupone | 2022-09-09 | 1 | -2/+2 |
| | | | | | | Closes: https://bugs.gentoo.org/865883 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
* | dev-ml/ocaml-ssl: add missing alcotest (test) dependency | Maciej Barć | 2022-09-07 | 1 | -2/+6 |
| | | | | | Closes: https://bugs.gentoo.org/869017 Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
* | dev-ml/biniou: add missing camlp-streams dependency | Maciej Barć | 2022-09-07 | 1 | -3/+6 |
| | | | | | Closes: https://bugs.gentoo.org/868786 Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
* | dev-ml/ocaml-ssl: fix SRC_URI | Maciej Barć | 2022-09-07 | 1 | -1/+1 |
| | | | | | Closes: https://bugs.gentoo.org/868912 Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
* | dev-ml/llvm-ocaml: Add keywords to 15.0.0 | Michał Górny | 2022-09-06 | 1 | -1/+1 |
| | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
* | dev-ml/ocaml-ssl: bump to 0.5.12 | Maciej Barć | 2022-09-06 | 2 | -0/+29 |
| | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
* | dev-ml/menhir: bump to 20220210 | Maciej Barć | 2022-09-06 | 2 | -0/+22 |
| | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
* | dev-ml/biniou: bump to 1.2.2 | Maciej Barć | 2022-09-06 | 2 | -0/+21 |
| | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> |