Parents (Total: 1)

The searched file hash is included in 1 parent files which include package known and seen by metalookup. A sample is included below:

Key	Value
FileSize	120312
MD5	A4A88CD87323A770A65666BDF6A16C89
PackageDescription	A simple way to interact with an SMT solver process. This package provides a simple way to interact with an SMT solver process, using the SmtLib-2 format. . This package provides a library for the Haskell programming language. See http://www.haskell.org/ for more information on Haskell.
PackageMaintainer	Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
PackageName	libghc-simple-smt-dev
PackageSection	haskell
PackageVersion	0.9.1-1+b2
SHA-1	45B5B3CF098CDA825F2F2A90EA9D4EAC30CC51AB
SHA-256	DA00C829088661535FEDD6ADB8F67CCAC51F52D72F000206097CB33FD134C8BC