Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/dev-ml/csexp
Commit message (Collapse)AuthorAgeFilesLines
* dev-ml/csexp: Stabilize 1.5.2-r1 arm64, #941576Arthur Zamarin2024-10-181-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/csexp: Stabilize 1.5.2-r1 arm, #941576Arthur Zamarin2024-10-181-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/csexp: Stabilize 1.5.2-r1 x86, #941576Arthur Zamarin2024-10-151-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/csexp: Stabilize 1.5.2-r1 ppc64, #941576Arthur Zamarin2024-10-151-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/csexp: Stabilize 1.5.2-r1 amd64, #941576Arthur Zamarin2024-10-151-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/csexp: fix dune depsAlfredo Tupone2024-05-301-2/+5
| | | | | Closes: https://bugs.gentoo.org/922166 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* */*: Reassign gienah's packagesMichał Górny2024-02-141-4/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/csexp: bump to 1.5.2Maciej Barć2023-05-162-0/+21
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/csexp: Keyword 1.5.1 riscv, #835392Yongxiang Liang2022-04-181-1/+1
| | | | | Signed-off-by: Yongxiang Liang <tanekliang@gmail.com> Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* dev-ml/csexp: 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/csexp: Stabilize 1.5.1 arm, #817692Sam James2021-10-181-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/csexp: Stabilize 1.5.1 ppc64, #817692Sam James2021-10-171-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/csexp: tidy ebuildSam James2021-10-152-16/+6
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/csexp: Stabilize 1.5.1 arm64, #817692Sam James2021-10-141-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/csexp: x86 stable wrt bug #817692Agostino 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/csexp: ppc stable wrt bug #817692Agostino 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/csexp: Stabilize 1.5.1 amd64, #817692Sam 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/csexp: bump 1.5.1Alfredo Tupone2021-07-262-0/+26
| | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/csexp: Stabilize 1.3.2-r1 arm64, #772833Sam James2021-03-141-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/csexp: Stabilize 1.3.2-r1 arm, #772833Sam James2021-03-141-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/csexp: dep on result-1.5Alfredo Tupone2021-02-192-1/+5
| | | | | | Closes: https://bugs.gentoo.org/748516 Package-Manager: Portage-3.0.13, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/csexp: Stabilize 1.3.2-r1 ppc, #769317Sam James2021-02-111-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/csexp: Stabilize 1.3.2-r1 x86, #769317Sam James2021-02-111-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/csexp: Stabilize 1.3.2-r1 amd64, #769317Sam James2021-02-101-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/csexp: Stabilize 1.3.2-r1 ppc64, #769317Sam James2021-02-101-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/csexp: enforce ocamlopt=Sam James2021-01-271-2/+2
| | | | | Package-Manager: Portage-3.0.14, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/csexp: ppc64 keyworded (bug #748576)Sam James2020-10-281-1/+1
| | | | | Package-Manager: Portage-3.0.8, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/csexp: Keyword 1.3.2 ppc, #748576Sam James2020-10-241-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/csexp: Fix QA MissingTestRestrictMark Wright2020-10-141-0/+1
| | | | | Package-Manager: Portage-3.0.8, Repoman-3.0.1 Signed-off-by: Mark Wright <gienah@gentoo.org>
* dev-ml/csexp: Dependency of duneMark Wright2020-10-133-0/+36
Co-Author: Alexis Ballier <aballier@gentoo.org> Package-Manager: Portage-3.0.8, Repoman-3.0.1 Signed-off-by: Mark Wright <gienah@gentoo.org>