diff options
Diffstat (limited to 'dev-ml')
| -rw-r--r-- | dev-ml/utop/ChangeLog | 8 | ||||
| -rw-r--r-- | dev-ml/utop/metadata.xml | 7 |
2 files changed, 10 insertions, 5 deletions
diff --git a/dev-ml/utop/ChangeLog b/dev-ml/utop/ChangeLog index f69eb4223cb9..6ab8eb992087 100644 --- a/dev-ml/utop/ChangeLog +++ b/dev-ml/utop/ChangeLog @@ -1,6 +1,9 @@ # ChangeLog for dev-ml/utop -# Copyright 1999-2014 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/dev-ml/utop/ChangeLog,v 1.11 2014/10/29 09:44:00 aballier Exp $ +# Copyright 1999-2015 Gentoo Foundation; Distributed under the GPL v2 +# $Header: /var/cvsroot/gentoo-x86/dev-ml/utop/ChangeLog,v 1.12 2015/06/06 19:48:58 jlec Exp $ + + 06 Jun 2015; Justin Lecher <jlec@gentoo.org> metadata.xml: + Add github to remote-id in metadata.xml *utop-1.16 (29 Oct 2014) @@ -51,4 +54,3 @@ 30 Mar 2012; Alexis Ballier <aballier@gentoo.org> +utop-1.1.ebuild, +metadata.xml: initial import, ebuild by Guillaume Horel in bug #406519 - diff --git a/dev-ml/utop/metadata.xml b/dev-ml/utop/metadata.xml index ce4d3df186a7..cc0dbaa762f2 100644 --- a/dev-ml/utop/metadata.xml +++ b/dev-ml/utop/metadata.xml @@ -1,8 +1,11 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> -<herd>ml</herd> + <herd>ml</herd> <use> - <flag name="camlp4">Enables camlp4 support.</flag> + <flag name="camlp4">Enables camlp4 support.</flag> </use> + <upstream> + <remote-id type="github">diml/utop</remote-id> + </upstream> </pkgmetadata> |