Key | Value |
---|---|
FileSize | 224614 |
MD5 | 4D013D5E00B2280267DCDF2B031E10AC |
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 | B35548BB229E5B2B4D62BA65CC478484C37580CA |
SHA-256 | 9B50127157D5D3C75AA5153B33326F01BE20738CEC8C4084A5D82A0C37234695 |
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/lib/haskell-packages/ghc/lib/mips-linux-ghc-8.0.1/djinn-lib-0.0.1.2-I8G4t8gS9ji6rb5IdbJ9kj/Djinn/LJTFormula.hi |
FileSize | 29619 |
MD5 | FBA18875CDEA35AB619328FCAA916C2C |
SHA-1 | 088EE1D4C410FDE528AC03F47C47F539D375CA4D |
SHA-256 | 1C83EB15FA8AB48C3F3450BB2B3C6312246260583C9B0DF73C9C45B9A1C9104D |
SSDEEP | 768:9w1lyo+fx/co+iZdQwW8+yt+nZtP1BUrWdI63I+TDOQ:9Tdfx/pPYPUrWy64+TDOQ |
TLSH | T124D28717FF84E222D83E0B7A89BA03417F74A9C217078F5B51453235DCA72D16EA63AD |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/mips-linux-ghc-8.0.1/djinn-lib-0.0.1.2-I8G4t8gS9ji6rb5IdbJ9kj/Djinn/HTypes.hi |
FileSize | 43254 |
MD5 | 4A347BD25B5990461D8D91974E17BF47 |
SHA-1 | 328045054FC0B52685C4B2543CE8ECA155D1AEF9 |
SHA-256 | E2B5B7221532E1ED557269AF2CFA4EFF120DA63013044806228FA1DE627C7D0B |
SSDEEP | 384:5CobxnKhJGi5TLItmMFqB9mrHJOezTwrTITtVpHSNB03eJTLt2vY4Nj016iyENKM:NnKbX5XeOeBc4IJ16jENKqtwAG8H |
TLSH | T138130D16EF45D22AD9384BB5C8BA1349BB39DDC24B02CB9341187531DCA72D46FF92AC |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/mips-linux-ghc-8.0.1/djinn-lib-0.0.1.2-I8G4t8gS9ji6rb5IdbJ9kj/libHSdjinn-lib-0.0.1.2-I8G4t8gS9ji6rb5IdbJ9kj-ghc8.0.1.so |
FileSize | 812332 |
MD5 | 2D972D93F4FAA7B78FBA677B970A0B5D |
SHA-1 | 4A2B43498E7BBA2B2DB643B6383E352C1D72E610 |
SHA-256 | 0D925AE53DA24857334C6B9C827584C3767A7D9ADDB9BEAC47A8202D686E9751 |
SSDEEP | 24576:qfnKQJjuzlmhjyKzBdRFLEGffu2hBGvfmWnatjZMp49ZxYn4mgBQpWnMYMBx2XMW:Xnvk |
TLSH | T153055313CBCDB636CC4CAA38501263D872F0549E1749E72B11A0D2DAB7377E98B671E9 |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/mips-linux-ghc-8.0.1/djinn-lib-0.0.1.2-I8G4t8gS9ji6rb5IdbJ9kj/libHSdjinn-lib-0.0.1.2-I8G4t8gS9ji6rb5IdbJ9kj.a |
FileSize | 1151564 |
MD5 | 20AA371C3A1C3DE4F07B0EF608598F8F |
SHA-1 | 4E9364A80C8A23E0F47CCA8F70E58834252A7FF1 |
SHA-256 | 68527E5140220C4121D4494C2D15794324E4E9FDF5326DF5C23AFD2E18B50F92 |
SSDEEP | 12288:Qq18svbVG9wr7AoEK08ADZzpz8OwG/EP8FIXCRrB2TFmp0yjFDkPpDSYtFlOWfiT:bLYFcENJ |
TLSH | T138357303D7EC7A36DC4C953888F0669872B0B4CD1B8CBB575158A1EA7236369BF1316E |
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/mips-linux-ghc-8.0.1/djinn-lib-0.0.1.2-I8G4t8gS9ji6rb5IdbJ9kj/Djinn/LJT.dyn_hi |
FileSize | 33207 |
MD5 | C2D989381CF7FAF85E9A00F3932DAAB7 |
SHA-1 | 55C42556D3914EC161520D9701FDA03B2195FEC8 |
SHA-256 | 7B8BC788536CC870DD54A6379D2F54791E5AC6940AB9400A39FF09D9D43A3B4D |
SSDEEP | 384:oHm13rzHIrO4Si1+YvAvtY4gIUnVk8usKZWw/3y2+9CvCS+mbfySMfwAJzStz:37780YOr2usLDU+mbfySMfwAJGz |
TLSH | T1E2E2BB02FF86E20AD92557F284B99389BB38DDC11B538B574009B535FC332D57EB12AA |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/mips-linux-ghc-8.0.1/djinn-lib-0.0.1.2-I8G4t8gS9ji6rb5IdbJ9kj/Djinn/LJTFormula.dyn_hi |
FileSize | 29631 |
MD5 | 87333CE568CFFD44FB32F8BB07AB00A3 |
SHA-1 | 5DA3119046B6C880020492B025824B241C488859 |
SHA-256 | 7CEA1ED42EDC0AF2BDD8EB6CCFE8181E09368EAF70BCA2366ACA91CD49B4DAF9 |
SSDEEP | 768:T94BKD+DiT1sjY8RkwW8+yt+nZtP1BUrWdI63I+TDOQ:T/qDiTyjY3PUrWy64+TDOQ |
TLSH | T13ED28817FF84E222D83D0B7A89BA03417F34A9C217078F5B51453235DCA72D56EA63AD |
Key | Value |
---|---|
FileName | ./usr/share/doc/unlambda/buildinfo_mipsel.gz |
FileSize | 2779 |
MD5 | F9B6A547E493FE1801D21AB7917091F2 |
SHA-1 | 6B48FE010EBF92E1E0184FED0D8FC408A7FE3D54 |
SHA-256 | 93E7C6FFFDD9FFE26454DC1E6805642C94556EA96389140344FB80F5DDFFDE81 |
SSDEEP | 48:X6PlOpp84vtqk1zgno8Ey0/+i5MgcpRanLtUzg8CKCScG0B3ow:qdOpdvtqYzgxEyqMgtLeCfScGqYw |
TLSH | T1CB512BC10DF67D427D9C4B7B06530CC8E8AC4582D18E419766A99768FA9C257FD7C860 |
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/lib/haskell-packages/ghc/lib/mips-linux-ghc-8.0.1/djinn-lib-0.0.1.2-I8G4t8gS9ji6rb5IdbJ9kj/Djinn/LJT.hi |
FileSize | 33195 |
MD5 | 6F195B5887E6257350B8FCC2C1BA7266 |
SHA-1 | 7DFFDFDB9BC5577DBFDDCAEDE8EF36B5037B615D |
SHA-256 | 4ED168DDABE3173CA8D6B9E567E003B69EFA70DCE3BA71C12FCB7986B5DDF102 |
SSDEEP | 384:lzm1S+blRdOcOiV+0aoAvFw4rIsnlkcuk2ZyQ/O2jOD9CvCS+mbfySMfwAJzStz:CDBRYsU0Wg+ukbGAU+mbfySMfwAJGz |
TLSH | T1CFE2BB02FF86E20AD92557F284B99389BB38DDC11B538B574009B535FC332D57EA12AA |