Key | Value |
---|---|
FileName | ./usr/share/doc/libghc-simple-smt-prof/changelog.Debian.mips64el.gz |
FileSize | 258 |
MD5 | 2DF8241C39ACDF8B8359989AC52E1A18 |
SHA-1 | 8ACE37FB52DD914759E9E2F64E7F5EBD82469241 |
SHA-256 | 1497905B6C19ABAB63658D904810A4147038541FEA5429970BC9FA15B01D98F3 |
SSDEEP | 6:XtZwmau8wy5uVEzBCwNydqblteYCDzw5jDpaA75xNDE:XrapeEFxcwbVHVtp4 |
TLSH | T1CBD09543615439DDC945C4B0630F4429564D5010E407477479D3587053A38B4218C344 |
hashlookup:parent-total | 2 |
hashlookup:trust | 60 |
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 | 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 |
Key | Value |
---|---|
FileSize | 97528 |
MD5 | 3B4F11875B1026BA7F47F89F26D2F72C |
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 | 19E1544E03817AFA704640D155090CC171E2DF2A |
SHA-256 | 14E130E9ECF9B81ACFEF0866631A5C5990044D4F644B1974C143B1E4E4A87A49 |