Parents (Total: 90)

The searched file hash is included in 90 parent files which include package known and seen by metalookup. A sample is included below:

Key	Value
FileName	https://ftp.lysator.liu.se/pub/OpenBSD/6.0/packages//amd64//coq-8.4pl6p1.tgz
MD5	ADF6DD8234B4DD8EAEE431BE4EEFF2DD
SHA-1	00330D8A1013AA0A7745547F4A6E31DB202C5A64
SHA-256	EFD4BF8A6D62559EE8186541BE6C5AF5266369E889B2F4BDD3F0DF87E8B3DC61
SSDEEP	1572864:o1feq9z2XQfRhWfBTSG3UWS/b+qwxG1RW/MJqoApv6vXFLWLXc+II2lPkUURszRa:IzOyof1FY+qwxGHJMdSFLW7Hh2l8UUWk
TLSH	T1CD083314E2F81E0D15213B89844CE6FE066134A931DBC545EA6C6D5CFE3B1EE26E3C6E

Key	Value
FileSize	4963506
MD5	BA7ABE9928AEE6A5516450ABDB1C21E0
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. . A graphical interface for Coq is provided in the coqide package. Coq can also be used with ProofGeneral, which allows proofs to be edited using emacs and xemacs. This requires the proofgeneral package to be installed.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coq
PackageSection	math
PackageVersion	8.3.pl4+dfsg-1
SHA-1	00968E7127B31E10BE1AF1EC2C59AA4F0A813499
SHA-256	44259715F59BC22D2B128CBBB03D372EBE2CAA3F7FC29454EC83B36378D473CA

Key	Value
FileSize	1110134
MD5	94CC191F0B48EC2BE3FF915827997D45
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. . A graphical interface for Coq is provided in the coqide package. Coq can also be used with ProofGeneral, which allows proofs to be edited using emacs and xemacs. This requires the proofgeneral package to be installed.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coq
PackageSection	math
PackageVersion	8.4pl4dfsg-1
SHA-1	015B2189EA72DB31B2714C16E65C58213B0FBBFE
SHA-256	3B22E24E69EC4F7A922CB9645839F8F806B2026341940BE140186B6CE03F3E08

Key	Value
FileName	https://ftp.lysator.liu.se/pub/OpenBSD/5.5/packages//i386//coq-8.4pl2.tgz
MD5	E357900724C3C98CD3C647F3ECCA95AC
SHA-1	027ED3D5C9D15F56146AAE2EDAC3D6E3CE6CA1F3
SHA-256	D99AEDA9842FA0DD6A11874D3DE799EB7EB738653CE81C41B64E4757979D471A
SSDEEP	1572864:eXFm2b7sKC++BoK7nJixs7jwbuQ/ZszIPwVDVe:a42HVf+BoKMy7jPVzIP4E
TLSH	T14E08336859EFF2FE0463D29BCD771BB354B41E40E88BEA55382C4A15A84E7C10D336B9

Key	Value
FileSize	5468332
MD5	F332F8AB3AEDFCA2EA5D895ACF7ACC2E
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. . A graphical interface for Coq is provided in the coqide package. Coq can also be used with ProofGeneral, which allows proofs to be edited using emacs and xemacs. This requires the proofgeneral package to be installed.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coq
PackageSection	math
PackageVersion	8.3.pl4+dfsg-2
SHA-1	043B2F9DA962E5CB78F3663B4E37BC5692AE77A1
SHA-256	3E7B4A59FDEECECCD1C3DF54227A6FF7BFF411C673EE74FC5DD3410B8C75E4EF

Key	Value
FileName	https://ftp.lysator.liu.se/pub/OpenBSD/5.8/packages//powerpc//coq-8.4pl6.tgz
MD5	894BF3A3BE794758749736275ECC82A8
SHA-1	04DB6A42CF685A9A81867D59D174D82CF8359C91
SHA-256	A9F0F2F4803B876F3650B6F5241F77A3BA3461888ED67648555D636454228C7C
SSDEEP	1572864:48Z0HgeyVKBNRHR0pdnJQ2jFbPyjU2/Q60KSlzZH:4BBNRHRCdJQobPH2n0KS11
TLSH	T1FCD733D49213644EDB30539B924FD6D197F37B702AEB1C929C067DAA7B0613E104EAE3

Key	Value
FileName	https://ftp.lysator.liu.se/pub/OpenBSD/5.6/packages//sparc64//coq-8.4pl3.tgz
MD5	3D4C4925CCB06D3888E2FCF73C72EFB5
SHA-1	0ABF7A2D015BC221D0E5E1F0970E6685DBF12B8C
SHA-256	95A4AFA4DFC1EAA8A4D792DBEEAAFC05915601D3F59DF4361A9797135468DE80
SSDEEP	1572864:2c0j9X5BhqCazUy+oib0t4EjzDB9h9FEg04j+J2Yfy6m+dV:2c0jV5faQMrzDB9h8CqJ2Q
TLSH	T1A9D733C2E6838D6DB9BC2D72A5193FFA5A1721F40BD110716A3C63D1A69F23C4DB881D

Key	Value
FileSize	3567108
MD5	A0627DC12C5FD17F7A0B993039532323
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. . A graphical interface for Coq is provided in the coqide package. Coq can also be used with ProofGeneral, which allows proofs to be edited using emacs and xemacs. This requires the proofgeneral package to be installed.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coq
PackageSection	math
PackageVersion	8.4pl4dfsg-1
SHA-1	1019E003ABC4BA164C1BF1842F6875B2DE5D7654
SHA-256	7F0382AA5354786841A506D4202C203E67AB6A100AF06CEF254E6D5F5B82ADB7

Key	Value
FileSize	5930520
MD5	2798FF8D338708D583E4374B94397EF3
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. . A graphical interface for Coq is provided in the coqide package. Coq can also be used with ProofGeneral, which allows proofs to be edited using emacs and xemacs. This requires the proofgeneral package to be installed.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coq
PackageSection	math
PackageVersion	8.4pl2dfsg-1
SHA-1	1130F12FCCBCDD5F70A230D18B92272526A10474
SHA-256	B01D328E7EACAF0F99173DFB9EFAD1276821E3D8631B8379677662F8AB5261E5

Key	Value
FileSize	4050784
MD5	1C0A35F7B85FA37F4F8E8E51F2A8B3BF
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. . A graphical interface for Coq is provided in the coqide package. Coq can also be used with ProofGeneral, which allows proofs to be edited using emacs and xemacs. This requires the proofgeneral package to be installed.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	coq
PackageSection	math
PackageVersion	8.4pl4dfsg-1
SHA-1	13DE6F07F20445A9C667427D4DFD310328C5C888
SHA-256	1AE9A7F1A3A886E16F44AF250BE9352AEE75DF4381B91AD3F2822DEF5ECCF27F