diff options
author | Paweł Hajdan <phajdan.jr@gentoo.org> | 2012-03-31 17:02:26 +0000 |
---|---|---|
committer | Paweł Hajdan <phajdan.jr@gentoo.org> | 2012-03-31 17:02:26 +0000 |
commit | ed1ab2a56301faa888deaa5fb2f12bf107d718db (patch) | |
tree | a8a0276e20c958639a0e46a74310a9581e6191a0 /dev-ml | |
parent | Add upstream remote-id annotations using tools by Corentin Chary, bug #406287. (diff) | |
download | historical-ed1ab2a56301faa888deaa5fb2f12bf107d718db.tar.gz historical-ed1ab2a56301faa888deaa5fb2f12bf107d718db.tar.bz2 historical-ed1ab2a56301faa888deaa5fb2f12bf107d718db.zip |
Add upstream remote-id annotations using tools by Corentin Chary, bug #406287.
Diffstat (limited to 'dev-ml')
-rw-r--r-- | dev-ml/extlib/metadata.xml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/dev-ml/extlib/metadata.xml b/dev-ml/extlib/metadata.xml index 2193d772e351..4a1e22e112e7 100644 --- a/dev-ml/extlib/metadata.xml +++ b/dev-ml/extlib/metadata.xml @@ -1,5 +1,8 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> -<herd>ml</herd> + <herd>ml</herd> + <upstream> + <remote-id type="google-code">ocaml-extlib</remote-id> + </upstream> </pkgmetadata> |