Result for 156221DDF5B641EC31328074CF7EB1C405035858

Search result
Graph view
Children (47)

Query result

Key Value
FileSize15429974
MD5042032D5D2D21D9008C5B5057C8975B5
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-coq package to be installed.
PackageMaintainerUbuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageNamecoq
PackageSectionmath
PackageVersion8.2.pl1+dfsg-6
SHA-1156221DDF5B641EC31328074CF7EB1C405035858
SHA-256FEF454C1F550972AECF7958BB28E39576E8D95C4AA6681F2A9C7166221818695
hashlookup:children-total47
hashlookup:trust50

Network graph view

Children (Total: 47)

The searched file hash includes 47 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/bin/coq-interface
FileSize5936460
MD52965D89D62B36C243B27B118B4506202
SHA-10C520EAFA742E974796FFB4665A4730649FD8AA8
SHA-256325C5B61D20C8D053A19615AC8813267347D6ECAFE226F34AC70D548FF91E233
SSDEEP24576:k3uvOkWNNNjmIEX33x0KA2L18cYqtY2CoCh2:k+sNNNjmIEX33x0KA2L18cYqtY2g2
TLSHT10E56BB0BB7108EE1C5A60AB2D983C3852336EA759F43071F259DAA5C39C3B5F6F84758
Key Value
FileName./usr/share/man/man1/coqc.1.gz
FileSize466
MD56FD3A11ADFDA44881AEDE4E47543C899
SHA-11063A00F507FBE10DC4791D80816D8F9A134D090
SHA-256A802C392B33B40BA899818BBA1A57BC141AC8224843AC376B01366E607C9B17C
SSDEEP12:Xni4uO7I4QjW85IqgaBaGrKlPFDB0bmCDIzRIMfWh55CTu1s:Xi4uO7xQj5X/Tr6FKyflIMWUi1s
TLSHT1D1F02351110D2D4B9B9423395B9E038289CD8F5D8650A4B322E1DFAE07336A59DCDCDD
Key Value
FileName./usr/bin/coqtop.byte
FileSize5634746
MD5B093B6F198A0A9EFBA799B10482625E0
SHA-118DAAE4FFC1D2A558C4837FFD4816AFB6E0DC58E
SHA-25691A463373AE7DB448F7048A31F33C83D81E783E294741DC730057A89E5AF7618
SSDEEP24576:k3uUkWNNNjmIEX33x0KA2L18cYqtY2CoChM:k+mNNNjmIEX33x0KA2L18cYqtY2gM
TLSHT1A146BB0BB7108EE1C5A60AB2D993C3852336EA759F43071F259DAA5C39C3B5F6F84748
Key Value
FileName./usr/share/man/man1/coqdep.1.gz
FileSize1514
MD5FB564D4410BC73766C5F8D450B8EBE20
SHA-12CA2A288AC2CCB64187F86EA3F2EF7034CCA93FE
SHA-2560AB4F1ED78232ADF256827FA5DA6E84E3EEF410F3C758246D64BB773F7F68A37
SSDEEP24:XFxiGQJ674GMjZMRrJk1eviPpyUZrmwihiBs0ZIRH5TDmp05YodwP6Ve9gOkGhsm:XFUGxEGCek17pyUVmQsu8ZHmupWjafPy
TLSHT1A531DAE45689C080EF7D03A597F8A3D7D48E5D6A864220C277242F55635219C4947955
Key Value
FileName./usr/share/doc/coq/README.Debian
FileSize694
MD5B2923F1FB249EB2BE4E91F2626F07CBC
SHA-1319442A49632952E1DB33A43F29FB664362D3E60
SHA-2563F9C2D47934039FFF3BA817DBF2D0AE6B856EB3569AF1A309268AF809D576094
SSDEEP12:LoThhpYw24kFBwRFfPeTzHFtsSQMSDJ0SfMGofBdS/pon:LoTjpYwEFBwXPeThrSd0iCBO+
TLSHT12B01DD7ADD4D1A18A0A0E4D2375A58EED36C647DB79181A2A07D022D318BFA043EF0F2
Key Value
FileName./usr/lib/coq/contrib/micromega/csdpcert
FileSize594528
MD55AE38C7BF4386246F71E9A54F39EAEA2
SHA-136E74A5CA793367355452D398E0D2C3CADF892DE
SHA-2563CBB63B56B4982827B5D21259FD879B986E2DCA97B3A099631CA666289AA9F1B
SSDEEP6144:zNmfccP2UAXubLA5YJ0F1EwkzuOj/vdsAJpxgVtl/WB1Fexk37YhByge1jXYkM57:zkbb/BwquYVPJpxWuBzex6ee1l8
TLSHT116C4E9377D929922C125D7309A9743326F35EDBBA2908E2FBB61322D5EC568035DB0DC
Key Value
FileName./usr/bin/coqc
FileSize500044
MD5147E3422018ACCDD8FB233D5137BDC20
SHA-1391644DDDF381DE3B6544BAC1D138E8B78B329F7
SHA-256894B2F6F01E01DEB7BEB0608BFE6364B8BD5981B8F88542B0AEA3D0DA9205741
SSDEEP6144:UjB2+c0LbUN+CRzLeoksvySg/x9nOv+XmJ2G7oNRXevjy09l2DZoPhd3aEK:KB2l0UN+CVPk5xILKXevj99Qzr
TLSHT1BEB4EA2378E39922C16593319A574332AE36DDFAB150CE2FBB21622D5FC568131DB4EC
Key Value
FileName./usr/lib/coq/states/initial.coq
FileSize250322
MD53BCACE480646D4E54FC0E5A7194045A1
SHA-13D4448B975AED045BD90C4DE8B66ABD0E22A6EAC
SHA-2563F073A75C1E204A2DA25F75EB5D959BC34E0ACAE4A4EC116F92C09EFEFD13559
SSDEEP6144:TolyV6QOmE5pHoWy2iIZiq7VKzJVGJpM2iYihI:TwvWEWI4GJpXahI
TLSHT10734296CB3665C4FC9BC1EBCD769D756C61442DA12B6E1C3498983BB89C173A821F20F





metalookup is a service from miwakeru.com