Key | Value |
---|---|
FileSize | 228990 |
MD5 | BE2CD29B33C34BFA1CCF356C68F0E877 |
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 | 24653D839B8731994FF51326D4ACCB136380FA42 |
SHA-256 | 13CBDD15CBD19495070C8309578060BA84D30E74AA13C21772BF7792DE83AF8C |
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/powerpc64le-linux-ghc-8.0.1/djinn-lib-0.0.1.2-I8G4t8gS9ji6rb5IdbJ9kj/Djinn/HCheck.dyn_hi |
FileSize | 9998 |
MD5 | FC5A0D6F974F2964B4A49A32DD59F390 |
SHA-1 | 17B389E11CAB2314456BCA2804123A2053B9ECBE |
SHA-256 | 2461ABDC01EB62438D77DB15BD90C84B1E4CB3695120F3B12872D85917A1D826 |
SSDEEP | 96:FywaTBkDMakilVsmQPPoxefIEJEtZzJ6xEB6pW6QLrv6+XSzA7eMeWB5:Fy1IMcdpeYCxm/NSlMHP |
TLSH | T19E2297559E19D31AD029CBB8CDB54600BA3CAED62B52A7630394B8319CB16E03FF15F6 |
Key | Value |
---|---|
FileName | ./var/lib/ghc/package.conf.d/djinn-lib-0.0.1.2.conf |
FileSize | 1235 |
MD5 | 5C3CC4F96369E36886EA25F77D049DBF |
SHA-1 | 2A2D8FF65536E4CAB4D1C82B39F4C13020BB8F43 |
SHA-256 | 79C4CCAA76081A2B971FD457CC1AF147CC145EDFF7D72A31DF033FFF0593706E |
SSDEEP | 24:TPV3oV3ktbSLDIY20WlksrYaANGIr4bA67gE+5aH1aV3AzH1aV3LUV3E1StVOcGD:TPS2ZSA30WlDr+Jr4blpv4C4FU/tPe |
TLSH | T16C2105A0D787B3AC784CAC8864903730D77C2FE82521B960764C5B6593717EDDD35E41 |
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.ppc64el.gz |
FileSize | 242 |
MD5 | 673C1D0D91A19BE920DFA820E414E7C2 |
SHA-1 | 5BF19B8FEA72D2B47BB1BE5B0FC645511F1A5821 |
SHA-256 | 5D27D6E82DC3F6E74C0D9B814A401911B6295DBD616F3DE68E338E6114984EF3 |
SSDEEP | 6:Xt4oePVYwFbY1T9oyEY6Vk7t4wpPZKvmH+VKLKZiISUaieqE:XCoaVzk9oPVkx4wpAvmTkiISxH |
TLSH | T15AD097C51EB040FEB086026434A9CA120D0E1A56B20002070CE0A1B03E979EE08CB82C |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/powerpc64le-linux-ghc-8.0.1/djinn-lib-0.0.1.2-I8G4t8gS9ji6rb5IdbJ9kj/Djinn/LJT.dyn_hi |
FileSize | 33207 |
MD5 | EE8BAE18217EE8A328CCF0CCAF678CF1 |
SHA-1 | 6D5D54D65FADC2F7D3D27BA445DDFF4DB54A90B7 |
SHA-256 | 5B783AC0A21EF7335602FF327A2B54741DCC9227A8859BE2341852A8DA4CFDDC |
SSDEEP | 384:1Zh0NOQqU88O7ci9+STAvi8/UgMITneUv6K5Zegjvxs+9CvCS+mbfySMfwAJzStz:0818S62mkKO3+U+mbfySMfwAJGz |
TLSH | T1F5E2C902FF86E20BD8255BB184B95349BB38DDC11B938B574009B535EC733D67EB226A |
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/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 |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/powerpc64le-linux-ghc-8.0.1/djinn-lib-0.0.1.2-I8G4t8gS9ji6rb5IdbJ9kj/Djinn/HTypes.hi |
FileSize | 43254 |
MD5 | B4328049E959ECBD0352159CC50EE02F |
SHA-1 | 8F4C3CA57D82F5C142C0E3473DA4D1CA1785E06F |
SHA-256 | B792F818A7C8925EC4FA8495FC329D9ED1CD2EF26BD5CD840CB97F8B7B34229C |
SSDEEP | 384:FOcWjpmWfJKg/QiECPt917nCc1lEgPekT6EgTITt7pzANVe1VeJTEtvIY4Nj016G:cmWRR/QxdyeA2NERJ16jENKqtwAG8H |
TLSH | T17813DD16EF45E22AD8380BB5C8BA1345BB39D9C25B02CB9341587531DCE72D46FF92AC |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/powerpc64le-linux-ghc-8.0.1/djinn-lib-0.0.1.2-I8G4t8gS9ji6rb5IdbJ9kj/Djinn/LJTFormula.hi |
FileSize | 29619 |
MD5 | 9FD80465DFC7CE44946B56234FD27E17 |
SHA-1 | 901BCE740EE4608BBB44ACF77B565DC0EB2FF289 |
SHA-256 | C8CAF7F5E26A4F3FC62A1C9336E30CDA8963E7247FB7F50A5D6718FCCEB2C8E0 |
SSDEEP | 768:tHNn2VEk+4+Y12QwW8+yt+nZtP1BUrWdI63I+TDOQ:JcVEDuNPUrWy64+TDOQ |
TLSH | T19DD2C817EF44F222D9390BB588BB43417F74EAC217079B5B50893235DCA72E15EA63AC |