| Key | Value |
|---|---|
| FileName | ./usr/share/coq/coqvars.mk |
| FileSize | 281 |
| MD5 | 1D8470704D115D11401129A1B29CFE9C |
| SHA-1 | 0E7EF1DF7B44522386DF4DAC9938EE5E478338E9 |
| SHA-256 | 8F76E0C802D593B5CB7FDF1387CE40BE358F39EFB152100D3343E8A9AD851FB6 |
| SSDEEP | 6:S+biAb6A0FflbQmncJ/szEAhC2Ib8hnVQJ9WrdgUCFqJrwedDW6jI:1bixA0/bQme2I8neJ0JgUCFqBrjI |
| TLSH | T1C9D0C2326E4C2A0DC9A40A82374A656A5211A5BA8A0534358B9C6B56225A09AA31B72F |
| hashlookup:parent-total | 6 |
| hashlookup:trust | 80 |
The searched file hash is included in 6 parent files which include package known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileSize | 63434200 |
| MD5 | 8AFBA78BB25154D805B8848D1F755C26 |
| PackageDescription | proof assistant for higher-order logic (toplevel and compiler) Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. . This package provides coqtop, a command line interface to Coq. . The proofgeneral package allows proofs to be edited using Emacs and XEmacs. |
| PackageMaintainer | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | coq |
| PackageSection | math |
| PackageVersion | 8.9.1-1 |
| SHA-1 | 84674218CA7CD3EC78FC2CB6576341FFDD6F4567 |
| SHA-256 | 51601853632A78651FFD84E10C64594A9AC3F07977B7A9748CAD33FE34FBA83E |
| Key | Value |
|---|---|
| FileSize | 59502048 |
| MD5 | C1B4FD0DD8C9A353C1E8B9C03411B7E5 |
| PackageDescription | proof assistant for higher-order logic (toplevel and compiler) Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. . This package provides coqtop, a command line interface to Coq. . The proofgeneral package allows proofs to be edited using Emacs and XEmacs. |
| PackageMaintainer | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | coq |
| PackageSection | math |
| PackageVersion | 8.9.1-1 |
| SHA-1 | 6CCEC30FB7AC805459B15BC5860C77DC6901B120 |
| SHA-256 | D57E890C2712DDDCE19080FDCB704C920E559E9AACB75C194885D39A91ADB647 |
| Key | Value |
|---|---|
| FileSize | 60508948 |
| MD5 | 7D7520927CD14D03757F92CCA5AF2CAF |
| PackageDescription | proof assistant for higher-order logic (toplevel and compiler) Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. . This package provides coqtop, a command line interface to Coq. . The proofgeneral package allows proofs to be edited using Emacs and XEmacs. |
| PackageMaintainer | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | coq |
| PackageSection | math |
| PackageVersion | 8.9.1-1 |
| SHA-1 | 18A2D17787464E555ACCA9A307A5598F173C03F4 |
| SHA-256 | A1FC7E5B826530981BF193321AE1A662BE658F308A929C9994204FC5337417E0 |
| Key | Value |
|---|---|
| FileSize | 57546728 |
| MD5 | 54BED8241ACAF6AEB3A7287A86A879F2 |
| PackageDescription | proof assistant for higher-order logic (toplevel and compiler) Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. . This package provides coqtop, a command line interface to Coq. . The proofgeneral package allows proofs to be edited using Emacs and XEmacs. |
| PackageMaintainer | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | coq |
| PackageSection | math |
| PackageVersion | 8.9.1-1 |
| SHA-1 | C73AFC3EECB381F3E786D7D1E0C73BDBE0624EBE |
| SHA-256 | 4DCD7F19A122FAFEAC599B7CC69908C994A73A04EECAB976D770C3F3D2EFE5C9 |
| Key | Value |
|---|---|
| FileSize | 56309576 |
| MD5 | 7FC356190F14CB84A039F99B52759DE1 |
| PackageDescription | proof assistant for higher-order logic (toplevel and compiler) Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. . This package provides coqtop, a command line interface to Coq. . The proofgeneral package allows proofs to be edited using Emacs and XEmacs. |
| PackageMaintainer | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | coq |
| PackageSection | math |
| PackageVersion | 8.9.1-1 |
| SHA-1 | 21D5F4052CC7F36834C4BE03CF757D62BEC4212F |
| SHA-256 | 859A70057B39055DCF34EB482E8FE9DAC2FCC44B21F7019EF7A49CBC2DD91CCF |
| Key | Value |
|---|---|
| FileSize | 59085596 |
| MD5 | 20D8D7326261F8022D8711B8D9BF6462 |
| PackageDescription | proof assistant for higher-order logic (toplevel and compiler) Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. . This package provides coqtop, a command line interface to Coq. . The proofgeneral package allows proofs to be edited using Emacs and XEmacs. |
| PackageMaintainer | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | coq |
| PackageSection | math |
| PackageVersion | 8.9.1-1 |
| SHA-1 | 58BFF8D5D184D857A63C989983EEF8776838D182 |
| SHA-256 | B1F1FB841AEB6EA7FEFC7E34B0A127866328D1D10046C03B381774828FEA156A |