Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/dev-ml
Commit message (Collapse)AuthorAgeFilesLines
* dev-ml/llvm-ocaml: Remove 14.0.0_rc2Michał Górny2022-03-142-113/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Bump to 14.0.0_rc4Michał Górny2022-03-122-0/+113
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/ocurl: Stabilize 0.9.2 arm64, #833693Jakov Smolić2022-03-101-1/+1
| | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* dev-ml/lablgl: force serial buildSam James2022-03-101-0/+3
| | | | | | | | | This isn't a super-active upstream package and it's got a tonne of make targets, so let's just force serial build for now, even if not ideal :( Closes: https://bugs.gentoo.org/834870 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/reason: bump to 3.8.0Maciej Barć2022-03-092-0/+38
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/uutf: bump to 1.0.3Maciej Barć2022-03-082-0/+67
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/ounit2: bump to 2.2.6Maciej Barć2022-03-082-0/+27
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/llvm-ocaml: Remove 14.0.0_rc1Michał Górny2022-03-062-113/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/lablgtk: add 2.18.12Sam James2022-03-053-0/+155
| | | | | | Closes: https://bugs.gentoo.org/834484 Thanks-to: Petr Zima <zima@matfyz.cz> Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ppx_import: new package; add 1.9.1Maciej Barć2022-03-054-0/+53
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/num: destabilise for ppcSam James2022-03-032-3/+3
| | | | | Signed-off-by: Sam James <sam@gentoo.org> Signed-off-by: David Seifert <soap@gentoo.org>
* dev-ml/findlib: destabilise for ppcSam James2022-03-031-1/+1
| | | | | Signed-off-by: Sam James <sam@gentoo.org> Signed-off-by: David Seifert <soap@gentoo.org>
* dev-ml/extlib: 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/ocaml-autoconf: destabilise for ppcSam James2022-03-031-2/+2
| | | | | Signed-off-by: Sam James <sam@gentoo.org> Signed-off-by: David Seifert <soap@gentoo.org>
* dev-ml/camomile: destabilise for ppcSam James2022-03-031-2/+2
| | | | | Signed-off-by: Sam James <sam@gentoo.org> Signed-off-by: David Seifert <soap@gentoo.org>
* dev-ml/zarith: destabilise for ppcSam James2022-03-031-2/+2
| | | | | Signed-off-by: Sam James <sam@gentoo.org> Signed-off-by: David Seifert <soap@gentoo.org>
* dev-ml/xml-light: destabilise for ppcSam James2022-03-031-2/+2
| | | | | Signed-off-by: Sam James <sam@gentoo.org> Signed-off-by: David Seifert <soap@gentoo.org>
* dev-ml/variantslib: destabilise for ppcSam James2022-03-031-2/+2
| | | | | Signed-off-by: Sam James <sam@gentoo.org> Signed-off-by: David Seifert <soap@gentoo.org>
* dev-ml/uutf: 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/uuidm: destabilise for ppcSam James2022-03-031-2/+2
| | | | | Signed-off-by: Sam James <sam@gentoo.org> Signed-off-by: David Seifert <soap@gentoo.org>
* dev-ml/uchar: destabilise for ppcSam James2022-03-031-2/+2
| | | | | Signed-off-by: Sam James <sam@gentoo.org> Signed-off-by: David Seifert <soap@gentoo.org>
* dev-ml/typerep: destabilise for ppcSam James2022-03-031-2/+2
| | | | | Signed-off-by: Sam James <sam@gentoo.org> Signed-off-by: David Seifert <soap@gentoo.org>
* dev-ml/topkg: destabilise for ppcSam James2022-03-031-2/+2
| | | | | Signed-off-by: Sam James <sam@gentoo.org> Signed-off-by: David Seifert <soap@gentoo.org>
* dev-ml/timezone: destabilise for ppcSam James2022-03-031-1/+1
| | | | | Signed-off-by: Sam James <sam@gentoo.org> Signed-off-by: David Seifert <soap@gentoo.org>
* dev-ml/time_now: destabilise for ppcSam James2022-03-031-2/+2
| | | | | Signed-off-by: Sam James <sam@gentoo.org> Signed-off-by: David Seifert <soap@gentoo.org>
* dev-ml/textutils: destabilise for ppcSam James2022-03-031-2/+2
| | | | | Signed-off-by: Sam James <sam@gentoo.org> Signed-off-by: David Seifert <soap@gentoo.org>
* dev-ml/stdlib-shims: destabilise for ppcSam James2022-03-032-3/+3
| | | | | Signed-off-by: Sam James <sam@gentoo.org> Signed-off-by: David Seifert <soap@gentoo.org>
* dev-ml/stdio: destabilise for ppcSam James2022-03-031-2/+2
| | | | | Signed-off-by: Sam James <sam@gentoo.org> Signed-off-by: David Seifert <soap@gentoo.org>
* dev-ml/splittable_random: destabilise for ppcSam James2022-03-031-2/+2
| | | | | Signed-off-by: Sam James <sam@gentoo.org> Signed-off-by: David Seifert <soap@gentoo.org>
* dev-ml/spawn: destabilise for ppcSam James2022-03-031-2/+2
| | | | | Signed-off-by: Sam James <sam@gentoo.org> Signed-off-by: David Seifert <soap@gentoo.org>
* dev-ml/sexplib: destabilise for ppcSam James2022-03-031-2/+2
| | | | | Signed-off-by: Sam James <sam@gentoo.org> Signed-off-by: David Seifert <soap@gentoo.org>
* dev-ml/sexplib0: destabilise for ppcSam James2022-03-031-2/+2
| | | | | Signed-off-by: Sam James <sam@gentoo.org> Signed-off-by: David Seifert <soap@gentoo.org>
* dev-ml/seq: 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/rresult: 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/result: destabilise for ppcSam James2022-03-031-2/+2
| | | | | Signed-off-by: Sam James <sam@gentoo.org> Signed-off-by: David Seifert <soap@gentoo.org>
* dev-ml/re: destabilise for ppcSam James2022-03-031-2/+2
| | | | | Signed-off-by: Sam James <sam@gentoo.org> Signed-off-by: David Seifert <soap@gentoo.org>
* dev-ml/react: destabilise for ppcSam James2022-03-031-2/+2
| | | | | Signed-off-by: Sam James <sam@gentoo.org> Signed-off-by: David Seifert <soap@gentoo.org>
* dev-ml/ppx_variants_conv: destabilise for ppcSam James2022-03-031-2/+2
| | | | | Signed-off-by: Sam James <sam@gentoo.org> Signed-off-by: David Seifert <soap@gentoo.org>
* dev-ml/ppx_typerep_conv: 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/ppx_string: destabilise for ppcSam James2022-03-031-2/+2
| | | | | Signed-off-by: Sam James <sam@gentoo.org> Signed-off-by: David Seifert <soap@gentoo.org>
* dev-ml/ppx_stable: destabilise for ppcSam James2022-03-031-2/+2
| | | | | Signed-off-by: Sam James <sam@gentoo.org> Signed-off-by: David Seifert <soap@gentoo.org>
* dev-ml/ppx_sexp_value: destabilise for ppcSam James2022-03-031-2/+2
| | | | | Signed-off-by: Sam James <sam@gentoo.org> Signed-off-by: David Seifert <soap@gentoo.org>
* dev-ml/ppx_sexp_message: destabilise for ppcSam James2022-03-031-2/+2
| | | | | Signed-off-by: Sam James <sam@gentoo.org> Signed-off-by: David Seifert <soap@gentoo.org>
* dev-ml/ppx_sexp_conv: destabilise for ppcSam James2022-03-033-6/+6
| | | | | Signed-off-by: Sam James <sam@gentoo.org> Signed-off-by: David Seifert <soap@gentoo.org>
* dev-ml/ppx_pipebang: destabilise for ppcSam James2022-03-031-2/+2
| | | | | Signed-off-by: Sam James <sam@gentoo.org> Signed-off-by: David Seifert <soap@gentoo.org>
* dev-ml/ppx_optional: destabilise for ppcSam James2022-03-031-2/+2
| | | | | Signed-off-by: Sam James <sam@gentoo.org> Signed-off-by: David Seifert <soap@gentoo.org>
* dev-ml/ppx_optcomp: 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/ppx_module_timer: destabilise for ppcSam James2022-03-031-2/+2
| | | | | Signed-off-by: Sam James <sam@gentoo.org> Signed-off-by: David Seifert <soap@gentoo.org>
* dev-ml/ppxlib: 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/ppx_let: destabilise for ppcSam James2022-03-031-2/+2
| | | | | Signed-off-by: Sam James <sam@gentoo.org> Signed-off-by: David Seifert <soap@gentoo.org>