dev-ml/dune-configurator – Gentoo Packages

Packages

Get Gentoo!

Latest Commits

Commits on 2024-09-30
- dev-ml/dune-configurator: put back vendored
  3442c74
  Alfredo Tupone committed on 2024-09-30 19:11:04 UTC
  dev-ml/dune-configurator/dune-configurator-3.16.0-r1.ebuild
Commits on 2024-09-28
- dev-ml/*: remove vendored `csexp` and `pp` before the build process
  2bdf5a8
  Hiroki Tokunaga authored and Alfredo Tupone committed on 2024-09-28 14:27:56 UTC
  dev-ml/dune-configurator/dune-configurator-3.16.0-r1.ebuilddev-ml/dune-configurator/dune-configurator-3.16.0.ebuild
Commits on 2024-09-07
- dev-ml/dune-configurator: drop 3.6.1, 3.7.1, 3.10.0, 3.11.1, 3.13.1
  2079b99
  Alfredo Tupone committed on 2024-09-07 20:14:19 UTC
  dev-ml/dune-configurator/Manifestdev-ml/dune-configurator/dune-configurator-3.10.0.ebuilddev-ml/dune-configurator/dune-configurator-3.11.1.ebuilddev-ml/dune-configurator/dune-configurator-3.13.1.ebuilddev-ml/dune-configurator/dune-configurator-3.6.1.ebuilddev-ml/dune-configurator/dune-configurator-3.7.1.ebuild
Commits on 2024-08-16
- dev-ml/dune-configurator: Stabilize 3.16.0 ppc64, #937870
  97965fb
  Sam James committed on 2024-08-16 13:57:40 UTC
  dev-ml/dune-configurator/dune-configurator-3.16.0.ebuild
Commits on 2024-08-14
- dev-ml/dune-configurator: Stabilize 3.16.0 arm64, #937870
  0118a7a
  Sam James committed on 2024-08-14 09:49:19 UTC
  dev-ml/dune-configurator/dune-configurator-3.16.0.ebuild
- dev-ml/dune-configurator: Stabilize 3.16.0 arm, #937870
  998248e
  Sam James committed on 2024-08-14 09:49:16 UTC
  dev-ml/dune-configurator/dune-configurator-3.16.0.ebuild
Commits on 2024-08-13
- dev-ml/dune-configurator: Stabilize 3.16.0 x86, #937870
  f1354c1
  Arthur Zamarin committed on 2024-08-13 20:01:21 UTC
  dev-ml/dune-configurator/dune-configurator-3.16.0.ebuild
- dev-ml/dune-configurator: Stabilize 3.16.0 amd64, #937870
  9149220
  Arthur Zamarin committed on 2024-08-13 19:32:40 UTC
  dev-ml/dune-configurator/dune-configurator-3.16.0.ebuild
Commits on 2024-08-02
- dev-ml/dune-configurator: drop 2.8.4
  7b5d640
  Alfredo Tupone committed on 2024-08-02 07:18:07 UTC
  dev-ml/dune-configurator/Manifestdev-ml/dune-configurator/dune-configurator-2.8.4.ebuild
Commits on 2024-07-03
- dev-ml/dune-configurator: add 3.16.0
  e13d1b0
  Alfredo Tupone committed on 2024-07-03 16:02:01 UTC
  dev-ml/dune-configurator/dune-configurator-3.16.0.ebuilddev-ml/dune-configurator/Manifest
Commits on 2024-07-02
- dev-ml/dune-configurator: add 3.13.1
  eb17b02
  Alfredo Tupone committed on 2024-07-02 07:17:19 UTC
  dev-ml/dune-configurator/dune-configurator-3.13.1.ebuilddev-ml/dune-configurator/Manifest
Commits on 2024-06-08
- dev-ml/dune-configurator: Stabilize 3.10.0 arm, #933822
  a215ff4
  Arthur Zamarin committed on 2024-06-08 15:39:30 UTC
  dev-ml/dune-configurator/dune-configurator-3.10.0.ebuild
- dev-ml/dune-configurator: Stabilize 3.10.0 arm64, #933822
  be66fb5
  Sam James committed on 2024-06-08 15:32:02 UTC
  dev-ml/dune-configurator/dune-configurator-3.10.0.ebuild
- dev-ml/dune-configurator: Stabilize 3.10.0 amd64, #933822
  d8f72cf
  Arthur Zamarin committed on 2024-06-08 14:20:52 UTC
  dev-ml/dune-configurator/dune-configurator-3.10.0.ebuild
- dev-ml/dune-configurator: Stabilize 3.10.0 x86, #933822
  1805e85
  Arthur Zamarin committed on 2024-06-08 14:20:47 UTC
  dev-ml/dune-configurator/dune-configurator-3.10.0.ebuild
- dev-ml/dune-configurator: Stabilize 3.10.0 ppc64, #933822
  a9cc7d4
  Arthur Zamarin committed on 2024-06-08 14:20:42 UTC
  dev-ml/dune-configurator/dune-configurator-3.10.0.ebuild
- dev-ml/dune-configurator: add 3.11.1
  b846717
  Alfredo Tupone committed on 2024-06-08 14:12:04 UTC
  dev-ml/dune-configurator/dune-configurator-3.11.1.ebuilddev-ml/dune-configurator/Manifest
Commits on 2024-06-04
- dev-ml/dune-configurator: drop 3.0.3-r1, 3.2.0, 3.7.0, 3.8.0, 3.9.0, 3.9.1
  d69daa3
  Alfredo Tupone committed on 2024-06-04 06:11:25 UTC
  dev-ml/dune-configurator/Manifestdev-ml/dune-configurator/dune-configurator-3.0.3-r1.ebuilddev-ml/dune-configurator/dune-configurator-3.2.0.ebuilddev-ml/dune-configurator/dune-configurator-3.7.0.ebuilddev-ml/dune-configurator/dune-configurator-3.8.0.ebuilddev-ml/dune-configurator/dune-configurator-3.9.0.ebuilddev-ml/dune-configurator/dune-configurator-3.9.1.ebuild
Commits on 2024-02-14
- */*: Reassign gienah's packages
  32f1144
  Michał Górny committed on 2024-02-14 09:50:24 UTC
  dev-ml/dune-configurator/metadata.xml
