Result for DBA4FD3EEEB85921F846C204A52418D5FDBABC7F

Query result

Key	Value
FileSize	6961690
MD5	EBB9AF31CE43E78C6AC3C8217AC725FB
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 Camlp4. For more information, see <http://coq.inria.fr/>. . This packages 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-coq package to be installed.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	coq
PackageSection	math
PackageVersion	8.0pl2-2
SHA-1	DBA4FD3EEEB85921F846C204A52418D5FDBABC7F
SHA-256	54E563CDB3750AD6786020EFB221BCCFEFF5CA04B31E0B6189297A3A1F1255C2
hashlookup:children-total	37
hashlookup:trust	50

Network graph view

Children (Total: 37)

The searched file hash includes 37 children files known and seen by metalookup. A sample is included below:

Key	Value
FileName	./usr/share/man/man1/coqtop.byte.1.gz
FileSize	289
MD5	685B0B182701DFF44CCDDB54E2A6BE6B
SHA-1	029029E28AE7590CD27999830FE2495B0C9FA55A
SHA-256	6DB2D0EEB7563E972523836A92C287633D4DC6E65017B6EDE4714DC4C98C20C4
SSDEEP	6:XZMbvovPuAceBvF2JT+Y5UxHhMutBBlBNduhXM:XZMbgvP3csvFI+Y5UlhMuplBAc
TLSH	T13ED0E7A5DCCA20FF4BDD040547201E633787E7DCAAC1202941472680315664D7A73C35

Key	Value
FileName	./usr/share/man/man1/coq_makefile.1.gz
FileSize	320
MD5	15973C138F561A60763EE42371745CE9
SHA-1	04FD399EF57C2D02286E591B3875C6C21CC6CC7E
SHA-256	978729D3C8CA7AADEE349E32A2462DC25CD3E6595B89FF31974E3F272717A1D1
SSDEEP	6:XZMmJblIm9oH7Pw9aAerHZM9z83aO00B4Su19QhGWEKyLFUAQruoG/FPPI:XZMYIm9c7PVAuowKO0sCO5EDFUAGnG/C
TLSH	T1B2E07D1DA55551A5EF4E6031AF5B2801B1204B910A60317B429978827A16C481D1378F

Key	Value
FileName	./usr/share/man/man1/coq-interface.opt.1.gz
FileSize	1076
MD5	1D7546D8CF331EAAFD92F6ACC53FD4DC
SHA-1	07FE8844969134B8CB262A193EA396AB908BD2DF
SHA-256	AEE6787798F9C79E269B9C83AD5B247DEA8B10634E2E7F0E7B7239C2FB9FA8EC
SSDEEP	24:XgFfk6sJ2le6JseXHdXTPmm+3kwhUQAzP3c/msqjSJ/:XgYJOlJfXDmm/OMD3KtqWJ/
TLSH	T15111B98738C60CB82C02F6D03A0E06DC31608D1805F4524F7D996C777626BDC4643055

Key	Value
FileName	./usr/bin/coqc
FileSize	328229
MD5	AD175BA50E4BADBD3FA596A4EF556F61
SHA-1	10182A487F720711A79D6931897E48F849879190
SHA-256	2094B3EE47B9887503EE45950FDC07A474B146BFC62DE257622E16E7716174C4
SSDEEP	6144:eNqAdT4q4sGyeZ2/JDbz8z87jZ3jfx8p0uQs:eNqAdMxsGyeEJDbzO87jZ3jfx8pvQs
TLSH	T10464E813732C8D1BC0F0593085E7835263EDD6A06F51470B7A8C7A5C2BA27E9B76ABC5

Key	Value
FileName	./usr/bin/coq-interface
FileSize	4839534
MD5	7CA5A72E9A6A3CF2C56D2974464B9299
SHA-1	109739B88A230CAA83C86B6BE113AA1890166168
SHA-256	DF74D9756CCCEBDE4A8587E2294D373E745526FE595B319FFD7570FFB070FFE6
SSDEEP	12288:ZNqAdi/9JDbzO87jZ3jfx8pvQqXKWPg9kEdAXmSJKfVCxAYEOgxU/21mUXrj2Y+l:ZNqvzO9p1EodigM4TF8/dz7cF
TLSH	T11A26EF0BBB004DE1C9A64AB6CA97C7811326EAB5AF03471F298D5A5C39C3B5F6F4474C

