Key | Value |
---|---|
FileSize | 160218 |
MD5 | 84F9A79DC1DEDAE77B6FEF16A6D69442 |
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 | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
PackageName | libghc-djinn-lib-dev |
PackageSection | haskell |
PackageVersion | 0.0.1.2-6 |
SHA-1 | 49510AFF52A876B400F2AE542F01350B920DC121 |
SHA-256 | B8C3A6F7D2193527A12FF7199CF8B0AD58776029618C514E1A199B36F80C99E9 |
hashlookup:children-total | 14 |
hashlookup:trust | 50 |
The searched file hash includes 14 children files known and seen by metalookup. A sample is included below:
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-7.10.3/djinn-lib-0.0.1.2-CMwKSvibzZYFxhmZjYZcuR/Djinn/HTypes.hi |
FileSize | 34516 |
MD5 | 2F80998467EF197A7189F24E49B35D3E |
SHA-1 | 433F464CFD179028A1951983C2EA133D0B9904F0 |
SHA-256 | 7DCDE5BFEA7B03C8D44331270741D2EE2C0DEECF7166CC538851B349C7800D7A |
SSDEEP | 768:ZfkXJ3mRdle7KTZSNALj0EB5MX14dinHA2iKOwAV/X:ZfN1LjDBsAF |
TLSH | T15CF27452EF04D027C82A3A7948B603D9B771D9CEAB058B67114E7976FC232D02D72E9C |
Key | Value |
---|---|
FileName | ./usr/share/doc/libghc-djinn-lib-doc/changelog.Debian.gz |
FileSize | 591 |
MD5 | 23686F4FD1DB971322137AECA1B84603 |
SHA-1 | A6AC1FAF0C4337A660C373375796D7DC5EDE8BC6 |
SHA-256 | 42FB02F7D78CEA1E59930CC33FE30F583C147A088B5F228B8F6F555A82E10D58 |
SSDEEP | 12:Xf0W3tlpom4ijKeWxKzJYmClPJm7/rWayWvAFfJcpg1l:XMw1zrtClPuD/vA9Jv1l |
TLSH | T10EF041D742ADB7DEF779947620B201F0B07911980CB868E2DA202C95B2577697B97838 |
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/i386-linux-ghc-7.10.3/djinn-lib-0.0.1.2-CMwKSvibzZYFxhmZjYZcuR/Djinn/HCheck.hi |
FileSize | 9494 |
MD5 | D8908F26E4189FD830761AC9FB057095 |
SHA-1 | 01886B9E21F4D71191025D6FD9C4BC37C603E2FE |
SHA-256 | 24BEF72E45E3810B663ADA6114F660412C039F68C489DCF285291946FE41B04D |
SSDEEP | 96:Z6rr+EVUFEm2mWBbDMrO1loxbSRFEbYF31Q4K+g6TzY7e4uEBn:Z6rruFj2mWBM7EQ4K+fTV4/1 |
TLSH | T1F9126894CD84941BD66A26BD8CB90368373599DEAB23A773016D7C32BC237A03C31D99 |
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-7.10.3/djinn-lib-0.0.1.2-CMwKSvibzZYFxhmZjYZcuR/Djinn/LJTFormula.dyn_hi |
FileSize | 22741 |
MD5 | 59EBD99D8833305EA6A290951427342F |
SHA-1 | 9825D6C9C8B54AF695E5F7FC98F0FA75EBE926DA |
SHA-256 | 32D6CA5BF10524081F67CD11CEF9ED3FBCEA7BBC389A45691F01EAB017D6D5A3 |
SSDEEP | 384:ZGYOz1rMI2fPjN0CAT0I8+yt+mUHxFVovWdI63I+TM+:Zez1rMI2fh3ML8+yt+nVovWdI63I+TM+ |
TLSH | T186A23652EE45D06BD83C273858BA03947F70D8CE2701976B604E7536FEA73E02D62B99 |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-7.10.3/djinn-lib-0.0.1.2-CMwKSvibzZYFxhmZjYZcuR/Djinn/LJT.dyn_hi |
FileSize | 27341 |
MD5 | 27F86EC18CB2B01B4910ED4399732797 |
SHA-1 | DBC479F8497870371D7CEA608CC9E2AD1C64BA1B |
SHA-256 | A835AB27C63DDE232FE35D22A31CC2403DC6F0EC08A758FED1B7748DC7556D3A |
SSDEEP | 768:ZBgH0NcGVNPhDQX1rd1VKk14bnyAwAJYS:ZBq0NceNZDQX1hXAZ |
TLSH | T13CC2A852DE05D453E82A267918B617C83730D8CE6722C367612E7176FCA33E03DB2E99 |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-7.10.3/djinn-lib-0.0.1.2-CMwKSvibzZYFxhmZjYZcuR/Djinn/HTypes.dyn_hi |
FileSize | 34528 |
MD5 | 57087417B946F98373F96B197CCEAB5F |
SHA-1 | D96E0B6F4A55F6C79D5472021057C759EB874936 |
SHA-256 | EA965AAC7553C7586F74404F01C440BEC7BA4C2797339964CFBEE76CA19E5C8E |
SSDEEP | 768:ZfQTduVoph6vnZesm0YBSIX14dinHA2iKOwAV/X:ZffmfBJAF |
TLSH | T1F9F27452DF44D427C82A3AB948B603D9B771D9CEAB058B67114E7876FC232D02D72E9C |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-7.10.3/djinn-lib-0.0.1.2-CMwKSvibzZYFxhmZjYZcuR/Djinn/LJT.hi |
FileSize | 27329 |
MD5 | FC4553C0414A74BC2DF21B17711D0716 |
SHA-1 | F3320C847649DE8E7558CD9AE858A526B87F0B46 |
SHA-256 | F38E44A0AE43196BCAEF25821589FD96706BAEBE8694F986BC9AF9E9CA82B972 |
SSDEEP | 768:Z3xYHExc2FpfpPcr5T91V4Mk14bnyAwAJYS:ZBCExc+pRPcr5JEVAZ |
TLSH | T1C9C2A752DE45D453E82A267918B617C83730D8CE6722C367612E7176FCA33E03DB2E99 |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-7.10.3/djinn-lib-0.0.1.2-CMwKSvibzZYFxhmZjYZcuR/libHSdjinn-lib-0.0.1.2-CMwKSvibzZYFxhmZjYZcuR-ghc7.10.3.so |
FileSize | 358908 |
MD5 | F032E5E38C7701FB894B853A63CB60F5 |
SHA-1 | 1DC92D0447E72B1BE7E107DEA36A6F573C35A4F9 |
SHA-256 | C80C28AB6B30F1C71B743F0054EA670801566549F0D5375F9456C3C756170952 |
SSDEEP | 3072:NztqRs4m+AoeU5kOM0c4zzU4VyhSKZhF0EaZpAFvxVfROiL/cYNmmHNgRDaxi:NtZz404VyhSKZAAZ4o/7wUQDa |
TLSH | T1AC745411F289C384C9B99A7D017E0324D2AB039F0A76BB0F6F9B15954EB72C9EC50BD5 |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-7.10.3/djinn-lib-0.0.1.2-CMwKSvibzZYFxhmZjYZcuR/Djinn/LJTFormula.hi |
FileSize | 22729 |
MD5 | 6C1E31E226643F4AD0D2213CA1B68361 |
SHA-1 | 5732730BA426DA063EDDB013CD86C8297B8A0581 |
SHA-256 | 8C741CA5A6DC7C5366F76328ABDAA55C1CC9490A200B9DE4F725DE5A2A6C1557 |
SSDEEP | 384:Z+42Znp/o0iLvnnRQ2ooI8+yt+mUHxFVovWdI63I+TM+:ZP2np/o0iL/RfoP8+yt+nVovWdI63I+X |
TLSH | T1FBA23552EE85D06BD83C273858BA03947F70D8CE2701976B504E7536FEA73E02D62B99 |
Key | Value |
---|---|
FileName | ./var/lib/ghc/package.conf.d/djinn-lib-0.0.1.2.conf |
FileSize | 1300 |
MD5 | 059935117E2C58BCD606628A11774F30 |
SHA-1 | 27228F28C60C77DEAAAE08DE0989CCF00D54B129 |
SHA-256 | F5C6C4406C52F19CE3E497FC826E07808F602E8F53897515094A586AEA0157E8 |
SSDEEP | 24:TPVgIYNZtbSLDIY20WlksrYaANGIr4bA67M+5aJVN0GlzJVN0GaUVN0GSITA8MR8:TPuIYNZZSA30WlDr+Jr4blwvJZ5JZaUj |
TLSH | T16B21507493CDC3FAB5985CCD65803A34E7282F262812B89439CC56E953319AD8C36E8B |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-7.10.3/djinn-lib-0.0.1.2-CMwKSvibzZYFxhmZjYZcuR/Djinn/HCheck.dyn_hi |
FileSize | 9506 |
MD5 | A740C0B85305DA167A77C973A7FBC11A |
SHA-1 | E265281A02E619C41D7081E9EE8AB0CB253B3358 |
SHA-256 | D54764A3FDCAD96357EC7438D16409E098D10EF71139B8B117380ABF34641C66 |
SSDEEP | 96:ZCrr+EVUFEmVWBbHMrO1lo9bWOdI/4B1O94K+g6TzY7e4uEBn:ZCrruFjVWBAXxO94K+fTV4/1 |
TLSH | T1FE125794CD84901BD66A26BD8CB90364373599DEAB23A773016E7C36BC237A03C31D99 |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-7.10.3/djinn-lib-0.0.1.2-CMwKSvibzZYFxhmZjYZcuR/libHSdjinn-lib-0.0.1.2-CMwKSvibzZYFxhmZjYZcuR.a |
FileSize | 422810 |
MD5 | 923FD40DEBB16161404A93FA3E76A6C8 |
SHA-1 | 94E22AF0A9A3D20C11D5280F90B214E243EFC08D |
SHA-256 | D7DC32B0C4D06414E4A95B42E1181FE333563C99CA7E58C8C2B7CDBC2DC99E8E |
SSDEEP | 3072:XV4fks4m+AfvA96pODBQwivwkf74YYT7/st75kOMVkJX4RzwtGAAKzQREQszsP3D:XV4ffyGvwkfcs4iMEQcOpAflu |
TLSH | T1F49471307748C197E96ACEB845AD0724E66543570B97BB0F6D8F29D81F4EACB2D30788 |