| Key | Value |
|---|---|
| FileName | ./usr/share/coq/coq.png |
| FileSize | 12317 |
| MD5 | 563B6FCBA96E52D3A19A5F722EEEA198 |
| RDS:package_id | 182052 |
| SHA-1 | 4587D561D95D9B944B387319C167C56193C2AF83 |
| SHA-256 | 18AF357E620C0454A3F5B6B5481FA5F8218742EF1800C390660E1D65C5C812FA |
| SSDEEP | 192:HVmZEgh1wEFuLHw1/u6UfId7w2LcJe4hWilP+Q+aWWs1ADI5FTdQD8BC:103w5HwdDS9JvhWixJ+aPSA+qDiC |
| TLSH | T14442C0B5AFD4BA79C0E7021F33D85FA500758DB60DAA56192E1B68F00A0F34D1AD269F |
| insert-timestamp | 1679425506.2483099 |
| source | RDS.db |
| hashlookup:parent-total | 19 |
| hashlookup:trust | 100 |
The searched file hash is included in 19 parent files which include package known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileSize | 1759240 |
| MD5 | 0CE905F5967317A22488937C14BA4B45 |
| PackageDescription | proof assistant for higher-order logic (gtk interface) 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 CoqIde, a graphical user interface for developing proofs. |
| PackageMaintainer | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | coqide |
| PackageSection | math |
| PackageVersion | 8.12.0-3build1 |
| SHA-1 | 0EBC8443621D94D0308923E4930550F18906B1E6 |
| SHA-256 | 4CA547F01659B262153C14B13254D29CA5B0BA870A5D93A1414242D8B1EB04B7 |
| Key | Value |
|---|---|
| FileSize | 1600522 |
| MD5 | 0719C9C9485DED35D138160429208FAA |
| PackageDescription | proof assistant for higher-order logic (gtk interface) 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 CoqIde, a graphical user interface for developing proofs. |
| PackageMaintainer | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | coqide |
| PackageSection | math |
| PackageVersion | 8.6-4build3 |
| SHA-1 | 27024FDAE8DF81390223FB8867A0AB85AD2EF0EE |
| SHA-256 | D84938DC2F09CDDFB073F36E4FBF7E0A8A6CC5D9CAED7BCB6023B898E6C6E8D8 |
| Key | Value |
|---|---|
| FileSize | 1758824 |
| MD5 | F324E63A1122CD5ECBA95D5BF16A5F40 |
| PackageDescription | proof assistant for higher-order logic (gtk interface) 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 CoqIde, a graphical user interface for developing proofs. |
| PackageMaintainer | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | coqide |
| PackageSection | math |
| PackageVersion | 8.11.0-1 |
| SHA-1 | 31B1537FA9A5A9E9A7533F9FC6DB0A1D70ADC791 |
| SHA-256 | CA6CE62595D153014E5ACD5BA441F7EB858039D82CFE36BED2F7CB6B3B78229D |
| Key | Value |
|---|---|
| FileSize | 1388920 |
| MD5 | ABFA7D342FD6B5D739B284261A909D0B |
| PackageDescription | proof assistant for higher-order logic (gtk interface) 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 CoqIde, a graphical user interface for developing proofs. |
| PackageMaintainer | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | coqide |
| PackageSection | math |
| PackageVersion | 8.6-5build1 |
| SHA-1 | 37A49C83928E08CE2577A5A8D1A3EBC4044306B6 |
| SHA-256 | D445D0EE43833E64BEED436591A669F8BFBCD0326D1FE5F22DC001666108ADA4 |
| Key | Value |
|---|---|
| FileSize | 1868760 |
| MD5 | D38DF8CC4B5ADF97E6CAFC4FEBDA8ED3 |
| PackageDescription | proof assistant for higher-order logic (gtk interface) 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 CoqIde, a graphical user interface for developing proofs. |
| PackageMaintainer | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | coqide |
| PackageSection | math |
| PackageVersion | 8.12.0-3build3 |
| SHA-1 | 4B892100AFD3A80D3697203C31F5AE63D688E0E0 |
| SHA-256 | B27F3A0C6EC0C5CE9F78C818DC7D590F924905EE26AFEFFD2F4843DF549D1746 |
| Key | Value |
|---|---|
| FileSize | 1544828 |
| MD5 | F26EE9BF27978AF0B8391FC2824E1241 |
| PackageDescription | proof assistant for higher-order logic (gtk interface) 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 CoqIde, a graphical user interface for developing proofs. |
| PackageMaintainer | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | coqide |
| PackageSection | math |
| PackageVersion | 8.6-5build1 |
| SHA-1 | 53D10ACCC3FE5C902A90C08C3718879A34E5E086 |
| SHA-256 | E41A56E5DC054395A99A0AF397B673D763F9BFC1C58A78CF8F49DCB8B1880627 |
| Key | Value |
|---|---|
| FileSize | 1701988 |
| MD5 | 361FE2CDA62C36B39BA44170281478AC |
| PackageDescription | proof assistant for higher-order logic (gtk interface) 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 CoqIde, a graphical user interface for developing proofs. |
| PackageMaintainer | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | coqide |
| PackageSection | math |
| PackageVersion | 8.6-5build1 |
| SHA-1 | 55C5F051F5426DAA58C99726BD4912B68C715E08 |
| SHA-256 | 0491ABCD967A2561C193EECE87D5DECE48CB46925CEEDC0D1F26FB2FC9213AAF |
| Key | Value |
|---|---|
| FileSize | 1351584 |
| MD5 | 42F734714AE3FD9524E1F3D68285CCD5 |
| PackageDescription | proof assistant for higher-order logic (gtk interface) 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 CoqIde, a graphical user interface for developing proofs. |
| PackageMaintainer | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | coqide |
| PackageSection | math |
| PackageVersion | 8.6-4build3 |
| SHA-1 | 56A1BB54C35D8FEB7A505088417E2B62CC1A1BFF |
| SHA-256 | 57B75E77ABF61ED45075754922BA577F0F9A767DA5C29F69EB1A6EFCC394F7EE |
| Key | Value |
|---|---|
| FileSize | 1825432 |
| MD5 | 6DE5ADF02E4FBFD2B9C41B8FF58A44C9 |
| PackageDescription | proof assistant for higher-order logic (gtk interface) 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 CoqIde, a graphical user interface for developing proofs. |
| PackageMaintainer | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | coqide |
| PackageSection | math |
| PackageVersion | 8.6-4 |
| SHA-1 | 6C5F6F7FA2495A5FA355F3C18B190B761A39308B |
| SHA-256 | ABFDC6A8370FDCB85BD53DC304E398B10ECF601E7311ED0ADB370C2E919EC27C |
| Key | Value |
|---|---|
| FileSize | 1223198 |
| MD5 | F2626A57264EF3443069FCF925DA3ED7 |
| PackageDescription | proof assistant for higher-order logic (gtk interface) 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 CoqIde, a graphical user interface for developing proofs. |
| PackageMaintainer | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | coqide |
| PackageSection | math |
| PackageVersion | 8.6-4 |
| SHA-1 | 77CD6EBA6E09A128D97D81698BE011515A3FEDBC |
| SHA-256 | 4B0D4D9DCAC24EA35E0E67438C1F00DB7CBF2AAB0D60BC02C033CAD906CC975B |