Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/dev-ml/alcotest
Commit message (Collapse)AuthorAgeFilesLines
* dev-ml/alcotest: add 1.8.0Alfredo Tupone2024-07-282-0/+39
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/alcotest: update maintainer addressAlain Emilia Anna Zscheile2024-07-141-1/+1
| | | | | Signed-off-by: Alain Emilia Anna Zscheile <fogti@ytrizja.de> Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/alcotest: build with dev-ml/core-0.16+Alfredo Tupone2024-07-133-0/+98
| | | | | | Patch from: Alain Emilia Anna Zscheile Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/alcotest: drop old 1.6.0-r2Maciej Barć2024-07-022-38/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/alcotest: drop old 1.2.3-r4Maciej Barć2024-07-022-34/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/alcotest: fix dependencyAlfredo Tupone2024-01-243-6/+6
| | | | | Closes: https://bugs.gentoo.org/911406 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/alcotest: require core_unit-0.15Alfredo Tupone2023-07-291-1/+1
| | | | | Closes: https://bugs.gentoo.org/911381 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/alcotest: require 0.15 subslot of core_unixAlfredo Tupone2023-07-081-1/+1
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/alcotest: Keyword 1.7.0 ppc64, #892131Arthur Zamarin2023-06-151-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/alcotest: Keyword 1.7.0 ppc, #892131Arthur Zamarin2023-06-151-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/alcotest: Stabilize 1.7.0 amd64, #908161Arthur Zamarin2023-06-091-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/alcotest: Stabilize 1.7.0 x86, #908161Arthur Zamarin2023-06-091-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/alcotest: Stabilize 1.7.0 arm, #908161Arthur Zamarin2023-06-091-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/alcotest: Stabilize 1.7.0 arm64, #908161Arthur Zamarin2023-06-091-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/alcotest: stabilize 1.6.0-r1 for amd64Alfredo Tupone2023-04-241-1/+1
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/alcotest: add 1.7.0Alfredo Tupone2023-04-172-0/+38
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/alcotest: Keyword 1.6.0-r1 arm, #892131Sam James2023-02-241-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/alcotest: Keyword 1.6.0-r1 arm64, #892131Sam James2023-02-241-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/alcotest: Keyword 1.6.0-r1 x86, #892131Arthur Zamarin2023-02-201-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/alcotest: unkeyword 1.6.0-r1Sam James2023-01-271-2/+2
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/alcotest: require an old cmdlinerAlfredo Tupone2022-12-241-1/+1
| | | | | Closes: https://bugs.gentoo.org/886115 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/alcotest: adj depsAlfredo Tupone2022-10-304-0/+4
| | | | | Closes: https://bugs.gentoo.org/835373 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/alcotest: fix testAlfredo Tupone2022-10-172-1/+13
| | | | | | Closes: https://bugs.gentoo.org/877071 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/alcotest: adjust depsAlfredo Tupone2022-10-132-1/+2
| | | | | | Closes: https://bugs.gentoo.org/859580 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/alcotest: add 1.6.0Sam James2022-07-242-0/+36
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/alcotest: fix OCaml depSam James2022-06-211-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/alcotest: Keyword 1.5.0 riscv, #835392Yongxiang Liang2022-04-181-2/+2
| | | | | Signed-off-by: Yongxiang Liang <tanekliang@gmail.com> Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* dev-ml/alcotest: destabilise for ppcSam James2022-03-032-4/+4
| | | | | Signed-off-by: Sam James <sam@gentoo.org> Signed-off-by: David Seifert <soap@gentoo.org>
* dev-ml/alcotest: bump 1.5.0Alfredo Tupone2021-11-032-0/+34
| | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/alcotest: Stabilize 1.4.0 arm64, #817695Sam James2021-10-131-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/alcotest: Stabilize 1.4.0 arm, #817695Sam James2021-10-131-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/alcotest: x86 stable wrt bug #817695Agostino Sarubbo2021-10-121-1/+1
| | | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.3 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/alcotest: ppc stable wrt bug #817695Agostino Sarubbo2021-10-111-1/+1
| | | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.3 RepoMan-Options: --include-arches="ppc" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/alcotest: Stabilize 1.4.0 amd64, #817695Sam James2021-10-111-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/alcotest: Stabilize 1.4.0 ppc64, #817695Sam James2021-10-111-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* **/metadata.xml: Replace http by https in DOCTYPE elementUlrich Müller2021-09-111-1/+1
| | | | | Bug: https://bugs.gentoo.org/552720 Signed-off-by: Ulrich Müller <ulm@gentoo.org>
* dev-ml/alcotest: bump 1.4.0Alfredo Tupone2021-07-272-0/+33
| | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/alcotest: Stabilize 1.2.3-r3 x86, #783582Sam James2021-06-031-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/alcotest: Stabilize 1.2.3-r3 ppc, #783582Sam James2021-05-161-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/alcotest: Stabilize 1.2.3-r3 arm, #783582Sam James2021-05-161-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/alcotest: Stabilize 1.2.3-r3 arm64, #783582Sam James2021-05-151-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/alcotest: Stabilize 1.2.3-r3 amd64, #783582Sam James2021-05-151-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/alcotest: stable 1.2.3-r3 for ppc64Sergei Trofimovich2021-05-061-1/+1
| | | | | | | | stable wrt bug #783582 Package-Manager: Portage-3.0.18, Repoman-3.0.3 RepoMan-Options: --include-arches="ppc64" Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
* dev-ml/alcotest: rm old versionAlfredo Tupone2021-03-072-35/+0
| | | | | Package-Manager: Portage-3.0.13, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/alcotest: Keyword 1.2.3-r3 arm64, #769554Sam James2021-02-211-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/alcotest: Keyword 1.2.3-r3 ppc, #769554Sam James2021-02-211-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/alcotest: Keyword 1.2.3-r3 arm, #769554Sam James2021-02-211-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/alcotest: Keyword 1.2.3-r3 ppc64, #769554Sam James2021-02-101-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/alcotest: Keyword 1.2.3-r3 x86, #769554Sam James2021-02-101-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/alcotest: add lower bound on dev-ml/fmtSam James2021-02-101-1/+1
| | | | | | | | | | | | | | | Fixes issues like: File "src/alcotest-engine/cli.ml", line 243, characters 31-36: 243 | Fmt.(braces @@ list ~sep:comma int) ppf (IntSet.elements set) ^^^^^ Error: Unbound value comma File "src/alcotest-engine/model.ml", line 9, characters 26-33: 9 | Uchar.to_int uchar |> Fmt.str "U+%04X" |> Buffer.add_string buf ^^^^^^^ Error: Unbound value Fmt.str Hint: Did you mean strf? Package-Manager: Portage-3.0.14, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>