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: Bump to 12.0.0-rc4Michał Górny2021-04-012-0/+125
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/merlin: fix emacs dependenciesSam James2021-03-202-4/+10
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/merlin: add 4.1Sam James2021-03-191-0/+67
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/merlin: add 3.4.2 (initial import)Sam James2021-03-194-0/+85
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ocamlnet: drop 4.1.8Sam James2021-03-171-78/+0
| | | | | Bug: https://bugs.gentoo.org/769323 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ocamlnet: Stabilize 4.1.8-r1 ppc, #769323Sam James2021-03-171-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ocamlnet: Stabilize 4.1.8-r1 amd64, #769323Sam James2021-03-161-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ocamlnet: Stabilize 4.1.8-r1 x86, #769323Sam James2021-03-161-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/labltk: drop 8.06.2Sam James2021-03-163-427/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/zarith: remove unused patch(es)Michael Mair-Keimberger2021-03-161-11/+0
| | | | | | | Package-Manager: Portage-3.0.17, Repoman-3.0.2 Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at> Closes: https://github.com/gentoo/gentoo/pull/19960 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ppx_deriving: remove unused patch(es)Michael Mair-Keimberger2021-03-161-128/+0
| | | | | | Package-Manager: Portage-3.0.17, Repoman-3.0.2 Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at> Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ocamlnet: remove unused patch(es)Michael Mair-Keimberger2021-03-161-145/+0
| | | | | | Package-Manager: Portage-3.0.17, Repoman-3.0.2 Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at> Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/camomile: remove unused patch(es)Michael Mair-Keimberger2021-03-162-53/+0
| | | | | | Package-Manager: Portage-3.0.17, Repoman-3.0.2 Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at> Signed-off-by: Sam James <sam@gentoo.org>
* */*: Add proxied="yes" for non-@gentoo.org peopleMichał Górny2021-03-167-7/+7
| | | | | | | | | | | | Done via: find -name metadata.xml -exec xml ed -P -L \ -a '/pkgmetadata/maintainer[substring(email, string-length(email) - string-length("@gentoo.org") + 1) != "@gentoo.org"]' \ -t attr -n proxied -v yes {} + Signed-off-by: Michał Górny <mgorny@gentoo.org>
* */*: Add 'proxied="proxy"' for proxy-maint projectMichał Górny2021-03-167-7/+7
| | | | | | | | | | Done via: find -name metadata.xml -exec xml ed -P -L \ -a '//maintainer[email="proxy-maint@gentoo.org"]' \ -t attr -n proxied -v proxy {} + Signed-off-by: Michał Górny <mgorny@gentoo.org>
* */*: Normalize metadata.xml filesMichał Górny2021-03-1618-18/+17
| | | | | | | | | | | Normalize quoting, replace '>' with entities, replace unnecessary entities, remove trailing empty lines. Done via: find -name metadata.xml -exec xml ed -P -L -d //none {} + Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/ocaml-migrate-parsetree: drop 2.0.0Sam James2021-03-152-20/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ppx_tools_versioned: add note re ocaml-migrate-parsetree restrictionSam James2021-03-151-0/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune-configurator: drop 2.7.1Sam James2021-03-152-32/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune-private-libs: drop 2.7.1Sam James2021-03-152-45/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam: drop 2.0.7-r1Sam James2021-03-152-39/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ocaml-gettext: drop 0.3.7-r3Sam James2021-03-153-94/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/camomile: drop 0.8.5-r2Sam James2021-03-152-48/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/logs: drop 0.6.3Sam James2021-03-152-55/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ppx_tools_versioned: drop 5.2.2Sam James2021-03-152-26/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ppx_deriving: drop 4.5Sam James2021-03-152-30/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/integers: drop 0.2.2Sam James2021-03-152-33/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/fmt: drop 0.8.4Sam James2021-03-152-34/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ocamlnet: drop 4.1.2Sam James2021-03-152-77/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ocplib-simplex: drop 0.3Sam James2021-03-152-34/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/re2: drop 0.9.0Sam James2021-03-152-25/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ppx_driver: drop 0.9.1-r1Sam James2021-03-152-25/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/camlzip: drop 1.07Sam James2021-03-152-36/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/astring: drop 0.8.3Sam James2021-03-152-26/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/bin-prot: drop 0.9.0, 0.9.1Sam James2021-03-153-90/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ppx_tools_versioned: drop 5.0.1Sam James2021-03-152-31/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/zarith: drop 1.7, 1.9.1, 1.10Sam James2021-03-154-171/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-state: drop 2.0.7-r1Sam James2021-03-152-37/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-solver: drop 2.0.7-r1Sam James2021-03-152-41/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-repository: drop 2.0.7-r1Sam James2021-03-152-37/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-installer: drop 2.0.7-r1Sam James2021-03-152-47/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-core: drop 2.0.7Sam James2021-03-152-48/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-client: drop 2.0.7-r1Sam James2021-03-152-39/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-format: drop 2.0.7-r2Sam James2021-03-152-46/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/menhir: drop 20181006Sam James2021-03-152-37/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-installer: Stabilize 2.0.8-r1 ppc, #772833Sam James2021-03-151-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ocaml-ctypes: Stabilize 0.17.1 arm, #775782Sam James2021-03-141-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune-configurator: Stabilize 2.7.1 arm, #775782Sam James2021-03-141-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune-private-libs: Stabilize 2.7.1 arm, #775782Sam James2021-03-141-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/integers: Stabilize 0.4.0 arm, #775782Sam James2021-03-141-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>