Result for A5123FC95F8E42833A016F6F75B9678E894BA15E

Search result
Graph view
Children (44)

Query result

Key Value
FileSize73424612
MD5D3F617757A48BD99DDAC582A7532A1E0
PackageDescriptionproof 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.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamecoq
PackageSectionmath
PackageVersion8.9.1-5+b1
SHA-1A5123FC95F8E42833A016F6F75B9678E894BA15E
SHA-2560306659EA27CA0D98F610B437EBFE9FDB8808C9DE0D8257F84E859999086E1DB
hashlookup:children-total44
hashlookup:trust50

Network graph view

Children (Total: 44)

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

Key Value
FileName./usr/share/doc/libcoq-ocaml/NEWS.Debian.gz
FileSize269
MD50ECA063A774B94A35B2709F6E8E4D6AD
RDS:package_id182052
SHA-101024660E771DD5236B4AB77DFE0050CD2399988
SHA-256B1659BBB950B950046B4C9660BD1BA77AECC2AC75CE8D9172942608DD8A845CE
SSDEEP6:Xtq1MrzCx26YMHSG51tXgMIdrMzczJzVkVpXV77AFBS4jMNl:X81SN6RSGvttI9Mz2WV5V7Mi13
TLSHT165D09535760099B79E5DD0F1357CCC4EC512C2098C20F1B1A0A5E013D0E6764D4DF904
insert-timestamp1679425887.2617948
sourceRDS.db
Key Value
FileName./usr/share/man/man1/coqtop.byte.1.gz
FileSize275
MD5C85D082EEF138584A662D850DBF002E0
RDS:package_id182052
SHA-102CA91ED439B35E686C7FF49CDD3E8E67EB0E7AE
SHA-256E790CE35A5A670BB38D1B71AE4A52467D42C425651C8AF23A8273617936C410A
SSDEEP6:XtCvPuAceBvF2JT+Y5UxHhMutBBlBNduhXM:XMvP3csvFI+Y5UlhMuplBAc
TLSHT174D0E7B59CC920BF8BDD040147101D631787D5DC1581642500471680314954D7673834
insert-timestamp1679424703.0916345
sourceRDS.db
Key Value
FileName./usr/share/man/man1/coqtop.1.gz
FileSize942
MD5D8ADCA4C3F44E97B2C7FBD8002FB7E8C
SHA-10A4B95D7485B0C3A30E390D3C8E3F659CBE5D141
SHA-2566894A31ACD532564D285C124749806828A23BD190066C308388B81E69B1D480A
SSDEEP24:XFpVUYI+4DTCvr/y1alOBDFnj8VpuH814RnKCKs1jUbgV5vezB86z3K:XT2quU/WDax1mRKshUtzBnK
TLSHT14B11C872A2150B17860297274475A5E04C9410D17CA83BE3F0AE0F5F3618F19224F735
Key Value
FileName./usr/bin/coqtop.byte
FileSize45125854
MD58DC57C64B590BBD36FA1624FA964304A
SHA-1109ABD340C4C40D948E9457CE4980132A16B0AEA
SHA-2568AB3C777CBAB97D8E218CDEED600383FC12B0E2F8A05BDFC9B8F3096AB1CF257
SSDEEP393216:zB7UYApPojK1JWOsnEpPdW4iDwzQcLT/C2ElBx21+mmDys00FKL8pUry:zNUY2PojK1JWOve2+d
TLSHT134A7E70EBB4A5961CC9806FEDDD9828F4320493DA6D34DBBC19F06D984C271E2F55B8B
Key Value
FileName./usr/share/doc/libcoq-ocaml/changelog.Debian.gz
FileSize8843
MD53D5659A9AE089B2C3852A3DF44E8B516
SHA-118B75666B54F972AD13DA7E55B2455EA7A50389D
SHA-256D46D2A2B73A1E5B8E046C951AA86A93EDAC4609E7F9C57938706AB79B5BEBF00
SSDEEP192:FcP0sF8K9a683088KnlbbZWwCphHO4jlMKGz/VY4bl3g3D6iK9J4c:DsL9m3Dd5gvhpjAzeuQ3D6iK9Sc
TLSHT1AC02AFE4A932756C7662CC4FF4D9FD7565883308210EF81960E651B9632D1D2BE68D02
Key Value
FileName./usr/lib/coq/tools/CoqMakefile.in
FileSize26677
MD5B3B81AECA29761307829E5E94AFDB12E
SHA-11DE7E41411DC79007832180390F54EC9661FBD18
SHA-25647E360A1EE5A2B877B9A9615FC25C25F8EB33189DA488A2DEA1782B2A839C304
SSDEEP768:60xhWYaZHpH4ZZUxobMpMJ907ssLHrhGlfEIzvIK8:60xhfaZHpH4ZZUxXpMI7JLqEN
TLSHT15AC2A73AB7092E6E9B8509E470E85148760F0096ED23B4B170BD8D3DE37A0ED61B6DE5
Key Value
FileName./usr/bin/coqdep
FileSize6878716
MD5999B5F0E462D1C83F4A9B3A5FE650DA7
SHA-1201033A1695A3B24E76A42D83DF81E690069F8B2
SHA-25601B1A4F55293FA3B66D1BA0DF069E3EF87AF5BB418698E8205ACDEBFFCA62412
SSDEEP49152:h7ZRRSobwQ8YPs0igMDu8ytL8pUDbqlVTWflKlP:h7Ees0VvjtL8pUfqllt
TLSHT10666F71EBB4A1921CD980AFDD9D6828F4620483DA6D34CBBC09E07D6D1C271D3F99E5B
Key Value
FileName./usr/share/man/man1/coqc.1.gz
FileSize543
MD58B28B858F2B73937DC9C8E5E7EC065C8
RDS:package_id182052
SHA-12398BB2A5488D5E45FEF7013F1713FA321C7E92B
SHA-256CF37BCDF17C49831F7F23E90E5F1E5965DCC1766D6CBB8F5AD63779DA4019C0D
SSDEEP12:Xyl9LOLTzYXkjQviq3UrplJ7+cGybTUljbNbGWjxILYh:Xy2Lkjqq3Urpb+cnU/dx2a
TLSHT193F096AC87F200F29A26105C418EADD20C242EC971ED82038880C815C24CCE88994154
insert-timestamp1679424703.0865602
sourceRDS.db
Key Value
FileName./usr/lib/coq/tools/TimeFileMaker.py
FileSize11260
MD5A9CBBA682050521812596711FBA3ED72
SHA-1286D00C9CDE933F3FB5486820914F71C39F44FF8
SHA-2560E387AAD130730B1854E949C0A726AE982B3B636662B9767E0D05CC5AB70BF5D
SSDEEP192:icm7HobQuaj0BjqIpR+qhszRMB/j5dAsAurYc/c/n6vvM07/kajILpsRXBkK:HmE8rjWzAqRDbwpwF
TLSHT19D32853A641A291047D3A87B895DB1867304922723052874FFDDB6683F97D3943FAEF8
Key Value
FileName./usr/bin/coqc
FileSize3118095
MD5396AF22DE8B24393CF2CEAA8B64C63DE
SHA-12FD55A915024E0FF7E3798926CAEB642C6687C09
SHA-2564219F8F6B2B659A27E501153F53E42201211EEB837F1049303DE3B04BD735FAA
SSDEEP24576:Go+x7+v47j5Edn252Nc3bT7+6tKe+LyGLkKQ2ivEIXNa139Rp6bSB9Tu0lRXlyot:GUZy1eEbqlVpWfJE
TLSHT1A8E5D61EBB4A4A22CC981AFEE8D5C29F46204C3DA6D34DBBC05E07D590C271D6F95B87





metalookup is a service from miwakeru.com