Result for D7C12989698332D1B3B3B4F2580E277A97D5346A

Search result
Graph view
Children (52)

Query result

Key Value
FileSize102176644
MD57D69A37C3355D13EA0D53EA263799C38
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.16.1+dfsg-1+b1
SHA-1D7C12989698332D1B3B3B4F2580E277A97D5346A
SHA-256CA3ECD5010671317B1D1801DB4C432E19759118C3CFB4D72B8510797CD8DC8E1
hashlookup:children-total52
hashlookup:trust50

Network graph view

Children (Total: 52)

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

Key Value
FileName./usr/share/doc/coq/CREDITS.gz
FileSize3195
MD5BF9ED26E961C1BF3051690DD0C0831A1
SHA-100870119B2290BF14884CE165A49DB362CABDA83
SHA-256564D4FAD3AC4D75A76D69170CC5E7232383C509AB5B329FC762A3A114A2D7B6F
SSDEEP48:XXTJNxWzdF+Xnhi1oS2g12cWM63d8mb8FRncaHF0pfxf8GEpDKp26ea+Fznqc8uW:THxWzdF+XqazcGIcCFofx4Op26LImo/O
TLSHT19D615D555E0781546FF9712754D8820760671823888E8EFEE2E3FF64788F7405B2F918
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.1.gz
FileSize863
MD5501627D1169CF3D54E42B97EDFE1AE1B
SHA-102F6FF4F8850C8B80971C71D31917D267C422BA9
SHA-2561DB04ADA5967E3A6CCCF4834F6183D7F62A72917AB603CCAF78B3CCA319E057E
SSDEEP24:XKjy6SPm6dY4MATKxyXLGj9dGLAwJvRSMaaXL6ox6Qqf7I:XKG662zCCj9dGLA6vj6yqf7I
TLSHT1D7115B9438D458FDD785A3F340ADF81C708D69E590D15B115E571B7594C52610C5861D
tar:gnameroot
tar:unameroot
Key Value
FileName./usr/bin/coqc.byte
FileSize40055430
MD5083DC78A90FE6375035236BB3B968F9E
SHA-109C1C017401028521DD3880A7E9072C02608D4CE
SHA-2560F2633F0C68F904963522A462C7B05BDFEEFE33B20B1610D5A76114DDCA20F51
SSDEEP196608:CY+8ZHuRFs/zPkEcsjj/53XEjB7z1YZRwnq:CCZkO/zPkAjjh3XgP1YZRwq
TLSHT1AA97074FEB196A65CD940AFD8CDA428B47E0593C87C34EAB815F02D5D043B0E2F56E9B
Key Value
FileNameusr/share/man/man1/coqtop.byte.1.gz
FileSize258
MD5318FF26B3C204EA84E366135DA8A44A5
SHA-11443F6270D477A4891745ABB401BE302B82D2ADF
SHA-256816E2E7FB833056644A27F13A5431D25DC700D5C1F24E9C8CC8F36C17565D4F9
SSDEEP6:XtsDLNanHxDlDQyBW5SyvkC0M6hbUKMcTIm:XWDLIHVNDBgSzjM6hb8Qh
TLSHT1E7D02BE247C37A525409C87641113E544D6ED8D6AE15616BFE8584ECB9444114551AB2
tar:gnameroot
tar:unameroot
Key Value
FileName./usr/bin/coqpp
FileSize1594184
MD5F4813E597D0249ACEF32742AE1154C0F
SHA-123DFD8BD56CEA80867AC3C3AFCD9A03037F25211
SHA-2568164025664EC50E5C2D1B6A8BE5230A6BFA478D636EE6190E2CF106DEB7B57E4
SSDEEP49152:aYlMQQXPLQ2NtX0oILw/Q5G+fMF5JuU5ovJmq/up43474LAWCJ4A5sKYbEFbO9XX:aNzDwovMVnDBzjEFFgMJHwWTbvhUXL9
TLSHT1C375B45FF80DE918EBD4CA731E546B83632AA98A9DD0D335166531383DE32F80E9D2D4
Key Value
FileName./usr/bin/coq-makefile-make-one-time-file
FileSize697
MD50E3866029534F261350AB8D8CF6102FE
SHA-1300BF5FB8E9776E0491F580648C06BDB58D2A312
SHA-25686B6917762ED3B0D67A972BFBC390D5FA28D73DABE2520B9B6B4ECBB2D4D6744
SSDEEP12:H5X3hkrTPO2UF2aHYWuS0wyjF1FYtIaAZk1+y77MCLkafZRZajC2XZRZmpHYpdu:Z3eGua4rZw+1FYtR77bLkasjPUpHYpdu
TLSHT1F601DD5A852CD81007F35A7A1C2E70609422326B0B0A5D71288CE5E1FF39EF8F11BF39
Key Value
FileNameusr/share/man/man1/coq-tex.1.gz
FileSize1237
MD5536372B2F0568A2E13ADEA1BC447185C
SHA-13148AE7880BE3083D888B711FE96A4606A586DC4
SHA-256ECAA69B9123179E2E732A09B1C2F890214971A13499E53380F6F4BE8585E0F10
SSDEEP24:XSfq2BBY0kjcQWfCihygnkd7JQHOxXMnNSrMT+tImNwPPFlmK/:Xokq3pPMFQulUSwvmN+tld
TLSHT15E211A2FB1145D937466E0AA5817FC938CB3222E2D649EDD4C1303815C9083F2736163
tar:gnameroot
tar:unameroot
Key Value
FileNameusr/lib/ocaml/coq-core/tools/coqdoc/coqdoc.css
FileSize6139
MD51C0E28E4B818A20A7D764B6E19F3F2AA
SHA-1314A1939F0D7818D2044B5867820478CB9F6DBDA
SHA-256C09E941D165D8A37C9F57667A59A5F087638EE3F2CD281439287286C6DFB42B9
SHA-512752B2DFC09EA08531590174700AC33212070CB4015ED0840CBED76611D8D1E3418579C28592698B9CE4FE5C914AD7076FE8A0257D518BB57ECDCADEB9C69E6AB
SSDEEP96:Uuheof+m6IdFxF0bjwsXp6Z4npdZ42rJyihegB9:WUFxFQcMdDrpee
TLSHT1DBC1DB4397732C07A58F803C63BB926A726D54C3118A97BEBD7C6568CF49260E1C3E8D
insert-timestamp1727037220.1908724
mimetypetext/plain
sourcesnap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_34
tar:gnameroot
tar:unameroot
Key Value
FileName./usr/bin/votour
FileSize1687528
MD59BCDC2DA1D63D018C0867587BB577F34
SHA-1356CE713668F8F451DF632C938A0D7DB3AABB521
SHA-25689BB393A8F8D077E0E872D97154C3F7C6E217DDD5953D712D814964DB1175FDB
SSDEEP49152:/kYf6WJ3tjoyf79kNNCsb8qGVSwNAsPQqnAhZqe6b/QIWTATo5Lbt8X2f+IPRNiC:/Ff3UB04XDMkWOaN4jVPwErV6veMnETb
TLSHT19175F85FFC0DED29EEC483B15E9913CB733EE28AA9A1D325298161147EC31CC4D966E4





metalookup is a service from miwakeru.com