| 1234567891011121314151617181920 |
- <?xml version="1.0" encoding="UTF-8"?>
- <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
- <pkgmetadata>
- <maintainer type="person">
- <email>gienah@gentoo.org</email>
- <name>Mark Wright</name>
- </maintainer>
- <maintainer type="project">
- <email>sci-mathematics@gentoo.org</email>
- <name>Gentoo Mathematics Project</name>
- </maintainer>
- <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>
|
