diff options
| author |   Alexandre Buisse <nattfodd@gentoo.org> | 2006-07-12 13:21:35 +0000 |
|---|---|---|
| committer | Alexandre Buisse <nattfodd@gentoo.org> | 2006-07-12 13:21:35 +0000 |
| commit | c4af995ea31f265a5e71168696536e54a27f36c3 (patch) | |
| tree | f9c09ef94e821b416a4c4bdd3856aa8732783eac /sci-mathematics/agda/metadata.xml | |
| parent | QA: Added pcmcia to IUSE, as it is used by linux-mod.eclass. (diff) | |
| download | gentoo-2-c4af995ea31f265a5e71168696536e54a27f36c3.tar.gz gentoo-2-c4af995ea31f265a5e71168696536e54a27f36c3.tar.bz2 gentoo-2-c4af995ea31f265a5e71168696536e54a27f36c3.zip | |
Initial commit
(Portage version: 2.1.1_pre2-r6)
Diffstat (limited to 'sci-mathematics/agda/metadata.xml')
| -rw-r--r-- | sci-mathematics/agda/metadata.xml | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/sci-mathematics/agda/metadata.xml b/sci-mathematics/agda/metadata.xml new file mode 100644 index 000000000000..8d4153f1aea0 --- /dev/null +++ b/sci-mathematics/agda/metadata.xml @@ -0,0 +1,9 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> +<pkgmetadata> + <herd>math-proof</herd> + <maintainer> + <email>nattfodd@gentoo.org</email> + <name>Alexandre Buisse</name> + </maintainer> +</pkgmetadata> |