Commits on 2023-08-16
- dev-ml/dune-configurator: Stabilize 2.9.3 arm, #896102
  73719ef
  Arthur Zamarin committed on 2023-08-16 13:28:56 UTC
  dev-ml/dune-configurator/dune-configurator-2.9.3.ebuild
Commits on 2023-08-02
- dev-ml/dune-configurator: add 3.10.0
  441f725
  Alfredo Tupone committed on 2023-08-02 19:52:10 UTC
  dev-ml/dune-configurator/dune-configurator-3.10.0.ebuilddev-ml/dune-configurator/Manifest
Commits on 2023-07-11
- dev-ml/dune-configurator: add 3.9.1
  49b618b
  Alfredo Tupone committed on 2023-07-11 16:51:11 UTC
  dev-ml/dune-configurator/dune-configurator-3.9.1.ebuilddev-ml/dune-configurator/Manifest
Commits on 2023-07-03
- dev-ml/dune-configurator: add 3.9.0
  9163c01
  Alfredo Tupone committed on 2023-07-03 19:02:26 UTC
  dev-ml/dune-configurator/dune-configurator-3.9.0.ebuilddev-ml/dune-configurator/Manifest
Commits on 2023-05-23
- dev-ml/dune-configurator: add 3.8.0
  26b69e9
  Alfredo Tupone committed on 2023-05-23 19:36:17 UTC
  dev-ml/dune-configurator/dune-configurator-3.8.0.ebuilddev-ml/dune-configurator/Manifest
