summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* dev-ml/*: Update Manifest hashesMichał Górny2017-12-091-1/+1
|
* metadata.xml: removal of maintainer tomboy64@sina.cntomboy642017-04-201-11/+2
| | | | | | | | | | | | | | (and proxy maintainers) as maintainers from dev-ml/io-page, dev-ml/mirage-profile, dev-ml/ocaml-cstruct, dev-ml/ocaml-dns, dev-ml/ocaml-pcap, dev-ml/ocaml-uri, dev-ml/ocplib-endian, and dev-ml/stringext. Package-Manager: Portage-2.3.5, Repoman-2.3.2
* Drop $Id$ per council decision in bug #611234.Robin H. Johnson2017-02-281-1/+0
| | | | Signed-off-by: Robin H. Johnson <robbat2@gentoo.org>
* dev-ml/ocaml-pcap: remove oldAlexis Ballier2016-07-012-35/+0
| | | | Package-Manager: portage-2.3.0
* dev-ml/ocaml-pcap: bump to 0.4.0Alexis Ballier2016-05-032-0/+35
| | | | | Package-Manager: portage-2.2.28 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
* dev-ml/ocaml-pcap: update metadata.xml to contain a name-tag for ↵Matthew Brewer2016-02-101-0/+2
| | | | | | | tomboy64@sina.cn Package-Manager: portage-2.2.26 RepoMan-Options: --ignore-arches
* Set appropriate maintainer types in metadata.xml (GLEP 67)Michał Górny2016-01-241-3/+3
|
* Replace all herds with appropriate projects (GLEP 67)Michał Górny2016-01-241-2/+8
| | | | | Replace all uses of herd with appropriate project maintainers, or no maintainers in case of herds requested to be disbanded.
* Unify quoting in metadata.xml files for machine processingMichał Górny2016-01-241-1/+1
| | | | | | | Force unified quoting in all metadata.xml files since lxml does not preserve original use of single and double quotes. Ensuring unified quoting before the process allows distinguishing the GLEP 67-related metadata.xml changes from unrelated quoting changes.
* Update remote-idsJustin Lecher2015-10-211-1/+4
| | | | Signed-off-by: Justin Lecher <jlec@gentoo.org>
* dev-ml/ocaml-pcap: new ebuildMatthew Brewer2015-10-173-0/+44
- needed as a transitive dependency of Libre S3 1.1 (net-misc/libres3) - explicit support for MirageOS is not enabled