Result for 9B9ACF2326415B7AFC20F710398A8B75A2818900

Query result

Key Value
FileSize3110648
MD51C811DFCAD119BCBA4B43779FE52C4A6
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 Camlp4. For more information, see <http://coq.inria.fr/>. . This packages 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.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamecoq
PackageSectionmath
PackageVersion8.0pl1-5
SHA-19B9ACF2326415B7AFC20F710398A8B75A2818900
SHA-2562582631C68E92A6E557BA445CB80A0D5848D68351E107D5F45F4DE447D5976AE
hashlookup:children-total36
hashlookup:trust50

Network graph view

Children (Total: 36)

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

Key Value
FileName./usr/bin/coqtop.byte
FileSize4767710
MD57C97EDE0DA45AD70ABAA989906372F96
SHA-11529340BCA4F4C8DAA6F8F2E0AE17DFB1A63C018
SHA-256F2716C4441A4164184195CE17C19E57D93890C981B8D76C78C9821262190A810
SSDEEP12288:/I+i792gwq0ZBxWJxsnEC+NgN3jfx8pvQqXKWPUu+0foCEEwuKi1xPZiLDpq/21J:g+i79C+UlRg84nqTKe
TLSHT1A926E10BFB008EE1C4A646B2CAD787852366EAB59F03071F299D5A1C39C3B5F6F44758
Key Value
FileName./usr/share/man/man1/coqdoc.1.gz
FileSize325
MD5362FC83B4233F18977432D5123CA921C
SHA-120917D4231E0ED7BF7CC5E671A8C7F83C9EBAFE6
SHA-256C9D4C8256283B64A8F460A3C1DBB68781DBD50C08E89A645193749E9F1624306
SSDEEP6:Xpt1UJG1i0+5zVmGipi6nWjRsA1lYcbPa7wBxt/4sOE:XptiJf5zkrxnWjaQWcuwBr4u
TLSHT1E8E0260366180E9A27DC04235A508A5A0A88CA8BD46952239E8CA08D983285BE3996A2
Key Value
FileName./usr/bin/coq-tex
FileSize454989
MD55638E62622FC9B31D43448BF609CE679
SHA-12189482277B7E0478F55EE02B3CDE9ABCCFFBAFA
SHA-256179A7A9045A9A997D092AEF483E576D583253C9ED35566F215070582640A44D3
SSDEEP6144:FbnGDP9H2cE/vEXKtiv1qNsSx74RI3jfx8p0ucZSh:FbnGDP9WsXMJNsSx74RI3jfx8pvcZSh
TLSHT14CA49447BB060AAFC49A477285D3432477BDE6525F23432F9348A6283DA37AF5F11788
Key Value
FileName./usr/share/man/man1/coqwc.1.gz
FileSize320
MD5735275868AD9FCFDA2E3B6F3F6BD0266
SHA-12BD5045B0C0C0A31A2230AA50F03EC7CC89FCBD3
SHA-2563F6D4552C5D763F5D19E173A432253C68C6FD569F2206C2D0ED5EF779BC143F2
SSDEEP6:XLcUrvnXewgH32WFPFakLXS1TLTf/r82ckYdP6bGPRRsR2gZXVbEmCj:XLlbnW2UBM7rByoCPRRQZFyj
TLSHT1C5E07D13601623370C551CDC0848D05A678855AE67B1EC704398898567D86C326B51C1
Key Value
FileName./usr/share/man/man1/coqdep.1.gz
FileSize1431
MD5DE44E5D2D113C504EFAD23EAA7E17BFB
SHA-13FBC1DEE4037FF4EC2F5065ECE5065F172710D7E
SHA-2560547C10A992D19B09FD4DDF09D2118B8CF3ED0848D4092C5E79DF9DDD7022EF2
SSDEEP24:XZHePeVOrFQDYnvwszNfmKBY9q5aY62ABuMIW6cDVj/+ruMP6XJ4/UGq0viKMnW:X5ePeoiEnvNM9qE+MIlcxj/+r9Prs1Kj
TLSHT1E621E921BD365725C53A11B85EB4BF2EE8E296F4430D901A99F4099FC8A860C51AD12B
Key Value
FileName./usr/bin/coqdoc
FileSize709841
MD53F484A818795F41C68CEBAF3E4D2D517
SHA-14779772DAFA9573617F8E0B307AA9F7027B49476
SHA-256D1A30E5B64F26A92CEE9AEA420717E4DE0725665FCB5BC9AF032237617EEE0CA
SSDEEP12288:2yTi7gVxI20RZGBdZlMNsSC+K3h3jfx8pvQ89WS:2yTi7DrpC+R
TLSHT14BE4404FBB05499FC19687B385E74314A7BCED638B13432B9258B2283DB379EDA116C4
Key Value
FileName./etc/emacs/site-start.d/50coq.el
FileSize851
MD5FCB3EC2B3BF9C9179E9EBACF51758C43
SHA-14A8AEA0DB3B4015EB0293AFEB6A4D18D332ED548
SHA-25635D6C631AD317F1F0CE5735393D6C5180E4A96A8C26AB0BBDF54EA86D026E720
SSDEEP12:zIhzObelZsjFTPksh8jHpFD/FWkiFgqLqE/GPXmiduu7rzLaa+si:zwgenst5h8rLDtDWbLHOP1h7fYH
TLSHT108011EF39BC8562E2F0331371B454885938EE9D8A050A8843A2D434C23424E463E3E9B
Key Value
FileName./usr/share/doc/coqide/copyright
FileSize1949
MD56EE24E81D49226CD210BB491778EFB1A
SHA-14B7D8D71A9008BAD9912AB05179290DB7D314284
SHA-256C58996979864299CFB9EA311766F6E2FFAA423ED713A2D1CF6390BBD4EBF03B0
SSDEEP48:S8tqC1CjpRemziNCgsIT2kLmpGQaVffNPFcthQmavVT:SQqGCj50qk6NO9cttiT
TLSHT170418416DB5CA3321AA244C135069AC5A75FAB7B11546180F46C650D6BC2D2862F73CE
Key Value
CRC32B6663230
FileNamecoq.el
FileSize7010
MD54C5493A16889E2B0F361F0A7AC971476
OpSystemCode362
ProductCode12661
RDS:package_id12661
SHA-156379A8A0E948DCB2D35095A4D4A5FBD24AA61B2
SHA-256FEB98955567535D5F09E8B48A0288CF06A1F82D358BA616E62632E59F2033D7E
SSDEEP192:zDC4mw54jeYiogp+bag6fF8hFmwsCbX30P2mq1:K4T55YZ6oagqFwFmwBbXEy
SpecialCode
TLSHT14BE161C22AF325A6674305D23E9DC0E1FB22C5FB2A812C28754F928C4F065D95F6DD2B
dbnsrl_legacy
insert-timestamp1648591848.314226
sourceRDS_2022.03.1_legacy.db
tar:gnamewheel
tar:unameroot
Key Value
FileName./usr/bin/coq_makefile
FileSize425044
MD53A4E2355528A8365AFEA30EBCFA06805
SHA-1599817FDE3BAA4B367404ED8EA2882DD84C80270
SHA-256F63EECD5B10FCA7E774A0EAA354FDDB92A8CFA5F8B0C3F294397854F2FE09C71
SSDEEP6144:VKSbn1QjDSNSRxwZBjHvLs/CMYJDDsnEx7lAg3jfx8p0uu1:V5bn1QjQxbvYyJ/snEx7lAg3jfx8pvu
TLSHT148949547BB0609AFC48A577285C7431477BDD6525F23432F9348A6283EA37AF5F12B88