Gentoo Packages

dev-haskell/smtlib-backends-process (haskell)

Search

Package Information

Description:
An SMT-LIB backend running solvers as external processes
Homepage:
https://hackage.haskell.org/package/smtlib-backends-process
License:
MIT

Versions

Version EAPI Keywords Slot
0.3 8 ~amd64 0/0.3

Metadata

Maintainers

Upstream

Raw Metadata XML 
<pkgmetadata>
	<maintainer type="project">
		<email>haskell@gentoo.org</email>
		<name>Gentoo Haskell</name>
	</maintainer>
	<upstream>
		<remote-id type="hackage">smtlib-backends-process</remote-id>
		<remote-id type="github">tweag/smtlib-backends</remote-id>
	</upstream>
</pkgmetadata>

Lint Warnings

Manifest

Type File Size Versions
Unmatched Entries
Type File Size
DIST smtlib-backends-process-0.3-rev5.cabal 1676 bytes
DIST smtlib-backends-process-0.3.tar.gz 6389 bytes