| Key | Value |
|---|---|
| FileSize | 16446 |
| MD5 | 290DD41D3CD6D6059A773A7A78818067 |
| PackageDescription | Debian Science Logic packages This metapackage is part of the Debian Pure Blend "Debian Science" and installs packages related to Computational Logic. It contains formula transformation tools, solvers for formulas specified in various logics, interactive proof systems, etc. |
| PackageMaintainer | Debian Science Team <debian-science-maintainers@lists.alioth.debian.org> |
| PackageName | science-logic |
| PackageSection | metapackages |
| PackageVersion | 1.7 |
| SHA-1 | 2E0973A5C68C5E111622DE874551DD2AA45D9EC0 |
| SHA-256 | 6DC906CFF533BDFC0870FF3E26A876469AF8F9137CF0D16B295A8330DC0EB7DA |
| hashlookup:children-total | 4 |
| hashlookup:trust | 50 |
The searched file hash includes 4 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/science-workflow/changelog.gz |
| FileSize | 12327 |
| MD5 | 6DA2F391A84889CBD63E0F5B7C351F20 |
| SHA-1 | 453D5A000EE778C2F00C3C06A94D7F641FAA909C |
| SHA-256 | A6C8AACFF82F3901EB3C800EF33E25617FD955EDC095A179968C439CF8308F26 |
| SSDEEP | 384:pZoSo87JOsx1CpZjinj3SKkpQlOJWwIfPo8P7d53:pOS77JOsXCpZujChQlOVIfP5T |
| TLSH | T1D542C0C7C469993CA71FB7627865A2D22471EC131DEEFEE413974100EA9600BC6A822A |
| Key | Value |
|---|---|
| FileName | ./usr/share/blends/tasks/science/logic |
| FileSize | 6 |
| MD5 | 574EB86009F017EE8516AAF2D3756F41 |
| SHA-1 | 4EDFFEA9FFC3D23C5CD71DAA41AF2BA41FF0EE81 |
| SHA-256 | E552E6C4992D62E676340476DBC7F8FAE7B467892CB1FAE971E279924BEF3670 |
| SSDEEP | 3:Lv:Lv |
| TLSH |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/science-workflow/copyright |
| FileSize | 1131 |
| MD5 | 99283FDC2C1E471AE73D5405440A5972 |
| RDS:package_id | 182052 |
| SHA-1 | B0FA3975488674F20D8F70D58170C77A57ED2A5C |
| SHA-256 | CC7F236AF0BDBADE1AE4D473E00C3C5FA6C560561AEA0ECC9FB2D27CC6407C12 |
| SSDEEP | 24:g0tXLFSf9Z7x0NZRh0LVyROkHAITbVsCG7nAyDwm:vQl5OXEyvHkL7nxcm |
| TLSH | T12621304E5480D3BE994066C1758A54EFE32AA7EA71BCC0C1300E835FDF0AEB906F62D4 |
| insert-timestamp | 1679425627.8435416 |
| source | RDS.db |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/ezgo-office/README.Debian |
| FileSize | 946 |
| MD5 | 261F9E4D1F12C3F513EAA507DE08EFEA |
| RDS:package_id | 182052 |
| SHA-1 | C84677B001614B010907BE04212B7DB1630C1EB8 |
| SHA-256 | BE3CD86F1C6D2F3314EFBEE295010EE17D8D314E7C2E62325F811CFC1EAE2C6E |
| SSDEEP | 24:Xe/8Zs3HGzD5zmX/np/ZXik09h2+g9RLGX0:X6j3m3BonF4F9otu0 |
| TLSH | T11811DC9B8FD053A508E2CC96765B7072CB9E7170325850E1724E4A396626962416FC70 |
| insert-timestamp | 1679427387.0777874 |
| source | RDS.db |