Gentoo Packages

dev-haskell/smtlib (haskell)

Search

Package Information

Description:
A library for working with the SMTLIB format
Homepage:
https://hackage.haskell.org/package/smtLib
License:
BSD

Versions

Version EAPI Keywords Slot
1.1 8 ~amd64 0/1.1

Metadata

Maintainers

Raw Metadata XML 
<pkgmetadata>
	<maintainer type="project">
		<email>haskell@gentoo.org</email>
		<name>Gentoo Haskell</name>
	</maintainer>
</pkgmetadata>

Lint Warnings

Manifest

Type File Size Versions
DIST smtLib-1.1.tar.gz 9667 bytes 1.1
Unmatched Entries
Type File Size