| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | dev-ml/dune: add 3.1.1 |   Alfredo Tupone | 2022-11-21 | 2 | -0/+66 |
| | | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/dune-configurator: relax dune deps | Alfredo Tupone | 2022-11-21 | 1 | -2/+2 |
| | | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/ounit2: remove seq reference from dune build file |   Maciej Barć | 2022-11-21 | 2 | -0/+21 |
| | | | | | | Closes: https://bugs.gentoo.org/882337 Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | dev-ml/dune: use ED instead of D | Alfredo Tupone | 2022-11-20 | 1 | -4/+3 |
| | | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/llvm-ocaml: Add 16.0.0_pre20221120 snapshot |   Michał Górny | 2022-11-20 | 2 | -0/+113 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | dev-ml/dune-private-libs: adj deps | Alfredo Tupone | 2022-11-20 | 1 | -3/+7 |
| | | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/stdune: adj deps | Alfredo Tupone | 2022-11-20 | 1 | -2/+4 |
| | | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/ordering: relax deps on dune | Alfredo Tupone | 2022-11-20 | 1 | -2/+2 |
| | | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/dyn: relax dune deps, and constraint dev-ml/ordering dep | Alfredo Tupone | 2022-11-20 | 1 | -2/+3 |
| | | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/dune-configurator: build dune-configurator | Alfredo Tupone | 2022-11-19 | 3 | -16/+43 |
| | | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/dune: separate dune-configurator | Alfredo Tupone | 2022-11-19 | 1 | -21/+8 |
| | | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/dune-private-libs: fix build | Alfredo Tupone | 2022-11-19 | 1 | -10/+9 |
| | | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/stdune: new package, add 3.0.3 | Alfredo Tupone | 2022-11-19 | 3 | -0/+47 |
| | | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/dyn: new package, add 3.0.3 | Alfredo Tupone | 2022-11-19 | 3 | -0/+44 |
| | | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/ordering: new package, add 3.0.3 | Alfredo Tupone | 2022-11-19 | 3 | -0/+44 |
| | | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/pp: new package, add 1.1.2 | Alfredo Tupone | 2022-11-19 | 3 | -0/+32 |
| | | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/ptmap: remove seq reference from dune build file | Maciej Barć | 2022-11-19 | 2 | -0/+13 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | dev-ml/dune-site: bump to 3.0.3 | Maciej Barć | 2022-11-19 | 2 | -0/+31 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | dev-ml/dune-private-libs: bump to 3.0.3 | Maciej Barć | 2022-11-19 | 2 | -0/+36 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | dev-ml/dune: add 3.0.3 | Alfredo Tupone | 2022-11-19 | 2 | -0/+80 |
| | | | | | | | includes dune-configurator Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/dune-configurator: add 3 | Alfredo Tupone | 2022-11-19 | 1 | -0/+16 |
| | | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/gen: drop seq dependency on dune file | Alfredo Tupone | 2022-11-19 | 1 | -0/+9 |
| | | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/opam: Stabilize 2.1.2-r1 ppc64, #859508 |   Arthur Zamarin | 2022-11-19 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | dev-ml/opam-client: Stabilize 2.1.2 ppc64, #859508 | Arthur Zamarin | 2022-11-19 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | dev-ml/opam-solver: Stabilize 2.1.2 ppc64, #859508 | Arthur Zamarin | 2022-11-19 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | dev-ml/opam-state: Stabilize 2.1.2 ppc64, #859508 | Arthur Zamarin | 2022-11-19 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | dev-ml/opam-repository: Stabilize 2.1.2 ppc64, #859508 | Arthur Zamarin | 2022-11-19 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | dev-ml/opam-format: Stabilize 2.1.2-r1 ppc64, #859508 | Arthur Zamarin | 2022-11-19 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | dev-ml/opam-core: Stabilize 2.1.2 ppc64, #859508 | Arthur Zamarin | 2022-11-19 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | dev-ml/opam: Stabilize 2.1.2-r1 arm64, #859508 | Arthur Zamarin | 2022-11-19 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | dev-ml/opam-client: Stabilize 2.1.2 arm64, #859508 | Arthur Zamarin | 2022-11-19 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | dev-ml/opam-solver: Stabilize 2.1.2 arm64, #859508 | Arthur Zamarin | 2022-11-19 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | dev-ml/opam-state: Stabilize 2.1.2 arm64, #859508 | Arthur Zamarin | 2022-11-19 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | dev-ml/opam-repository: Stabilize 2.1.2 arm64, #859508 | Arthur Zamarin | 2022-11-19 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | dev-ml/opam-format: Stabilize 2.1.2-r1 arm64, #859508 | Arthur Zamarin | 2022-11-19 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | dev-ml/opam-core: Stabilize 2.1.2 arm64, #859508 | Arthur Zamarin | 2022-11-19 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | dev-ml/opam: Stabilize 2.1.2-r1 arm, #859508 | Arthur Zamarin | 2022-11-19 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | dev-ml/opam-client: Stabilize 2.1.2 arm, #859508 | Arthur Zamarin | 2022-11-19 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | dev-ml/opam-solver: Stabilize 2.1.2 arm, #859508 | Arthur Zamarin | 2022-11-19 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | dev-ml/opam-state: Stabilize 2.1.2 arm, #859508 | Arthur Zamarin | 2022-11-19 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | dev-ml/opam-repository: Stabilize 2.1.2 arm, #859508 | Arthur Zamarin | 2022-11-19 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | dev-ml/opam-format: Stabilize 2.1.2-r1 arm, #859508 | Arthur Zamarin | 2022-11-19 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | dev-ml/opam-core: Stabilize 2.1.2 arm, #859508 | Arthur Zamarin | 2022-11-19 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | dev-ml/labltk: fix configure w/ clang 16 |   Sam James | 2022-11-19 | 7 | -0/+83 |
| | | | | | | Closes: https://bugs.gentoo.org/881841 Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | dev-ml/labltk: add github upstream metadata | Sam James | 2022-11-19 | 1 | -0/+3 |
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | dev-ml/re: drop seq requirement | Alfredo Tupone | 2022-11-18 | 1 | -0/+8 |
| | | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/dune-configurator: Stabilize 2.9.1 arm, #817752 | Arthur Zamarin | 2022-11-18 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | dev-ml/dune-private-libs: Stabilize 2.9.1 arm, #817752 | Arthur Zamarin | 2022-11-18 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | dev-ml/dune: Stabilize 2.9.1 arm, #817752 | Arthur Zamarin | 2022-11-18 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | dev-ml/llvm-ocaml: Remove 16.0.0_pre20221104 | Michał Górny | 2022-11-16 | 2 | -113/+0 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
GitWeb