Key | Value |
---|---|
FileSize | 188926 |
MD5 | 02815B907748F127C3F3CB73166CD7B3 |
PackageDescription | Generate Haskell code from a type Djinn-Lib uses an theorem prover for intuitionistic propositional logic to generate a Haskell expression when given a type. This is a library extracted from Djinn-Lib sources. . 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-djinn-lib-dev |
PackageSection | haskell |
PackageVersion | 0.0.1.2-8+b1 |
SHA-1 | 4C8960B21675E02B226EB60B6A845A7EE727784C |
SHA-256 | 7F0D852B8E9537BABF133197791AC6732A76F870C44725E0DE51E14FB0D298A3 |
hashlookup:children-total | 16 |
hashlookup:trust | 50 |
The searched file hash includes 16 children files known and seen by metalookup. A sample is included below:
Key | Value |
---|---|
FileName | ./usr/share/doc/libghc-djinn-lib-prof/changelog.Debian.i386.gz |
FileSize | 242 |
MD5 | C2D4DA7EE8053A5B15EEC1549E05E407 |
SHA-1 | 17FFFEA9552C670A32CC680B60534E3AF37E9544 |
SHA-256 | 641660B603E012664EB2A381F4CAAC6F6044806496667C6B647C7E31C955AB99 |
SSDEEP | 6:XtPipGJhNGJpFlRknE+QhPkX2yCW+nuNO5PKEWJ0y/X2IpWTBeln:XFipG14pFlz+QZkmjnUO5PXy+IpuBel |
TLSH | T1A8D095B1414C14658D403936D1714815D14A76D081A05FCFDCC50331404E91761078FD |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.0.1/djinn-lib-0.0.1.2-I8G4t8gS9ji6rb5IdbJ9kj/Djinn/HTypes.hi |
FileSize | 43250 |
MD5 | CE8EBA756AA7FAC33001A66586876B39 |
SHA-1 | 2AB1E6E742C4DB315189F0E453AD880576272532 |
SHA-256 | B1F1B0B1ACB183C7251EB826468B94F267020652E3079C433FC0C051764DB63E |
SSDEEP | 384:NGbLasCttKW1avMtm8lzxQL/RCePTcTTITRN5rTG5jVeJTjtpmY4Nj016iyENKq1:N9sC7f1UCet9a07J16jENKqtwAG8H |
TLSH | T189131D16EF45D22AD8384BB5C8BA1349BB39DDC24B02CB9341187531DCA72D46FF92AC |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.0.1/djinn-lib-0.0.1.2-I8G4t8gS9ji6rb5IdbJ9kj/libHSdjinn-lib-0.0.1.2-I8G4t8gS9ji6rb5IdbJ9kj.a |
FileSize | 612088 |
MD5 | 90E5278C555D0E3F7E8A71555F4A6DE7 |
SHA-1 | 324817A64BE0CE234560269799EB027D4C50DBD9 |
SHA-256 | 24DFFF1D4077251447AF490D925047C0B1FAA09A55606FEA3DAF5CB47631B0F4 |
SSDEEP | 6144:2pSYTZ6XZAGGSg/f3pLN3eIwHxlVbHlLzTA476rlKd3lsWuz:B4exLsXrsd1wz |
TLSH | T166D49710FF40D22ECDAE5738173A0B24D36106CE0776BB1F578E7AE94D15AA46D62F22 |
Key | Value |
---|---|
FileName | snap-hashlookup-import/usr/share/lintian/overrides/pandoc |
FileSize | 30 |
MD5 | B120D03F70BA9EC34CE4F632B0CE0D7B |
RDS:package_id | 222721 |
SHA-1 | 53912138BCFE8A1BE136688646EEE0442706D9F0 |
SHA-256 | 8D328410744938511857EB8786898538A5FE7794B25DC525C07462769FCC1F4C |
SHA-512 | A5A0ECAB6CB0AED68B1A527005092393F27EDB31E4FDF4FDE7DCF80BE2AA2713585E7E7ED14BE1985DE29E32D9EFEA17E14E173D79127F93ADDD57BCEAE1F854 |
SSDEEP | 3:/X5YbuDzVK:/pDzVK |
TLSH | |
insert-timestamp | 1728989228.6300478 |
mimetype | text/plain |
source | snap:LYIQDe7StzfergzK3xBwUwSHdV9VZejB_90 |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.0.1/djinn-lib-0.0.1.2-I8G4t8gS9ji6rb5IdbJ9kj/Djinn/LJTFormula.dyn_hi |
FileSize | 29627 |
MD5 | DA455A8687A2863DE6A84B376619F096 |
SHA-1 | 5A5CDA99C64D8859050698C8C977D6C02C0771D9 |
SHA-256 | 14FA887A7C2453893D41568017D78BAE232F5C6F4E4466753B7F06AB0C0486C7 |
SSDEEP | 768:JgoNiz+3+ndA/4EF4wW8+yt+nZtP1BUrWdI63I+TDOQ:Jk63+ne/4HPUrWy64+TDOQ |
TLSH | T162D28717FF84E222D83E0B7A89BA03417F34A9C217078F9751453235DCA72D56EA63AD |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.0.1/djinn-lib-0.0.1.2-I8G4t8gS9ji6rb5IdbJ9kj/Djinn/LJTFormula.hi |
FileSize | 29615 |
MD5 | 49308EB7BDA3595C5664A4F71AC1FFA5 |
SHA-1 | 72F544BFED6196DE4B756D7A2B86036702ADF662 |
SHA-256 | AC84A98CC9A69A79E4FDD9C98DD898700F59180A27A7C0CC99D2170D4DF62987 |
SSDEEP | 768:lIFxKo+zNjEciRB0wW8+yt+nZtP1BUrWdI63I+TDOQ:lXdzNj9ioPUrWy64+TDOQ |
TLSH | T1BDD28817FF84E222D83E0B7A89BA03417F34A9C217078F5751853235DCA72D56EA63AD |
Key | Value |
---|---|
FileName | ./usr/share/doc/libghc-djinn-lib-prof/copyright |
FileSize | 2026 |
MD5 | 74855E5A7D77508F7E2533112D2F2204 |
SHA-1 | 78958F631C58C73E73E85344E2EA9C7E079EFE04 |
SHA-256 | 07B11060A9460A2647A28EEB614EC592A17C884F03549E0015E326A2FF452C71 |
SSDEEP | 48:e5dtqV9SrLOYrYJ0rYJDPLH7432sI32siqEto1ftqFH0V:qdYVHYrYJ0rYJ3s3c3Vl4Fe |
TLSH | T1B841A7875A8407A22AE117C5B696ABC1B15D703D7B335E083CBEE2446B2752CA4B6055 |
Key | Value |
---|---|
FileName | ./usr/share/doc/libghc-djinn-lib-prof/changelog.Debian.gz |
FileSize | 735 |
MD5 | 6C2C58FB33531CE7A3B166B4E3EB07C3 |
SHA-1 | 8B0CF03F8EA0A504CA98D342597DBBB54AC7DF55 |
SHA-256 | B9AF9425BCEAF2B82D4F5364F28EB371DAAC538716A0F4C6F32015A57BCB0027 |
SSDEEP | 12:X68hraBTX99718f4ucOBfVVCLdXx9q4175gUqgSut5kdQ6Uq8IH:XJ0X9a4uRtVCLNrr9gywIIH |
TLSH | T18E0165E9296D43C2D83939D4CE050956B1BEBFFF111AF2880EA345E062AD6442D412DA |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.0.1/djinn-lib-0.0.1.2-I8G4t8gS9ji6rb5IdbJ9kj/Djinn/LJT.dyn_hi |
FileSize | 33203 |
MD5 | 9A847ACF18C770DC8CBA9962F22706E0 |
SHA-1 | A8A8226DA2DAE19315D6B741C50058BEC76BBA58 |
SHA-256 | C03AEA7AFD5C1F64087699558C1286B9C0992FC66D49C778602B07DF79E9D8AF |
SSDEEP | 384:xr21Sru+yOk2iF+cXAvVA4rIsnlkcu0OZ6A/mO6S9CvCS+mbfySMfwAJzStz:yGDMEcmweu0bKU+mbfySMfwAJGz |
TLSH | T1C0E2CC02FF86E20BD92557F284B99389BB38DDC11B538B574009B535FC332D57EA12AA |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.0.1/djinn-lib-0.0.1.2-I8G4t8gS9ji6rb5IdbJ9kj/libHSdjinn-lib-0.0.1.2-I8G4t8gS9ji6rb5IdbJ9kj-ghc8.0.1.so |
FileSize | 391420 |
MD5 | 1457A6DA1E23C20E61EF20F8D54E713C |
SHA-1 | ACD166089039F0D1B6F333BD5BE1F5E481A259AE |
SHA-256 | ECB469A8D7465A73CE5C5B86DDD3FBF0BC9A9AAD5E333CDC9490421B1E26F76E |
SSDEEP | 3072:XSb0eK9ikxsIWfn+sMidlyTQ//GbibQY4+vMO9dpKpRFfHaLxacIdA1HvVRAYoY:mzzlyTiG84+vMO1KpRQacIdkHNRA+ |
TLSH | T1F2847320F686D358DDFC2B3825391320D2560ACF0A367B1F278769C64AB62E8DD55FD2 |