Key | Value |
---|---|
FileSize | 202524 |
MD5 | F3D68C45F4306E36A4CFDE2084961363 |
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.3-4+b1 |
SHA-1 | BC83650721DE2A5B18F69E1F3DB40D5D12EDDA30 |
SHA-256 | 21D101BA3ED1F142AD5F8B554C691EE951AF70DE6B721B12D6308E0FEB935EA4 |
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/libghc-xml-prof/buildinfo_armel.gz |
FileSize | 2876 |
MD5 | 9B0CD6A58812BCF96998A9CFD03E75D3 |
SHA-1 | 0417E94F80F990FCBB3AF716E13EF978633BFE48 |
SHA-256 | 87E90E448A3D0572E6AAB25293905CE2B46CF4FEE997BA7F66742552C6139D4B |
SSDEEP | 48:XKpLRGFsv6Z5DU9EUkTLOyB3Mv5FnUHoktqJKQQ2xTfNiVqmjZszFedtZK3Dyfeh:6pspQ9UOyB3Yc5YQw7kVhjZmop0yehP |
TLSH | T12A513BB704685A183888EEC5C201695779008234FA5E738559C8DAE6A63DFF7014A2EC |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/djinn-lib-0.0.1.3-DmyD8pER21d4ArHbuXLamc/Djinn/HCheck.dyn_hi |
FileSize | 11226 |
MD5 | 2E253A2907363475118DEA165A04461D |
SHA-1 | 0EAF1D24B16E043DDCD728E7FF58943783C0B83C |
SHA-256 | D1D8C7ABE1970FF88DA054268F82F12BC187DF16C04868BE69B75AE8374A31AA |
SSDEEP | 192:U2BNoZfFS+tRPxsXMa0fUga0t5e9+z9W+9SSmGLhtnZTaS:f7oZfQ+tR5sXMa6Uga07e9+zR9S3G1Pz |
TLSH | T1F032306FEF25E51AD9344974CE7143143B20DDD186E2EB83438A603D8CA79E42FD2AD9 |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-8.8.4/djinn-lib-0.0.1.3-DmyD8pER21d4ArHbuXLamc/Djinn/LJTFormula.hi |
FileSize | 32241 |
MD5 | 8704AB8FC97C2EFBCDBC2E3D41A70F3D |
SHA-1 | 14E90101BB6CE9D3371A311DA3FB3FBA7ADE4CA5 |
SHA-256 | 4D8345A2DCD022873B993764B2C7E9A4CE5B73B17D90EB23A63B02D55D9CFC14 |
SSDEEP | 768:0lkbcNoi2Aq89PwHYr+yirAjeloGcoFcx1k+4VY51Drq5ninNSVC2G+8ttCY9k9t:VIOe1b4VO1DrDvqd |
TLSH | T193E2C017FF09E116D93C0539C9BE53017B24DCC2921AEF47604A227A9CB72D16F9A7AC |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/djinn-lib-0.0.1.3-DmyD8pER21d4ArHbuXLamc/Djinn/HTypes.hi |
FileSize | 50392 |
MD5 | A3F0C2D029B870E20C1CF0755C50E1DD |
SHA-1 | 18F244ED4E81CD85909185E231B781935EF43DCD |
SHA-256 | B0403C03C9F5308D858E353A1CC8AC4E3ED73B2DAD43E228F8D3B0CBB4A5AF59 |
SSDEEP | 768:OqswbJdvrPviL4sg0+Q+sqhutltESn8WlENX8FfsW/EM9K1aCPeYW9eGIH5HbOow:OUX3Q+JqPKb7Y |
TLSH | T1D333DB6BFF48D426CA3C0A74C97303197B20DDC19649EB93604926B9DCA31D06FD9AEC |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/djinn-lib-0.0.1.3-DmyD8pER21d4ArHbuXLamc/Djinn/LJT.hi |
FileSize | 37942 |
MD5 | 8FA81BE22683C48C5012023F279E5F0F |
SHA-1 | 46221B608E225F3FE6681FE2272531E7DCB17004 |
SHA-256 | DCAF1BFCF494FF9CE120175C8C29C096439F4ABBA3919F0EEF740D5BDD34DAA3 |
SSDEEP | 768:Gg/gWgtguZh3foLtqDRZgwY3g6glg6gngDg6gSg6gseGYTpbp83Ze0Ykpk3ueLRy:wlWidq2iAQDq |
TLSH | T16003B82BFF48D146D93A06B48A7703596B60D8C18695FF47710AA1BD9CF31E06FC1AE8 |
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/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/arm-linux-ghc-8.8.4/djinn-lib-0.0.1.3-DmyD8pER21d4ArHbuXLamc/Djinn/LJT.dyn_hi |
FileSize | 37954 |
MD5 | F231D7FF183A2DAAF8B33268439466A4 |
SHA-1 | 7A56B9DD9FC01D4998D4E529A161E412FADC1FAB |
SHA-256 | F799696235E64A7A2063261D21583534B2DE6D0C52874416FB7B11C1101F29BA |
SSDEEP | 768:5g/gWgtgCFpf7UHtWfRZgwY3g6glg6gngDg6gSg6g4eCYvpjpw3FegYgpI3dUeLX:b5bvk719qAQDq |
TLSH | T17203B82BFF48D146D93A06B48AB603597B60D8C58595FF07710AA1BD9CF31E06FC1AE8 |
Key | Value |
---|---|
FileName | ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/libHSdjinn-lib-0.0.1.3-DmyD8pER21d4ArHbuXLamc-ghc8.8.4.so |
FileSize | 450264 |
MD5 | 17AC1DA1C08523885C059CF14B78CEEC |
SHA-1 | 8B5E69F7D433D16676EE85028752806251C64BC2 |
SHA-256 | D476A0AF0600F5F338D742A7B58F82F6B496096FAF2F8ECAFEC2A28B53F85FD6 |
SSDEEP | 12288:/ZuTAocHNlNjXMOW7VCJtmzAsDzcYvYzVzuvsWAQ5iE3bRLoT4HN8FnJYdBpRjhm:/Zq0C+stQJgHF18QD47 |
TLSH | T110A4A715F8004658FAEE0138F2FA9B64A2370A4D4E8FFA195924FAF57B7F1549D23306 |
Key | Value |
---|---|
FileName | ./usr/share/doc/libghc-djinn-lib-prof/changelog.Debian.armel.gz |
FileSize | 296 |
MD5 | AC56D590AD8B788FF30E69C29104ABC7 |
SHA-1 | 9394908491B457D65AF5304EC272E350F63E577F |
SHA-256 | EBD031E741269BDF4A33F695D6C7C8B2D075D02651A8EA8E3A8C135E2C1824C9 |
SSDEEP | 6:XtvYTzHOgddyyMulhSkKxO0jDqkfZv+6o55bjKMNGMcaU:XtY3OgddNCBOeqrNGMI |
TLSH | T101E0EB2E225F90C1FEC0FE184DA635B24E4C54A0808ED8B8893E063223C90D6A4B8405 |