Key | Value |
---|---|
FileSize | 154884 |
MD5 | 6BBD26E89D22164AFE82AAEE494C0789 |
PackageDescription | Generate Haskell code from a type; profiling libraries 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, compiled for profiling. See http://www.haskell.org/ for more information on Haskell. |
PackageMaintainer | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
PackageName | libghc-djinn-lib-prof |
PackageSection | haskell |
PackageVersion | 0.0.1.3-4build2 |
SHA-1 | 1DF94F6A71A816C79808EB042EDE355BB968CE39 |
SHA-256 | DE1F2456431EC220A4F1BFF67DA3E6BDEE294784B58EE032DC3377C1AA31D68E |
hashlookup:children-total | 6 |
hashlookup:trust | 50 |
The searched file hash includes 6 children files known and seen by metalookup. A sample is included below:
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.p_hi |
FileSize | 32438 |
MD5 | 57F8DFFFE88DFEE2E79F05AA8C28B0F3 |
SHA-1 | 96D426F18C6BC3D868103ECE8C17608A903016A4 |
SHA-256 | A2107CD9D7C6973508B827CEC122F73E573B8A7A37B6EB011E6675A0C80F3602 |
SSDEEP | 768:XlDHsrn9pPeebc3hSvAsaRuleTzfTcz6pG4VuF1AxtVmfSLktw+8ttCY9k9d27od:M9z54VuF1ADqd |
TLSH | T15DE20057FF09D126D97C0A3988BB13017B34DCC2920AEF47605A217A9DB72C16F967AC |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/djinn-lib-0.0.1.3-DmyD8pER21d4ArHbuXLamc/Djinn/HTypes.p_hi |
FileSize | 48890 |
MD5 | 126F7EC3ED07FCDA1DD57FFA9C5BE2F2 |
SHA-1 | 94B455A40BB40BB65EBCA4CF48ECCAE7AB2BD937 |
SHA-256 | 0645898C4BDF9D318D88DD189A4D44C7EF0A83E45F114690F755B169D1332AC7 |
SSDEEP | 768:06OrrjlCb0HhH2W9dbBwOm+R6VQWabYYCQZUu82G7q1EhEVE6O4Oa+DZIIpi2Qtv:8JJFWabC65o7e |
TLSH | T144230F2BFF48E026DA3C0A74CAB213597B20DDC28255EF536045227A9DB31D06FD5AEC |
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 | ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/djinn-lib-0.0.1.3-DmyD8pER21d4ArHbuXLamc/libHSdjinn-lib-0.0.1.3-DmyD8pER21d4ArHbuXLamc_p.a |
FileSize | 1316044 |
MD5 | 0BE8F52DA891CCFF931FE7EACF04851E |
SHA-1 | 63CAAFF758A2D130E437E71EEE8809D570A2795E |
SHA-256 | A8A1E699DC80BEC2B3639A1BB7BFA921C5E456CD0809DDDFD9D8110E25FBB9D7 |
SSDEEP | 6144:H5StUw68yMNVB3WghfbWTT6xiumVY+KRG40WtGNCXAtHMS1S5Y7fWt68YeQl36A:MWgtSTT6IC/LAtHMS1S5YLWzK |
TLSH | T134557605FD4AE1BECABC42746ADA8279A334BD412B45BB131555B2FD3FB73241E72220 |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/djinn-lib-0.0.1.3-DmyD8pER21d4ArHbuXLamc/Djinn/LJT.p_hi |
FileSize | 37843 |
MD5 | 061C1665F43C27A5676358A0327669A0 |
SHA-1 | F3D2C0DDEA725A1EC82F93DB42A1745DBE1A87B2 |
SHA-256 | 70B59B1DA5F6F358CB4E668477032E7E78C27CC005BB76C0CA8E053734039AE6 |
SSDEEP | 768:yg/gWgtgHhban5TtiLcgwY3g6glg6gngDg6gSg6gVeeYUpSpk30esYRpM37eLpYy:6dyXTrGnQDb |
TLSH | T14503CB2BFF49D146D93A0A74CAB703597B60D8C58595FF07600AA1BD9CB31E02FD1AE8 |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/djinn-lib-0.0.1.3-DmyD8pER21d4ArHbuXLamc/Djinn/HCheck.p_hi |
FileSize | 11276 |
MD5 | 55380B79D1ADDF06208741A3A25402D6 |
SHA-1 | 9447999FD3AD0B48343351ACC4E0A52956D5667D |
SHA-256 | 87D40D6F7458AF54612C68729C71F541E3CF0D2A8654594854C9716AB2F6FB15 |
SSDEEP | 192:6qvnSCxt9ExBx9PNpFUg1vFCrb9SSmGLhtnZyjS:6qvnSIt9oBx9PNzzVFm9S3G1PYS |
TLSH | T14832316FEF25D41AE9384974CD7543147B20DDD186E2EB83438A203C8CA79E41FD2AE9 |