Key | Value |
---|---|
FileSize | 222442 |
MD5 | 147D0A1C5E4F072D7F4A65075FAC087F |
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 | 0FFDB4527A80C7AE727AA72D83B30D6BA9151663 |
SHA-256 | 1B4389047E7F6B04499CC9BDA8DAAC4C5464FBADE583ED9BFF36772602E9DA96 |
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/mips-linux-ghc-8.0.1/djinn-lib-0.0.1.2-I8G4t8gS9ji6rb5IdbJ9kj/Djinn/LJTFormula.hi |
FileSize | 29619 |
MD5 | FBA18875CDEA35AB619328FCAA916C2C |
SHA-1 | 088EE1D4C410FDE528AC03F47C47F539D375CA4D |
SHA-256 | 1C83EB15FA8AB48C3F3450BB2B3C6312246260583C9B0DF73C9C45B9A1C9104D |
SSDEEP | 768:9w1lyo+fx/co+iZdQwW8+yt+nZtP1BUrWdI63I+TDOQ:9Tdfx/pPYPUrWy64+TDOQ |
TLSH | T124D28717FF84E222D83E0B7A89BA03417F74A9C217078F5B51453235DCA72D16EA63AD |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/mips-linux-ghc-8.0.1/djinn-lib-0.0.1.2-I8G4t8gS9ji6rb5IdbJ9kj/Djinn/HTypes.hi |
FileSize | 43254 |
MD5 | 4A347BD25B5990461D8D91974E17BF47 |
SHA-1 | 328045054FC0B52685C4B2543CE8ECA155D1AEF9 |
SHA-256 | E2B5B7221532E1ED557269AF2CFA4EFF120DA63013044806228FA1DE627C7D0B |
SSDEEP | 384:5CobxnKhJGi5TLItmMFqB9mrHJOezTwrTITtVpHSNB03eJTLt2vY4Nj016iyENKM:NnKbX5XeOeBc4IJ16jENKqtwAG8H |
TLSH | T138130D16EF45D22AD9384BB5C8BA1349BB39DDC24B02CB9341187531DCA72D46FF92AC |
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/mips-linux-ghc-8.0.1/djinn-lib-0.0.1.2-I8G4t8gS9ji6rb5IdbJ9kj/Djinn/LJT.dyn_hi |
FileSize | 33207 |
MD5 | 50D28E8CB369D4B03ADDB63825CD92A2 |
SHA-1 | 580D77CA0DA38E639E81EED8BA033A506D53D643 |
SHA-256 | 181E19BA12E5438BAF106E66ABB9FDB77AA2CF4CD9AECDCBDC02CE37A9BF6C9A |
SSDEEP | 384:tHY13rzHIrO4Si1+YvAvtY4gIUnVk8usKZWw/3y2+9CvCS+mbfySMfwAJzStz:Q7780YOr2usLDU+mbfySMfwAJGz |
TLSH | T10BE2CB02FF86E20AD92557F284B99389BB38DDC11B538B574009B535FC332D57EB12AA |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/mips-linux-ghc-8.0.1/djinn-lib-0.0.1.2-I8G4t8gS9ji6rb5IdbJ9kj/Djinn/LJTFormula.dyn_hi |
FileSize | 29631 |
MD5 | 87333CE568CFFD44FB32F8BB07AB00A3 |
SHA-1 | 5DA3119046B6C880020492B025824B241C488859 |
SHA-256 | 7CEA1ED42EDC0AF2BDD8EB6CCFE8181E09368EAF70BCA2366ACA91CD49B4DAF9 |
SSDEEP | 768:T94BKD+DiT1sjY8RkwW8+yt+nZtP1BUrWdI63I+TDOQ:T/qDiTyjY3PUrWy64+TDOQ |
TLSH | T13ED28817FF84E222D83D0B7A89BA03417F34A9C217078F5B51453235DCA72D56EA63AD |
Key | Value |
---|---|
FileName | ./usr/share/doc/libghc-djinn-lib-prof/changelog.Debian.mips.gz |
FileSize | 235 |
MD5 | 28E9D4356AC2347EC4B4156D46635AE9 |
SHA-1 | 5F2A3C1A943B5275275AD189672DCA63D81ED306 |
SHA-256 | CA650BC10AE764F1C898E059D33BE14A56B322A7939E7B3CDCBF386759D58F08 |
SSDEEP | 6:XtySe2oP5mb8hqtPR4QLyn4lUTamgIPuKG19ah4gd:XbtS5/I1R4X4lURduZ4h4gd |
TLSH | T1CFD023440603B228F1430233670C1BC8B634081CBB207D8F4C7E7D0126CCC291419FA3 |
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/share/doc/unlambda/buildinfo_mips.gz |
FileSize | 2783 |
MD5 | 259DE1FB588089C84DCD2509F3319EBF |
SHA-1 | 89993F5B683C245EE8AEBC339EE56E1F78AC4AFF |
SHA-256 | 13DABC2D76373E7817FFF0300EB6D4681EFD0A900FA27E71DF35931FC552B453 |
SSDEEP | 48:X6PlOpp84vtqk1zgno8Ey0/+i5MgcpRanLtUzg8CK4rAChTktHG:qdOpdvtqYzgxEyqMgtLeC/rACTktm |
TLSH | T109515CCA0ABA3D4234CD076616124CACA8B64641E19F426332F99B58B79C947FEFC800 |
Key | Value |
---|---|
FileName | ./usr/share/doc/libghc-djinn-lib-prof/changelog.Debian.gz |
FileSize | 735 |
MD5 | 6C2C58FB33531CE7A3B166B4E3EB07C3 |
SHA-1 | 8B0CF03F8EA0A504CA98D342597DBBB54AC7DF55 |
SHA-256 | B9AF9425BCEAF2B82D4F5364F28EB371DAAC538716A0F4C6F32015A57BCB0027 |
SSDEEP | 12:X68hraBTX99718f4ucOBfVVCLdXx9q4175gUqgSut5kdQ6Uq8IH:XJ0X9a4uRtVCLNrr9gywIIH |
TLSH | T18E0165E9296D43C2D83939D4CE050956B1BEBFFF111AF2880EA345E062AD6442D412DA |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/mips-linux-ghc-8.0.1/djinn-lib-0.0.1.2-I8G4t8gS9ji6rb5IdbJ9kj/Djinn/HCheck.dyn_hi |
FileSize | 9998 |
MD5 | 7C6C2A57BB4AF3F0BEC355A927F6A39E |
SHA-1 | 8E05317195E3D39D2F7F470496B61310D069197F |
SHA-256 | C6717ED9885BFCC7F50C9FA1454B806DE597EE148756F1C00C00B2115B39A95D |
SSDEEP | 96:VoEyDLakHyvsmQPPoxe0wyXg1ZzJ6xEB6bBY/SLHv6+XSzA7eMeWB5:VgL0dpeb1CxmvONSlMHP |
TLSH | T18722BA15DE19D31AD029CBB8CDB44704BA3CADD66B1297630394B8319CB16E43FB14F6 |