Result for 55FDE2642E9B6DF25BF381C30D22B04880F0F765

Search result
Graph view
Children (52)

Query result

Key Value
FileSize87517396
MD52C116D0EEA5BE21E91FFBD4FA74D2424
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+b2
SHA-155FDE2642E9B6DF25BF381C30D22B04880F0F765
SHA-256B35FC09DB0E02F826E83A0665A0883A51B56D8FE1AB1AC4631960A4123AEFCC2
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
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
FileSize1157864
MD50823927B721EDD57ED3AC4DBB4ED6552
SHA-116F730C93E8188E5BA3C2895AA79575CBD042CF0
SHA-25625222A88B761B2EAB9168637DC8A9261500172593EDBB0C2E79C420EA021340C
SSDEEP24576:p4xrke7YeYJSPFjNpRPMekYGmm0ATgH0AcP7sk2+dBnfHbxUOR9T8xz7U2MpqT6B:Oxrke7YeYJSPFjNpRPMekYGmm0ATgH0j
TLSHT1A4351906FA4DCAB8D3BBC9B3083B47F60760D95658235365AE08BA757D326784F8D2C4
Key Value
FileName./usr/bin/coqchk
FileSize6244264
MD5C6AF96C30CEBCFF6B147CBD00DDB5FD6
SHA-119B9B82BFE0A60E1EC0D777BF06C1526A1EEBD34
SHA-25679EBCB76246D5B674BDD5CB1277BD951E8587C314ED8C58FA7768D7FFF82730F
SSDEEP98304:FjmldVsfmUAgtlvdOo1xWQwRu2wZsIkdAi3joq1:FuVUAgtlvdOoaQuz
TLSHT142568DB2F65B8DBEC17B09F198AF47E36760D3522F23472EA900A0957DD13894B521CE
Key Value
FileName./usr/bin/coqc.byte
FileSize40065120
MD5EDAC24CE9F79066BC4739BB0C60211D8
SHA-11FD9CE26F7D8F53D2611B84DDD4C4C898947F35F
SHA-2568DF646F9415737E1DF34A3AAF771D7C20AC7266DBF8743DFD9D8FC0103ED75F2
SSDEEP196608:fHdMWnK1M3A+ke/c0Bj/IlM/fB7z1Y+RmnT:fCWkaA+kerBjwlMxP1Y+RmT
TLSHT16497F74FEB196A65CD940AFD8CDA428B47E0593C87C34EAB815F02D5D043B0E2F56E9B
Key Value
FileName./usr/bin/coqdoc
FileSize2169480
MD569E346467AE2F8E9F0768AD8E5A0E82C
SHA-1236CF3B1DC3B609219228053B34987813DF7C41D
SHA-25677317D4A9F83C2190524599BCD78A902F59806628530C4C645BCC2E4D32282F3
SSDEEP49152:cSmAPBeTyHGxnlKCt6C/Os3ZCE8mtRxQUWIm4SB5sBuR2fjqijqNecU+t33U7OUY:cSmvzZ7/qgq3k3PdW
TLSHT199A53C81FA2F8C78D2FB87F8186F07EB66B09856899346765D1471907C723894F812EF
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





metalookup is a service from miwakeru.com