Sign in
android
/
platform
/
external
/
gentoo
/
overlays
/
gentoo
/
brillo-m8-release
/
.
/
dev-haskell
/
minisat
/
metadata.xml
blob: 48c7fc849bda57409dc8ceb2347e614e413d4489 [
file
] [
log
] [
blame
]
<?
xml version
=
"1.0"
encoding
=
"UTF-8"
?>
<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
<herd>
haskell
</herd>
<longdescription>
A Haskell bundle of the Minisat SAT solver
</longdescription>
</pkgmetadata>