Key | Value |
---|---|
FileSize | 206088 |
MD5 | 1ED65D1D6C6B801511F47AF50D25CF21 |
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 | 8513D5C542A9280B00A897743115E6D11FAC91CE |
SHA-256 | 598E9D423657A0515ECB5F18BD06310C08CA7F68A7AE5E000019A661FAD73DE2 |
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/ppc64-linux-ghc-8.8.4/djinn-lib-0.0.1.3-DmyD8pER21d4ArHbuXLamc/Djinn/LJT.dyn_hi |
FileSize | 37958 |
MD5 | 06C42D6E4723EC4D5BA88D46B3433484 |
SHA-1 | 1B492C82506ED128276498C0FAF432778F78BBC6 |
SHA-256 | 55C74A73BB5AACDB4BF652CA653DBEB842C4FF83D7C1D0270C5433235167661E |
SSDEEP | 768:Ig/gWgtg4J75P67tKTpgwY3g6glg6gngDg6gSg6gqe2Y8pdpM3HeEYCp03geLhYD:9N2SGfAQDq |
TLSH | T18E03B92BFF4DD156D93A06B4CAB603597B60D8C58195FF07600AA1BD9CB31E02FD1AE8 |
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-djinn-lib-prof/changelog.Debian.arm64.gz |
FileSize | 293 |
MD5 | 096B4F9630690330713BA326A399307D |
SHA-1 | 6BE8C1659CC2029A529C98579674502051D43034 |
SHA-256 | AC2CDB459967243A00848EB66CD1E6E41684EF32A220699781A6729FB62870C1 |
SSDEEP | 6:XtwsVCDbGAId+XcTOZTJAXGk0aeOqP7ftMgWIH9+K0tNScTl:XysVALMTgk0VOqPTigzH2p |
TLSH | T1F2E0EB8C6B8B02C0F8080737B2724B22CA403ACF68E30C9910088F42864665298D0F82 |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.8.4/djinn-lib-0.0.1.3-DmyD8pER21d4ArHbuXLamc/Djinn/HCheck.hi |
FileSize | 11218 |
MD5 | 50809C0E6FAC9807E8F93A080B99A396 |
SHA-1 | 6CE22F28DE7A5F824B93B0ACFC8B4DB6B0658395 |
SHA-256 | C0A49B71DAD8E5CEA0915C19BDD6AD4F916767D32D3F86B521A71A3DA6906109 |
SSDEEP | 192:lhgcUm5otHHxsBiDi0ikoWCRm9+zL9SSmGLhtnZTaS:lCXm5otHRsBiDiwoWCRm9+zL9S3G1POS |
TLSH | T1E132206FFF25D41AD9344974CEB143143B20DDD186D2AB83438A607C8CA79E42FD2AE9 |
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 |
Key | Value |
---|---|
FileName | ./var/lib/ghc/package.conf.d/djinn-lib-0.0.1.3.conf |
FileSize | 1509 |
MD5 | 61F172FB00F6C7A210C5DC69992C7E8D |
SHA-1 | 77A430AB911BDC0A4572C63CA61610C5209C5283 |
SHA-256 | 04EE65DB18B191545BA41EE3E5891B0775870238ACB7B90FF9505FC0B5A7BA67 |
SSDEEP | 24:TuGVaty6Vaty28stcLDIYxw0WlksrYaANGIetqYAq7l54rVatyaprVatymzpqliu:Txso8suAh0WlDr+J+7YrCrkpqliqyZYL |
TLSH | T16731FEA4C78A91ADF4DD58C8B1D1F574C3692F212200FDB0364D37A5537259DCC21DB9 |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/djinn-lib-0.0.1.3-DmyD8pER21d4ArHbuXLamc/Djinn/LJTFormula.hi |
FileSize | 32245 |
MD5 | 66C79C6DCF9F186A421AE6630EFAF76A |
SHA-1 | 9511667994A53D35E5238CCAC1487E276F3B7D65 |
SHA-256 | CCE0EFC67632FAECCDF7ABA8FB19FB79DCD115A43B63FD44CE9B0C0A0C3D487A |
SSDEEP | 768:Wlzn0bvFRnuezGhSfokypWVOTbf2Gu6y0mINul1IKVqmfSLVyG+8ttCY9k9d27od:thtXINul1Ijqd |
TLSH | T150E2F057FF09D126D97C0639C8BB13017B24DCC2920AEF47605A217A9DB72C16F9A7AC |
Key | Value |
---|---|
FileName | ./usr/share/doc/libghc-xdg-basedir-prof/buildinfo_arm64.gz |
FileSize | 2902 |
MD5 | 2AC5ECBD83AEB91F45D0190928271AE9 |
SHA-1 | 9A8810B6DD97C22EBF32856357F09AD396DED775 |
SHA-256 | 973ACA8D12910314CCFCD8A533B14C4E3C2515C405D36D8829B41CA35BCC57DE |
SSDEEP | 48:XOULr5JGaqa650s7WkzHPhhvHs6QtvwcxIPKB+loXubnwgfZCUAbn7WDTnuD0yA:+UL3FMzHPhFs6QtvDIPQ+loXMzAnWWDG |
TLSH | T1A0514DECCE3E9D58252F58EB1402A11E32C52398FA0AB60A77AD5529943C96D65B3A04 |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.8.4/libHSdjinn-lib-0.0.1.3-DmyD8pER21d4ArHbuXLamc-ghc8.8.4.so |
FileSize | 551344 |
MD5 | 4B11D1C932496141EFC08AE2353397E6 |
SHA-1 | A15D7326B9532EC48C9DF1E5BB9B017735A20373 |
SHA-256 | C8CF0EEAAEC512F984AA68939DF35D0244468158F08C47942E76B6A08B9E24FD |
SSDEEP | 6144:Q8K3cyX96zC4rRuRBPqUf/pB0TmDhAGXIeP:1wpdByTmDbI |
TLSH | T1CAC4843EDF09915DEBCDC23654E5DB1E6F258A84024EFB270439E5A1EE862CC2D72706 |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.8.4/djinn-lib-0.0.1.3-DmyD8pER21d4ArHbuXLamc/libHSdjinn-lib-0.0.1.3-DmyD8pER21d4ArHbuXLamc.a |
FileSize | 1076536 |
MD5 | A218AEC0D70B2626C33FA3A017E01628 |
SHA-1 | A1B796CB440A20A65E429BA8AFFDDE190F9F3501 |
SHA-256 | 9AA8D36FFCA3F90510810940275314EA51E655ACCD5C22B170358B6C92B89180 |
SSDEEP | 3072:n2lOExFWBmr+2vcZc43POx3uc5Q3PiyMKz7QvmIbZU8EOI8xAM5N5OxO9NiuoZ1B:n2lOExH0Zc4S5QrOtxbNYO9NiRFjdX |
TLSH | T13B35209DBF05115CE7FDC13850E3473A6732CA8012CEA72B8629FA75DFE62885E62705 |