Result for A2BE473D3126983330C200CDDACD09071B6664A9

Search result
Graph view
Children (52)

Query result

Key Value
FileSize89867592
MD55C98C0DA812F0C08495E37B6E1F672E0
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-1A2BE473D3126983330C200CDDACD09071B6664A9
SHA-2564C191EE9135F30327F6FA961A7D93B83310F1F254B06227B26E13CF4344A1DD6
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/bin/coqwc
FileSize562828
MD53D438EF9E60D07A067FB0959D85EF4F5
SHA-1022A2CA1A28DA9A84869C3F05260DC7F211A5E32
SHA-2568BB3A9F72694B345D89D05EC199030404EF7DA03B8E579305DE15BB0696E33FC
SSDEEP6144:W+nt65o3o8TMff/6ouhmcF8r2fnOwW+OnVw6ddpSPXozIdTn33T7MZF41QOYzIM1:WoE5o3ZA/uC/+OnXpMXozGn33Pe8Spp
TLSHT117C43B07B90D0F16D8924A30746B0B6B8376F4C5A7E2D652694A76383FF36D81F9A3C4
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/coqqueryworker.opt
FileSize14663692
MD50C78483A848EE7F03B3258BB7524747C
SHA-1288F4314999DCB4CBEA4FC02B28BBD209B17346B
SHA-256B94FF099A4A3BA369F27FED40317115E1CD0F92266FE28B1C7968522DC20C289
SSDEEP196608:9asRnsnhJKPtAyox/wwEICR6VmRkfZY72Pc+sc:OLyoRh+kfZYCE+sc
TLSHT1A6E66B13BF0D686AD56A8630F4AF2757C321F28167E25A479C4F22553FC20D91B2B6CB
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
FileName./usr/share/doc/libcoq-stdlib/changelog.Debian.armhf.gz
FileSize221
MD5098E347746C27E1F237F120C190C4FC3
SHA-13141C71FD053B4A082DDA2995FF9AD9140D8DDBA
SHA-25629B8950231D7BCD33F3ABACCB4D56976CD009CA7B700CAC154375832E8A9787C
SSDEEP3:FttLZDM4zrGoM/p5LnK1TByr+TSYpap8cm0j+zIZANOSiBTRfU7DfhPcJ8h:XtLZDMZVK1lyaLa+TfNOSilRWfhL
TLSHT1FED097402CA220A2D2C3A3231336B928A02853462E2A88CE84400282A25DA4A7A4893C
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





metalookup is a service from miwakeru.com