Commits on 2023-05-20
- dev-ml/dune-configurator: stabilize 3.7.1 for amd64
  48f4994
  Alfredo Tupone committed on 2023-05-20 16:47:01 UTC
  dev-ml/dune-configurator/dune-configurator-3.7.1.ebuild
Commits on 2023-04-16
- dev-ml/dune-configurator: add 3.7.1
  30e4232
  Alfredo Tupone committed on 2023-04-16 08:40:48 UTC
  dev-ml/dune-configurator/dune-configurator-3.7.1.ebuilddev-ml/dune-configurator/Manifest
Commits on 2023-03-17
- dev-ml/dune-configurator: Stabilize 3.6.1 arm64, #901653
  a59fee2
  Arthur Zamarin committed on 2023-03-17 14:23:32 UTC
  dev-ml/dune-configurator/dune-configurator-3.6.1.ebuild
- dev-ml/dune-configurator: Stabilize 3.6.1 ppc64, #901653
  9c29062
  Arthur Zamarin committed on 2023-03-17 14:20:41 UTC
  dev-ml/dune-configurator/dune-configurator-3.6.1.ebuild
- dev-ml/dune-configurator: Stabilize 3.6.1 amd64, #901653
  6284058
  Sam James committed on 2023-03-17 14:10:25 UTC
  dev-ml/dune-configurator/dune-configurator-3.6.1.ebuild
- dev-ml/dune-configurator: Stabilize 3.6.1 x86, #901653
  2f86c54
  Sam James committed on 2023-03-17 14:10:24 UTC
  dev-ml/dune-configurator/dune-configurator-3.6.1.ebuild
- dev-ml/dune-configurator: Stabilize 3.6.1 arm, #901653
  4904c4a
  Arthur Zamarin committed on 2023-03-17 12:33:07 UTC
  dev-ml/dune-configurator/dune-configurator-3.6.1.ebuild
Commits on 2023-03-15
- dev-ml/dune-configurator: Stabilize 2.9.3 ppc64, #896102
  2956f75
  Arthur Zamarin committed on 2023-03-15 20:26:11 UTC
  dev-ml/dune-configurator/dune-configurator-2.9.3.ebuild
Commits on 2023-03-01
- dev-ml/dune-configurator: add 3.7.0
  dfea1f9
  Alfredo Tupone committed on 2023-03-01 18:42:11 UTC
  dev-ml/dune-configurator/dune-configurator-3.7.0.ebuilddev-ml/dune-configurator/Manifest
Commits on 2023-02-24
- dev-ml/dune-configurator: Stabilize 2.9.3 x86, #896102
  1fca347
  Arthur Zamarin committed on 2023-02-24 16:14:08 UTC
  dev-ml/dune-configurator/dune-configurator-2.9.3.ebuild
Commits on 2023-02-23
- dev-ml/dune-configurator: Stabilize 2.9.3 amd64, #896102
  4a6876e
  Sam James committed on 2023-02-23 23:37:52 UTC
  dev-ml/dune-configurator/dune-configurator-2.9.3.ebuild
Commits on 2022-12-16
- dev-ml/dune-configurator: add 3.6.1
  098a354
  Alfredo Tupone committed on 2022-12-16 21:52:04 UTC
  dev-ml/dune-configurator/dune-configurator-3.6.1.ebuilddev-ml/dune-configurator/Manifest
Commits on 2022-11-22
- dev-ml/dune-configurator: add 3.2.0
  0ab8f21
  Alfredo Tupone committed on 2022-11-22 19:17:11 UTC
  dev-ml/dune-configurator/dune-configurator-3.2.0.ebuilddev-ml/dune-configurator/Manifest
Commits on 2022-11-21
- dev-ml/dune-configurator: relax dune deps
  bf886ec
  Alfredo Tupone committed on 2022-11-21 13:16:16 UTC
  dev-ml/dune-configurator/dune-configurator-3.0.3-r1.ebuilddev-ml/dune-configurator/dune-configurator-3.0.3.ebuild
