Parents (Total: 2)

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

Key	Value
FileSize	110292
MD5	0C53D6E5C6A296AB18093B51345BA01F
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	55CB804A66954C2F7EC81F64A71350C5EDE2B4E6
SHA-256	B6225983498B5D996DF162D97FAC0ACFA6E8C696618675B02210D8884CF366AF

Key	Value
FileSize	89336
MD5	4B5263124FC1EF4DA94F9E0CD978D2A1
PackageDescription	A simple way to interact with an SMT solver process.; profiling libraries 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, compiled for profiling. 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-prof
PackageSection	haskell
PackageVersion	0.9.1-1+b2
SHA-1	67BC56AD2D718BFF801B878B1AB2EEB83E46257B
SHA-256	272B6224C13E53C0DF9266E3A6E35D9016934D6025C95F6125D77344B9F73F86