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 | 109652 |
MD5 | 94E4118DBBDCFBB18F4DDD1A6F226251 |
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.5-1 |
SHA-1 | 655E44D275438B651136502FBB39BF36B22D4D25 |
SHA-256 | 095CBCBF43D9AA00734A8CE62C76B0BAC7C35E8BEFA0CAC3E149BBD378F635B1 |
Key |
Value |
FileSize | 110520 |
MD5 | 2B661ED085D43459DA3895E6D06920D0 |
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.5-1 |
SHA-1 | DC4E20B550BBB3EABE8F57E503043A9078E6F654 |
SHA-256 | 64039DCFEDBFED152668058D9622EFF9C058EC5FFC07C0EF0AD2D09AF2C3C661 |