sci-mathematics/agda/metadata.xml

   1 <?xml version="1.0" encoding="UTF-8"?>
   2 <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
   3 <pkgmetadata>
   4   <maintainer type="project">
   5   <email>sci-mathematics@gentoo.org</email>
   6   <name>Gentoo Mathematics Project</name>
   7   </maintainer>
   8 <maintainer type="project">
   9   <email>haskell@gentoo.org</email>
  10   <name>Gentoo Haskell</name>
  11   </maintainer>
  12 <longdescription lang="en">
  13   Agda is an interactive proof editor, or proof assistant. Its input language,
  14   called Agda language (or simply Agda), is based on a constructive type
  15   theory á la Martin-Löf, extended with dependent record types,
  16   inductive definitions, module structures and a class hierarchy mechanism.
  17 </longdescription>
  18 <use>
  19   <flag name="cpphs">Use cpphs instead of cpp.</flag>
  20   <flag name="epic">Add support for the epic compiler.</flag>
  21   <flag name="stdlib">Install the standard library.</flag>
  22 </use>
  23 </pkgmetadata>