diff options
| author |   Mark Wright <gienah@gentoo.org> | 2012-12-05 10:44:21 +0000 |
|---|---|---|
| committer | Mark Wright <gienah@gentoo.org> | 2012-12-05 10:44:21 +0000 |
| commit | 345417c0c9fdf68efaa5a27a2f483fc99d841608 (patch) | |
| tree | 1a27198ee6958c02599583572ada5333591cd854 /sci-mathematics/kodkodi/metadata.xml | |
| parent | Add kodkodi. Required for sci-mathematics/isabelle nitpick couter-example che... (diff) | |
| download | historical-345417c0c9fdf68efaa5a27a2f483fc99d841608.tar.gz historical-345417c0c9fdf68efaa5a27a2f483fc99d841608.tar.bz2 historical-345417c0c9fdf68efaa5a27a2f483fc99d841608.zip | |
Add kodkodi. Required for sci-mathematics/isabelle nitpick couter-example checking.
Package-Manager: portage-2.1.11.33/cvs/Linux x86_64
Manifest-Sign-Key: 0x618E971F
Diffstat (limited to 'sci-mathematics/kodkodi/metadata.xml')
| -rw-r--r-- | sci-mathematics/kodkodi/metadata.xml | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/sci-mathematics/kodkodi/metadata.xml b/sci-mathematics/kodkodi/metadata.xml new file mode 100644 index 000000000000..44ed58e67d6c --- /dev/null +++ b/sci-mathematics/kodkodi/metadata.xml @@ -0,0 +1,15 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> +<pkgmetadata> +<maintainer> + <email>gienah@gentoo.org></email> +</maintainer> +<herd>sci-mathematics</herd> +<longdescription lang='en'> +A text front-end for the Kodkod Java library. +</longdescription> +<use> + <flag name='isabelle'>Add integration support for the Isabelle/HOL + theorem prover.</flag> +</use> +</pkgmetadata> |