Key | Value |
---|---|
FileSize | 159668 |
MD5 | 09057ECC38F6D7C9CD667DB0A5B7931F |
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 | 816B278B1B104CB711B2F470E3376D6B8C368CF6 |
SHA-256 | 1DE21B55E2F599EBE02FA910970704166942C27EE573AB2B21CB4437C964C8B8 |
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/share/doc/unlambda/buildinfo_amd64.gz |
FileSize | 2867 |
MD5 | CE0FAB2C8E62770FE609C43DFF9074AB |
SHA-1 | 11C9EF913C449E23D36E6C546EA10EEF3E98578E |
SHA-256 | 7122EC5AB5C135E001A893F1F2F3875C8431483C7859EB2A6DD4E777D78D8808 |
SSDEEP | 48:XSW/IW8JZYuFa/N6eHvpNhBZPHN2lBzhq5ORyA+OTkEGEBmLFie9VAUcKJcGjHU2:ETw6yNlhHfNEhq+yRCF0Lytr202 |
TLSH | T171513D9D71542793CC5E525E6F3EC8F005CB24A9FC4060651A1BD47F4EF61D1EDD1640 |
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/x86_64-linux-ghc-8.0.1/djinn-lib-0.0.1.2-I8G4t8gS9ji6rb5IdbJ9kj/Djinn/LJT.dyn_hi |
FileSize | 33207 |
MD5 | F67E75C9A5D31E638092CBD1B07153D6 |
SHA-1 | 6361587EEDEAE2B6EADA1247EFFEF39FB12A8D78 |
SHA-256 | 7E2F31D61111EAA911DE0722EA1F204ACC14A281D637D07951F60F2334941E36 |
SSDEEP | 384:KZe0NOQqU88O7ci9+STAvi8/UgMITneUv6K5Zegjvxs+9CvCS+mbfySMfwAJzStz:k818S62mkKO3+U+mbfySMfwAJGz |
TLSH | T120E2B902FF86E20BD8255BB184B95349BB38DDC11B938B574009B535EC733D67EB226A |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.1/djinn-lib-0.0.1.2-I8G4t8gS9ji6rb5IdbJ9kj/libHSdjinn-lib-0.0.1.2-I8G4t8gS9ji6rb5IdbJ9kj.a |
FileSize | 674000 |
MD5 | 809DE578DB7659DF591625D407F0C441 |
SHA-1 | 65D90E96B0163141D98C8B0B0245B19C548AC731 |
SHA-256 | BA34DF2F7A4224EBEE111C187E5BCDC562D90C7AB3D2018857A4C701C72B9B85 |
SSDEEP | 12288:W9ITups7FcaZsFyeT5MLb9D5dOEUWTV9iAifF9CrcvOavOI0VV22c+U8KnB1Oz:WOTups7FcaZs4eFM |
TLSH | T161E452207A4294AFD87C87345AF52BA562355CC84F4B3B362264B2EE1F72F440F79B61 |
Key | Value |
---|---|
FileName | ./usr/share/doc/libghc-djinn-lib-prof/changelog.Debian.amd64.gz |
FileSize | 242 |
MD5 | FF69F323D5FF3C7EF2B814444D3886B1 |
SHA-1 | 751E63360655907BDDCF387CF8BDF4BE38B195AE |
SHA-256 | 216910FFA9B1CDEDF83583A556EAFC95F3FD390122AE1A8A6EDD6FBD035C957E |
SSDEEP | 6:XtuVaFf6OgcxUgB9upKVDcRrucQbq437Ta09eIFiX4H:X0Va/gcygBwpK5cRrhSL3ODG |
TLSH | T1C7D097D20EE4A72CDCC04AB054F4B0744A1F4C7BBA3752046927C84082C691092E81E2 |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.0.1/djinn-lib-0.0.1.2-I8G4t8gS9ji6rb5IdbJ9kj/Djinn/HCheck.dyn_hi |
FileSize | 9998 |
MD5 | 3B6BA80DADABB5E535F1B9C60C832E57 |
SHA-1 | 766528415438CD7AEE0785130B45CD3F181425D5 |
SHA-256 | BD0587E5AEC50192A431D44BE99B963BCF800C5C98BC270303DFAE1F151FB595 |
SSDEEP | 96:Fowa3LyBkDMakiU9ysmQPPoxefIlSRCZzJ6xEB63jE6QLLv6+XSzA7eMeWB5:FoIIMAdpesCxmkiNSlMHP |
TLSH | T1DC2297559E19D31AD029CBB8CDB54300BA3CAED62B52A7630394B8319CB56E43FB14F6 |
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/x86_64-linux-ghc-8.0.1/djinn-lib-0.0.1.2-I8G4t8gS9ji6rb5IdbJ9kj/Djinn/LJT.hi |
FileSize | 33195 |
MD5 | 1176BDDAEC9FD3DE50100BE0CA03DC0A |
SHA-1 | 7E076E05468B2F3EA8859DC21B3F9C8C5CCE1CB0 |
SHA-256 | 1608148DBF0A8B4D0C8597D8E16664340ACA5E7F6C7DA975A1B2849574379FE6 |
SSDEEP | 384:RVe0dKFs1LwOvwiN+uweAvi0H0gnIrnKQvSSVZagjvQsac9CvCS+mbfySMfwAJz6:zhLptMu6+hkSeYacU+mbfySMfwAJGz |
TLSH | T10BE2B902FF86E20BD8255BB184B95349BB38DDC11B939B574009B135EC733D67EB226A |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/powerpc64le-linux-ghc-8.0.1/djinn-lib-0.0.1.2-I8G4t8gS9ji6rb5IdbJ9kj/Djinn/LJTFormula.dyn_hi |
FileSize | 29631 |
MD5 | 550612469B9DF0F408F3703F2A3D5C84 |
SHA-1 | 86A0B1DAFFC3177A25E7D551B284F18E6FA6A2C2 |
SHA-256 | F7A736C136B7E6C72546C2EDCBB1AC68CC0ECEEE83F7AA267651FE68B99000A4 |
SSDEEP | 768:kAJcyeY9iVZFEKkwW8+yt+nZtP1BUrWdI63I+TDOQ:1ReYcVnyPUrWy64+TDOQ |
TLSH | T106D2B817EF44F222D8390B7588BB43417F74EAC217079B5B50893635DCA72E16EA63AC |
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 |