Key | Value |
---|---|
FileSize | 253938 |
MD5 | 491B381FAF541F9C6E80086111811B49 |
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 | 37859D7EC3976235AE1E7DE1A9B29CFF7F324A84 |
SHA-256 | 6F3D1A99814B43201B8A73D5A238A64618C4FE2942E8D7AABC0BDA28EC650325 |
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/aarch64-linux-ghc-8.0.1/djinn-lib-0.0.1.2-I8G4t8gS9ji6rb5IdbJ9kj/libHSdjinn-lib-0.0.1.2-I8G4t8gS9ji6rb5IdbJ9kj.a |
FileSize | 1792928 |
MD5 | EE69DB8529B7CAA49705D9DE91BF1CFA |
SHA-1 | 1685CE5986EDFCA4ED8B72A9611B60968D5B0E61 |
SHA-256 | 96FD37619D01FB54D155D3866D60E861365E3D44EA2812F68BC0593F59571AAE |
SSDEEP | 6144:lga6UbGGz/bv6m8a6U+H2u6nSIcwJauVupm/9U5yuWD0Dogrlwu0nXbQPz:BTv65JeauVupjcgrlwuibQPz |
TLSH | T17485EE3E67061049CA568670CF7A277ADF31C2E8065E5BA31648F4B85FC67AB7D12B0C |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.0.1/djinn-lib-0.0.1.2-I8G4t8gS9ji6rb5IdbJ9kj/Djinn/HTypes.dyn_hi |
FileSize | 43270 |
MD5 | E060FDCFD394F0005C1ABC5CC72F51CE |
SHA-1 | 241D6D77F901D3D76082B72CB69CDDC794822590 |
SHA-256 | 90BBC97C04E70CD4CA8F0EEDC028CA749E4DEF19E9DF79C6E1CB176558540335 |
SSDEEP | 768:/hvWWRwiAD9efGfWHVrJ16jENKqtwAG8H:/EefGsEA/ |
TLSH | T13813EE16EF45E22AD8380BB5C8BA1345BB39D9C25B02CB9341587531DCE72D46FF92AC |
Key | Value |
---|---|
FileName | ./var/lib/ghc/package.conf.d/djinn-lib-0.0.1.2.conf |
FileSize | 1227 |
MD5 | 2DA57592636D02E5B45E4F28FEFEE204 |
SHA-1 | 2CCA1DB4BB901AB9EFDFBDB74BD90AA2EC929E9D |
SHA-256 | 5E08741B5E53C07A47D1874D22DE3AFA6A5C33C6AB404F45CA14596D41FCA651 |
SSDEEP | 24:TPV3oV3ktbSLDIY20WlksrYaANGIr4bA67vF4+5a9aV3Az9aV3LUV3E1StVOcGD:TPS2ZSA30WlDr+Jr4bl7F4vQCQFU/tPe |
TLSH | T1AD210260E7C7A3AC78886C8864603730D3383FE82522FD60764857659362AEDDD25E51 |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.0.1/djinn-lib-0.0.1.2-I8G4t8gS9ji6rb5IdbJ9kj/libHSdjinn-lib-0.0.1.2-I8G4t8gS9ji6rb5IdbJ9kj-ghc8.0.1.so |
FileSize | 900312 |
MD5 | BE83FE86A3DE9458A7F80248B5693E93 |
SHA-1 | 2F72794BA64B8148A209A2A6AE9D66F25E0338BF |
SHA-256 | 63EA992986330C722FB4EE14394AA38AEC678D5801B86894E3EDEF525138AE01 |
SSDEEP | 6144:YAehXt8XgScLKB8mx3FRdpuPdIW/sHTYGCLc:YGx2KB8M3F/puPdIW/d |
TLSH | T10D15842EE607718ADF98C670FF7F26AB52B041DD02559E821A84B0E4FBC77E82D13954 |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-8.0.1/djinn-lib-0.0.1.2-I8G4t8gS9ji6rb5IdbJ9kj/Djinn/LJTFormula.dyn_hi |
FileSize | 29635 |
MD5 | 8997BB55BAD2130F3CA048AFCEC9C739 |
SHA-1 | 346A332474527A27964651AB44FF5EA2C1BE231E |
SHA-256 | A952C6EFDD99604E40FCAD5149AEBB5833CD5EB5F5E6D61266FB28151D415B37 |
SSDEEP | 768:NshdkGqUVObY6EmAwW8+yt+nZtP1BUrWdI63I+TDOQ:GBqUAU6KPUrWy64+TDOQ |
TLSH | T16DD2B717EF44F222D9390B7588BB43417F74EAC217079B9B50893235DCA72E15EA63AC |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-8.0.1/djinn-lib-0.0.1.2-I8G4t8gS9ji6rb5IdbJ9kj/Djinn/HCheck.dyn_hi |
FileSize | 10002 |
MD5 | 6D77335FDD9469C43CB5B9CD3242805E |
SHA-1 | 4552876BFBCD5D57B8EEDB9A8A8518BF8A31CCF7 |
SHA-256 | 54875647401A41408220F118E76274810F85A235CD707689DAF7C467F0C4D0DD |
SSDEEP | 96:H+waoFBkDMCwazV4sxPPoxef8kPb+RZzN6xEB6UnQV++XSzA7eMeWB5:eyFIM86veUWxmoSlMHP |
TLSH | T1932298559E19D31AD029C7B8CDB54304BA3CAED62B53A7630398B8318CB16E43FB15F6 |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-8.0.1/djinn-lib-0.0.1.2-I8G4t8gS9ji6rb5IdbJ9kj/Djinn/LJTFormula.hi |
FileSize | 29623 |
MD5 | ACB287F1C4C45B19E661F7A791DA220D |
SHA-1 | 462BE3A478095898164B7FEF0307661D931CE90F |
SHA-256 | 3932521304A398509DFC59AE7116F61F08CC59F606985CFD82A9EB5E3C8186AC |
SSDEEP | 768:9fx/KmAc63gMEScwW8+yt+nZtP1BUrWdI63I+TDOQ:h0mA/QMSPUrWy64+TDOQ |
TLSH | T1BFD2C817EF44F222D9390BB588BB43417F74EAC217079B5B50893235DCA72E15EA63AC |
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/aarch64-linux-ghc-8.0.1/djinn-lib-0.0.1.2-I8G4t8gS9ji6rb5IdbJ9kj/Djinn/HTypes.hi |
FileSize | 43258 |
MD5 | A5AF67CC074FF497CB7FE192362E1356 |
SHA-1 | 557115A38372C1219305611ADAF7AA5E2C977F35 |
SHA-256 | 0BDC6A93CCAC71529E44032F1ECF474EC07069A325C7B83D71540681987FCDCB |
SSDEEP | 384:vOcMDzZqW7VuVz0ixLtllbnCGlcYre4TWEtGTITZzJ3Y/dG1beJTUtkY4Nj016iV:aqWxwz0b+eGzK/61J16jENKqtwAG8H |
TLSH | T12413ED16EF45E22AD8380BB5C8BA1345BB39D9C25B02CB9341587531DCE72D46FF92AC |
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 |