Key | Value |
---|---|
FileSize | 361394 |
MD5 | F46F0E20F1AD12B2FC79F78BCF4BB85B |
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 | F77AD8FA6E8EA1C9624CD84026A0E5C5EB0D58B1 |
SHA-256 | 414A507159AF306A6D37C75C87AB9C5AF471922CF9BC4A7025794F8EA1BFF0EE |
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/s390x-linux-ghc-8.0.1/djinn-lib-0.0.1.2-I8G4t8gS9ji6rb5IdbJ9kj/Djinn/HTypes.dyn_hi |
FileSize | 43270 |
MD5 | 14B25117910BD24402A574075D504903 |
SHA-1 | 06118089DE4C4C76398E8911BDFB643A42D37E7C |
SHA-256 | 6DE341874CDDD3ADA27DB85E2F904CD6D5C117280303ECA39A99D12778E02ED4 |
SSDEEP | 768:xhvWWRwiAD9efGNydVrJ16jENKqtwAG8H:xEefGsEA/ |
TLSH | T1D213EE16EF45E22AD8380BB5C8BA1345BB39D9C25B02CB9341587531DCE72D46FF92AC |
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 | ./var/lib/ghc/package.conf.d/djinn-lib-0.0.1.2.conf |
FileSize | 1223 |
MD5 | FBE7CBBA23FA7AA3113168F1ADEAED73 |
SHA-1 | 4535AA6ABDABAD76AC20EBA6E5FE06EC0C38BF5E |
SHA-256 | CA48F860D49F11DD19F420D62038079C4094E234557E846EDEED73D32FB02312 |
SSDEEP | 24:TPV3oV3ktbSLDIY20WlksrYaANGIr4bA67gE+5a1aV3Az1aV3LUV3E1StVOcGD:TPS2ZSA30WlDr+Jr4blpvYCYFU/tPe |
TLSH | T147210560E787B3AC784CAC8464503630D37C2FE82521B9607688576493616EDDD26E41 |
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/share/doc/libghc-djinn-lib-prof/changelog.Debian.s390x.gz |
FileSize | 237 |
MD5 | FAEA3C598318A07C79136517CCBBD527 |
SHA-1 | 7630B372F99A01E5F69A78313596CD93049DFD9A |
SHA-256 | 8BEF37177539087B426FD7B829EB55AA2646ACAAD3298DC6392FBB8C1683DDCC |
SSDEEP | 3:FttvwOtPxO60ytS0FyEZtWh/h6ThgHY81qvHT51DO9SIDAGax7f2aqZsiHXqGItw:XtIOdcytTt457O7Mi92aqxXGtf7BhLlq |
TLSH | T1CCD09704C191218AC362EA730C21EE038BAA8818343034E8E9D92B4170C92202601222 |
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/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/s390x-linux-ghc-8.0.1/djinn-lib-0.0.1.2-I8G4t8gS9ji6rb5IdbJ9kj/Djinn/HCheck.dyn_hi |
FileSize | 10002 |
MD5 | 82A64E7A677EB41E8A1AB3B199518CE1 |
SHA-1 | 8CB9C3E2907001B3C742A12C43056884B4C1B7E0 |
SHA-256 | 4B8C6CEB3B94D0C4895D4690C97581BCA2E01944F34AE0C11ABD05EE4048E3B8 |
SSDEEP | 96:HawaTBkDMCwal5sxPPoxef8EP9YlZzN6xEB6JfQf++XSzA7eMeWB5:61IM0veYWxmtSlMHP |
TLSH | T1BF22B8559E19D31AD029CBB8CDB54600BA3CAED62B53A7630394B8319CB16E03FF14F6 |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-8.0.1/djinn-lib-0.0.1.2-I8G4t8gS9ji6rb5IdbJ9kj/Djinn/HTypes.hi |
FileSize | 43258 |
MD5 | 24379A25A9DBA7A8EED5D72F06A240EF |
SHA-1 | C00C68257E5994C71823F7217D6EC9065EBF374B |
SHA-256 | 4B26537EEEEADB0307765E86F26F480981DF7FED6D6476D0162C185510D0880A |
SSDEEP | 384:xOcmzZqW7VuVz0ixLtllbnCGlcYre4TWEtGTITZzJ3YN5G1xeJTUtkY4Nj016iya:wqWxwz0b+eGzKN01J16jENKqtwAG8H |
TLSH | T1C913ED16EF45E22AD8380BB5C8BA1345BB39D9C25B02CB9341587531DCE72D46FF92AC |