Key | Value |
---|---|
FileSize | 203148 |
MD5 | A51AE538A8F1CD5D6E21529D38D0B530 |
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.3-4+b1 |
SHA-1 | 9B0F3458A6862F317A43ACBFA6768BEED2DDE6D5 |
SHA-256 | 8F5E104023E71BD855FDCBECDEEFABAECC5EB7EA514DA645DDF36EF95F9CC4E7 |
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/arm-linux-ghc-8.8.4/djinn-lib-0.0.1.3-DmyD8pER21d4ArHbuXLamc/Djinn/HCheck.dyn_hi |
FileSize | 11226 |
MD5 | 2E253A2907363475118DEA165A04461D |
SHA-1 | 0EAF1D24B16E043DDCD728E7FF58943783C0B83C |
SHA-256 | D1D8C7ABE1970FF88DA054268F82F12BC187DF16C04868BE69B75AE8374A31AA |
SSDEEP | 192:U2BNoZfFS+tRPxsXMa0fUga0t5e9+z9W+9SSmGLhtnZTaS:f7oZfQ+tR5sXMa6Uga07e9+zR9S3G1Pz |
TLSH | T1F032306FEF25E51AD9344974CE7143143B20DDD186E2EB83438A603D8CA79E42FD2AD9 |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.8.4/djinn-lib-0.0.1.3-DmyD8pER21d4ArHbuXLamc/Djinn/LJTFormula.hi |
FileSize | 32241 |
MD5 | 8704AB8FC97C2EFBCDBC2E3D41A70F3D |
SHA-1 | 14E90101BB6CE9D3371A311DA3FB3FBA7ADE4CA5 |
SHA-256 | 4D8345A2DCD022873B993764B2C7E9A4CE5B73B17D90EB23A63B02D55D9CFC14 |
SSDEEP | 768:0lkbcNoi2Aq89PwHYr+yirAjeloGcoFcx1k+4VY51Drq5ninNSVC2G+8ttCY9k9t:VIOe1b4VO1DrDvqd |
TLSH | T193E2C017FF09E116D93C0539C9BE53017B24DCC2921AEF47604A227A9CB72D16F9A7AC |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/djinn-lib-0.0.1.3-DmyD8pER21d4ArHbuXLamc/Djinn/HTypes.hi |
FileSize | 50392 |
MD5 | A3F0C2D029B870E20C1CF0755C50E1DD |
SHA-1 | 18F244ED4E81CD85909185E231B781935EF43DCD |
SHA-256 | B0403C03C9F5308D858E353A1CC8AC4E3ED73B2DAD43E228F8D3B0CBB4A5AF59 |
SSDEEP | 768:OqswbJdvrPviL4sg0+Q+sqhutltESn8WlENX8FfsW/EM9K1aCPeYW9eGIH5HbOow:OUX3Q+JqPKb7Y |
TLSH | T1D333DB6BFF48D426CA3C0A74C97303197B20DDC19649EB93604926B9DCA31D06FD9AEC |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/djinn-lib-0.0.1.3-DmyD8pER21d4ArHbuXLamc/libHSdjinn-lib-0.0.1.3-DmyD8pER21d4ArHbuXLamc.a |
FileSize | 753148 |
MD5 | A2D8A566CB925C6F5B414BBB9D1B82A2 |
SHA-1 | 2367914D0B4EDF04EB870E249E09F52B51CF79F5 |
SHA-256 | E18A022C81B73647D835B16AB980AE7FE8D34DDBC5ED5A096FCF18258A883540 |
SSDEEP | 12288:RDQjHwCdBsUQlII6T05JvmZS60NBpDfwICtm8Dkim2f6RMLVV0Xe7xMA2YdljWYK:ouu9OzSEsxMA2 |
TLSH | T1E3F4654AEB444619F9EE013DE1EBE7A9A322CB88564EFB0F241476D51E072D45E33327 |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/djinn-lib-0.0.1.3-DmyD8pER21d4ArHbuXLamc/Djinn/LJT.hi |
FileSize | 37942 |
MD5 | 8FA81BE22683C48C5012023F279E5F0F |
SHA-1 | 46221B608E225F3FE6681FE2272531E7DCB17004 |
SHA-256 | DCAF1BFCF494FF9CE120175C8C29C096439F4ABBA3919F0EEF740D5BDD34DAA3 |
SSDEEP | 768:Gg/gWgtguZh3foLtqDRZgwY3g6glg6gngDg6gSg6gseGYTpbp83Ze0Ykpk3ueLRy:wlWidq2iAQDq |
TLSH | T16003B82BFF48D146D93A06B48A7703596B60D8C18695FF47710AA1BD9CF31E06FC1AE8 |
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/share/doc/libghc-xml-prof/buildinfo_armhf.gz |
FileSize | 2878 |
MD5 | 8FEB80D2943B3D5FE4118DCAF4D4B621 |
SHA-1 | 5D1F0028FC58422BC40C109DD91D48CA59CFA845 |
SHA-256 | 2F233517E46F021AEBFD6D64DB2744054FEEBA278126C772D38472FFE33B6E56 |
SSDEEP | 48:XKpLRGFsv6Z5DU9EUkTLOyieCiAnuATPNHtBUyWdB1jfqbm/:6pspQ9UOyCugrUDJR |
TLSH | T126514DBE0622298C3449882D45461DA3F925543EE7FB6342DAD8E769B3743D200B27F4 |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/libHSdjinn-lib-0.0.1.3-DmyD8pER21d4ArHbuXLamc-ghc8.8.4.so |
FileSize | 450280 |
MD5 | 44060981169789B6B2073E284F188D9E |
SHA-1 | 66F4446E3B7B379AA6CB6DEAADC7A4B438CD7752 |
SHA-256 | E91E4FF9C68D41E27403BC4A213C4159C931D36FDE2CE5AFBEAE82375BC9D36E |
SSDEEP | 12288:A3/xBZi7p4bet3veWvRWx5dXo56Onz0MEEprAhqAaAUV+yVF2UpEZwIrJ48rsMQQ:A3ujdkmBi66iuiYsUlJdA8 |
TLSH | T176A4A715F9008668EDEE013CF2EA9BA4A2330B8D9E4EF9195414FAF5BB5F1509D23707 |
Key | Value |
---|---|
FileName | ./usr/share/doc/libghc-djinn-lib-prof/changelog.Debian.armhf.gz |
FileSize | 294 |
MD5 | 7883F14C8B95D08B514C6565ECD47AA0 |
SHA-1 | 6EB755AE609829464725FA23742F0FB910B342D1 |
SHA-256 | 4EDC7811FFEA2B01374731005BAFA0E7DEC8DD4721DBD496904B7B8279E717EC |
SSDEEP | 6:XtJex2hq2wPMLqlEd+pkiQPAB6QmYcSqNL/RdYPg:XLex2M2wPpS+KiQfJRZ/RdMg |
TLSH | T1D1E0E7116E1E378D107CDC315841817D99C279088DECF34E88139DE989C554CE4008D9 |
Key | Value |
---|---|
FileName | ./usr/share/doc/libghc-djinn-lib-prof/copyright |
FileSize | 2028 |
MD5 | 74D7215AC517774F541B7D6EF9E519BE |
SHA-1 | 75366411EC4904166D4192DE49F300BCCCF7FC7C |
SHA-256 | 332FA440E1F8BAA3E80817E8795B089928C4032B33F5CFD242454596B7B16680 |
SSDEEP | 48:dcdtqV9SrLOYrYJ0rYJDPLH7432sI32siqEto1ftqFH0V:qdYVHYrYJ0rYJ3s3c3Vl4Fe |
TLSH | T12441A7875A8407A22AE113C5B656ABC5B15E703D7B335E083CBEE2446B2752CA4B6055 |