| Key | Value |
|---|---|
| FileName | ./usr/share/blends/tasks/science/logic |
| FileSize | 6 |
| MD5 | 574EB86009F017EE8516AAF2D3756F41 |
| SHA-1 | 4EDFFEA9FFC3D23C5CD71DAA41AF2BA41FF0EE81 |
| SHA-256 | E552E6C4992D62E676340476DBC7F8FAE7B467892CB1FAE971E279924BEF3670 |
| SSDEEP | 3:Lv:Lv |
| TLSH | |
| hashlookup:parent-total | 17 |
| hashlookup:trust | 100 |
The searched file hash is included in 17 parent files which include package known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileSize | 3942 |
| MD5 | 33B2F75928947FCC89C3BB6A0D98C279 |
| 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 | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | science-logic |
| PackageSection | metapackages |
| PackageVersion | 1.3ubuntu1 |
| SHA-1 | 02E2457B72A4698C77F719AB633BA065F0786F4A |
| SHA-256 | 091628DDAA06D521AC2849CF33A77CBD8A326CED18B6C4526CEA7B031B1A72B2 |
| Key | Value |
|---|---|
| FileSize | 3898 |
| MD5 | 08171AC3E5C5643617987FB7CB2EF693 |
| 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 | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | science-logic |
| PackageSection | metapackages |
| PackageVersion | 1.4ubuntu8 |
| SHA-1 | 0F024DB54CE12378440B196C9F3A9E3E2C1EC6A6 |
| SHA-256 | BCC02BEA60B950D258C99CFC9CE50200629F1FAC36275411DC5FD3C1C10D9838 |
| Key | Value |
|---|---|
| FileSize | 11494 |
| MD5 | 1E26E156FC507F2FD6AC768481CE0228 |
| 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.4 |
| SHA-1 | 1AC670C77B13703DB64BD054C473116E1CDE6736 |
| SHA-256 | B74500BF1242CA5C0EC7D4879B5F201F55C5194C6CD8F78E8E9F0C2AF38A2A8C |
| Key | Value |
|---|---|
| FileSize | 4004 |
| MD5 | 2A042EBE9B6816B5E798DF9784552CA7 |
| 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 | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | science-logic |
| PackageSection | metapackages |
| PackageVersion | 1.14.2ubuntu1 |
| SHA-1 | 25E2669C4F895B907D332F487F2EAFB09AFF671D |
| SHA-256 | 060683747510A8E50A25E450A67513F3F3F9B2F4A8B5869AB8F4DCDEE632848A |
| 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 |
| Key | Value |
|---|---|
| FileSize | 21024 |
| MD5 | D0A7C1233B6D92725644E6D91EB2FDCF |
| 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.14.2 |
| SHA-1 | 2F02B8293B3E79DA7E9CAC8E7237F300C20F83F1 |
| SHA-256 | 71192912F8D410779F303DF708322F997F97DA7BA1DBB575E33EEC421448711D |
| Key | Value |
|---|---|
| FileSize | 3916 |
| MD5 | C6AE03E8219841AAB6500AC947D162D5 |
| 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 | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | science-logic |
| PackageSection | metapackages |
| PackageVersion | 1.4ubuntu7 |
| SHA-1 | 382885B30DE7E14B6372B46131B2401ADD45D556 |
| SHA-256 | 755A113BF28DC6AC36FF6EDDC6CB575AFE2C4A077E28E5A95806AC858E0BD2CD |
| Key | Value |
|---|---|
| FileSize | 4004 |
| MD5 | 2120CF4582273992A32F37B727BAB119 |
| 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 | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | science-logic |
| PackageSection | metapackages |
| PackageVersion | 1.14.1ubuntu1 |
| SHA-1 | 46106D1F87263174443EFEBFDB8E6AF0EF3883B2 |
| SHA-256 | 7A7D41868BF0CB8B34651988C75D59031097535C826DF682BC6FFA1FD44FE8EB |
| Key | Value |
|---|---|
| FileName | 14587 |
| FileSize | 3898 |
| MD5 | 935C7A70CA3F32EBC756AA3327FDCAEC |
| 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 | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | science-logic |
| PackageSection | metapackages |
| PackageVersion | 1.4ubuntu11 |
| RDS:package_id | 182052 |
| SHA-1 | 841F069568C5F234D557D4B2E462BB4BAE87D963 |
| SHA-256 | 2F9238D328AC62621A0840375C80F5549CEB80D53509A7F6899FF54B0536D4AB |
| insert-timestamp | 1679408378.188113 |
| source | RDS.db |
| Key | Value |
|---|---|
| FileSize | 3908 |
| MD5 | F0A3BD272F8A286F2E0F8AB162B2EC5E |
| 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 | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | science-logic |
| PackageSection | metapackages |
| PackageVersion | 1.4ubuntu12 |
| SHA-1 | 85DFC5736B42411295013B96B77E0B3BFFF3545E |
| SHA-256 | F64A8B48F73040ED48F92B87BA56A076972E374E51EFB94EC92DA1445F67B120 |