diff options
| author |   Mark Wright <gienah@gentoo.org> | 2012-03-25 14:02:15 +0000 |
|---|---|---|
| committer | Mark Wright <gienah@gentoo.org> | 2012-03-25 14:02:15 +0000 |
| commit | 650f44bd34eb6a16390ea0d65c93911e1e56127f (patch) | |
| tree | cad7453799043501cea1ff0d49ecba0b5405eec9 /sci-mathematics/agda-stdlib/metadata.xml | |
| parent | Thanks to tomprince for adding support for agda-stdlib. Bump to 2.3.0.1, EAPI... (diff) | |
| download | gentoo-2-650f44bd34eb6a16390ea0d65c93911e1e56127f.tar.gz gentoo-2-650f44bd34eb6a16390ea0d65c93911e1e56127f.tar.bz2 gentoo-2-650f44bd34eb6a16390ea0d65c93911e1e56127f.zip | |
Thanks to tomprince for adding support for agda-stdlib.
(Portage version: 2.1.10.51/cvs/Linux x86_64)
Diffstat (limited to 'sci-mathematics/agda-stdlib/metadata.xml')
| -rw-r--r-- | sci-mathematics/agda-stdlib/metadata.xml | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/sci-mathematics/agda-stdlib/metadata.xml b/sci-mathematics/agda-stdlib/metadata.xml new file mode 100644 index 000000000000..931d619e5994 --- /dev/null +++ b/sci-mathematics/agda-stdlib/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>sci-mathematics</herd> + <herd>haskell</herd> +<longdescription lang="en"> + Agda standard library. +</longdescription> +</pkgmetadata> |