Parents (Total: 88)

The searched file hash is included in 88 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
MD5	30F1794F62ED7C3EC346212F938A2F45
PackageArch	aarch64
PackageDescription	Coq is a formal proof management system. It allows for the development of theorems through first order logic that are mechanically checked by the machine. Sets of definitions and theorems can be saved as compiled modules and loaded into the system. This package provides the main Coq binary without an optional IDE, Coqide.
PackageMaintainer	Fedora Project
PackageName	coq
PackageRelease	4.fc23
PackageVersion	8.4pl6
SHA-1	008E9387ECC1ADEBDC9652A57B95D57FEC753697
SHA-256	107062DDF62B2028B2B00CCFC3DE8DF5F8543796C25C1E1ED860ECFCF8F0317B

Key	Value
FileSize	6008886
MD5	1D51102B0D6D5E50CDABC86F85099FF8
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.2.pl1+dfsg-2
SHA-1	016D2D1490E0B3C139F3C39C8EADC69A9060C57F
SHA-256	4E46524640DF6A3A1F7F8EDD52B593EA675D8EDE7CF4535D4C334123E2A569DB

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
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
FileSize	6544758
MD5	876847C236E7D9F6E7D6192886D55E73
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.2.pl1+dfsg-6
SHA-1	093974350666D3D9884286559D4EA39ACB5E8CBB
SHA-256	3E7BD3011D79CEF1B27E3ED755E3AEC4094CBC61FD8DE9FDEF165656C7457B1B

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	6584452
MD5	05CB84FC101B2250B060D6D481CC5D18
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.2.pl1+dfsg-2
SHA-1	1207CCF7C8A2F8751C91E59AE55D340282FE86C5
SHA-256	E70A6C71E43A64BB3DEA4DAEDF246324E54D891582E80A4051A2D3B6F1F8E3E7

Key	Value
MD5	BE33B15F272D027BC21C9732FBC68642
PackageArch	armv5tel
PackageDescription	Coq is a formal proof management system. It allows for the development of theorems through first order logic that are mechanically checked by the machine. Sets of definitions and theorems can be saved as compiled modules and loaded into the system. This package provides the main Coq binary without an optional IDE, Coqide.
PackageMaintainer	Fedora Project
PackageName	coq
PackageRelease	1.fc18
PackageVersion	8.4
SHA-1	1211BE924673AEAF8E084EDB9931E304CB2C3429
SHA-256	CF742F33F805E47F13C623C9D80E88F286FB39D8693FDC43760F87349F057035

Key	Value
FileName	https://ftp.lysator.liu.se/pub/OpenBSD/6.4/packages//i386//coq-8.4pl6p3.tgz
MD5	D5CD970ECC02B3FE07DEC0EC9EAA6D30
SHA-1	171ABB3E54A259DB933FF659822A5B616CF2E71B
SHA-256	677C7995BE32B16F90BE21025E14F45DC68629B8A8D185662A5DA3230B2407E7
SSDEEP	1572864:3B+SAw/Vxp49wKWKI/b+qwxG1RW/MJqoApv6v7O2FLWLXc+IZ7T4UUR6QR0rRIRy:xJhx4sKy+qwxGHJMd12FLW7HS7T4UUBk
TLSH	T1D108339CE7A878DD01303B404CBCE5FA1598A1B4508E5A43665A1FDCCFB7AEB660790F