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/configurator: treecleanSam James2021-04-043-41/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/bin-prot: treecleanSam James2021-04-043-53/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/re2: treecleanSam James2021-04-043-33/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ocaml-uri: treecleanSam James2021-04-043-46/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ocaml-ipaddr: treecleanSam James2021-04-043-41/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ocaml-cstruct: treecleanSam James2021-04-043-82/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ocaml-dispatch: treecleanSam James2021-04-043-53/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ocaml-cohttp: treecleanSam James2021-04-043-74/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dns: treecleanSam James2021-04-043-55/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ocaml-conduit: treecleanSam James2021-04-043-55/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/js_of_ocaml: treecleanSam James2021-04-047-290/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/eliom: treecleanSam James2021-04-045-190/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ounit: treecleanSam James2021-04-043-26/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/oasis: treecleanSam James2021-04-043-46/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ocaml-expect: treecleanSam James2021-04-043-33/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ocamlmod: treecleanSam James2021-04-043-29/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ocamlify: treecleanSam James2021-04-043-26/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ocaml-re: treecleanSam James2021-04-043-33/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/iTeML: treecleanSam James2021-04-043-39/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ocaml-magic-mime: treecleanSam James2021-04-043-26/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/batteries: treecleanSam James2021-04-043-33/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/lwt_react: treecleanSam James2021-04-043-36/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/optcomp: treecleanSam James2021-04-043-31/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/type-conv: treecleanSam James2021-04-043-33/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/deriving: treecleanSam James2021-04-043-44/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/stringext: treecleanSam James2021-04-043-35/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/tyxml: treecleanSam James2021-04-043-55/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/gen: treecleanSam James2021-04-043-33/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/csv: treecleanSam James2021-04-043-49/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/pgocaml: treecleanSam James2021-04-043-44/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/qcheck: treecleanSam James2021-04-043-32/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/macaque: treecleanSam James2021-04-043-36/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/calendar: port to EAPI 7, eutils--Sam James2021-04-031-4/+8
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/batteries: eutils--Sam James2021-04-031-2/+2
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* 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>