Key	Value
FileName	./usr/bin/coq-tex
FileSize	283416
MD5	4BB15FB3A88485ECD703D657D7F5FF5E
SHA-1	16828CADC00BC528CE4C42A20437B4D259B0E4B6
SHA-256	7B8DBF28FD4D453FB5A11A576CD1E1A0260B7D22AAF8787D5D476E0D365B4280
SSDEEP	3072:NJUiELqo6cZyUfE0Ce9PjwDhbAyNJkzKZVEi3jfx8p0ucnArJcJPQq:DUiELqENwDSyNJkzKZVl3jfx8p0ucBl7
TLSH	T13A54E713B71C8C1BC0F05D7099E7830623E9D7A17E52070A669C7E6C3FA27997A5ABC4

Key	Value
FileName	./usr/share/man/man1/coq-interface.1.gz
FileSize	372
MD5	605D78463B03D5CB2DF6ECA91B1408F6
SHA-1	1944AD84068218034A50347B8E065A477D4B931D
SHA-256	71E8CFDA2B64CC89C511C61D5F824AFB550CD100AB7C83F4DA8CD2A127F062AC
SSDEEP	6:X1RRnZd0aA1KS2On/KJnf3ROC0GawHOaDtOBEE06FSDnwaVx3pn8/rOl:X1zZdA2Q/23InGay3Bv37npn8/rK
TLSH	T1B2E060002F070D04045723C30A534C6E801B2E0051F99009BE4E47E3A6CFC9F30B00A9

Key	Value
FileName	./usr/share/man/man1/coqtop.1.gz
FileSize	379
MD5	E22BC87F024329716601C48810CC193A
SHA-1	1A125212CA7112879FE536AC2AC5F0E06860CAD8
SHA-256	5DCC2603984844F092FDDE941657499D3E7D29E7AA712D3A2CD614409262164E
SSDEEP	6:XZMyXPLpfdGHrdyOepeCpWSMyeMR3g4ShW4pMPkE/Rga9o2hQh28cfTPZIfJ49Lp:XZMyXN+AVtpvMLxhlMcE/3rhQJWTBgkl
TLSH	T159E0606E92DB0CA8FB901E0CB058B23C21C34A2FBD54F04D839831E36220F3D240409A

Key	Value
FileName	./usr/bin/coqwc
FileSize	238567
MD5	EC6CFBD969DF8127E41128DA1EE7FE2C
SHA-1	225ADCDC42EEEF012B18F8F62CCD7AA80E5C0560
SHA-256	FB441690EFCEEB6ABD8351F76E7AC8B601AD54109D1FD3891DE9F0A1AED00F57
SSDEEP	3072:TPgiES1ARI6wRPP/r0osx8snnKoJDuzKys4i3jfx8p0ufp:8iES1KFbKoJDuzKysh3jfx8p0uR
TLSH	T13B34E623B22D8C0FC0F15E7055E7434263E9DB903E944A0A669CBE5C2F727A8765BBC5

Key	Value
FileName	./usr/share/man/man1/gallina.1.gz
FileSize	663
MD5	ABD18F5E2880A1965A5766267DA3F01D
SHA-1	2513A5B24443E8F0301E40A928866BE4354B0E15
SHA-256	67147566D75AA49F68A3192D2FB390DE401738B12DCF84B887E06E0D0AEB097E
SSDEEP	12:XZzIlvZP9HnegRBW9AqTCE4TDX6HfxOcy0pqR14HEf7I0XwxuDBEkIn:XZsQguAWCE4q5/yEE14kzI0gY1EkIn
TLSH	T1B501D8B6D0FD0C6107C475E1205CB1723435EB81648ABD100E22B98982D0123EF04934