Contents of /dev-haskell/top/metadata.xml

Parent Directory Parent Directory | Revision Log Revision Log

Revision 1.1 - (hide annotations) (download) (as text)
Sat Aug 1 11:56:49 2015 UTC (4 years, 3 months ago) by slyfox
Branch: MAIN
File MIME type: application/xml
Constraint solving framework employed by the Helium Compiler, a depend for new dev-lang/helium-1.8.1.

(Portage version: 2.2.20/cvs/Linux x86_64, signed Manifest commit with key 611FF3AA)

1 slyfox 1.1 <?xml version="1.0" encoding="UTF-8"?>
2     <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
3     <pkgmetadata>
4     <herd>haskell</herd>
5     <longdescription>
6     At its most general, Top is a framework for constructing abstract interpretations
7     which focuses on giving good feedback on why an abstract interpretation does not give
8     any useful information. In a mathematical notation this is usually made explicit by
9     returning the top element of a (complete) lattice. This is also one of the reasons
10     for the name of the project.
11     </longdescription>
12     </pkgmetadata>

  ViewVC Help
Powered by ViewVC 1.1.20