Commits on 2022-11-19
- dev-ml/dune-configurator: build dune-configurator
  cda7e41
  Alfredo Tupone committed on 2022-11-19 22:51:15 UTC
  dev-ml/dune-configurator/dune-configurator-3.0.3.ebuilddev-ml/dune-configurator/Manifestdev-ml/dune-configurator/dune-configurator-3.ebuild
- dev-ml/dune-configurator: add 3
  cfbf965
  Alfredo Tupone committed on 2022-11-19 18:28:59 UTC
  dev-ml/dune-configurator/dune-configurator-3.ebuild
Commits on 2022-11-18
- dev-ml/dune-configurator: Stabilize 2.9.1 arm, #817752
  33c3fc3
  Arthur Zamarin committed on 2022-11-18 17:47:20 UTC
  dev-ml/dune-configurator/dune-configurator-2.9.1.ebuild
Commits on 2022-10-12
- dev-ml/dune-configurator: test are run in dune-private-libs
  7074548
  Alfredo Tupone committed on 2022-10-12 18:43:25 UTC
  dev-ml/dune-configurator/dune-configurator-2.9.3.ebuild
Commits on 2022-07-23
- dev-ml/dune-configurator: drop 2.8.2-r1, 2.9.0
  a9b8893
  Sam James committed on 2022-07-23 23:51:56 UTC
  dev-ml/dune-configurator/Manifestdev-ml/dune-configurator/dune-configurator-2.8.2-r1.ebuilddev-ml/dune-configurator/dune-configurator-2.9.0.ebuild
Commits on 2022-07-06
- dev-ml/dune-configurator: be less strict vs ocamlopt dep
  7c968ec
  Alfredo Tupone committed on 2022-07-06 06:11:16 UTC
  dev-ml/dune-configurator/dune-configurator-2.8.2-r1.ebuilddev-ml/dune-configurator/dune-configurator-2.8.4.ebuilddev-ml/dune-configurator/dune-configurator-2.9.0.ebuilddev-ml/dune-configurator/dune-configurator-2.9.1.ebuilddev-ml/dune-configurator/dune-configurator-2.9.3.ebuild
Commits on 2022-04-18
- dev-ml/dune-configurator: Keyword 2.9.3 riscv, #835392
  9d9b5cb
  Yongxiang Liang authored and Jakov Smolić committed on 2022-04-18 21:06:10 UTC
  dev-ml/dune-configurator/dune-configurator-2.9.3.ebuild
Commits on 2022-03-03
- dev-ml/dune-configurator: destabilise for ppc
  56d6035
  Sam James authored and David Seifert committed on 2022-03-03 21:17:43 UTC
  dev-ml/dune-configurator/dune-configurator-2.8.2-r1.ebuilddev-ml/dune-configurator/dune-configurator-2.8.4.ebuild
Commits on 2022-01-29
- dev-ml/dune-configurator: 2.9.3 bump
  67ef6a5
  Alfredo Tupone committed on 2022-01-29 19:37:19 UTC
  dev-ml/dune-configurator/dune-configurator-2.9.3.ebuilddev-ml/dune-configurator/Manifest
Commits on 2021-12-10
- dev-ml/dune-configurator: Stabilize 2.9.1 x86, #817752
  b10bfbc
  Jakov Smolić committed on 2021-12-10 17:14:56 UTC
  dev-ml/dune-configurator/dune-configurator-2.9.1.ebuild
- dev-ml/dune-configurator: Stabilize 2.9.1 amd64, #817752
  01429d7
  Jakov Smolić committed on 2021-12-10 11:15:01 UTC
  dev-ml/dune-configurator/dune-configurator-2.9.1.ebuild
Commits on 2021-12-08
- dev-ml/dune-configurator: Stabilize 2.9.1 arm64, #817752
  c91750e
  Arthur Zamarin committed on 2021-12-08 19:09:13 UTC
  dev-ml/dune-configurator/dune-configurator-2.9.1.ebuild