Result for 22EA5C4EAAFD5FC9E89437B0ADE6BA0B479EB646

Search result
Graph view
Children (43)

Query result

Key Value
FileSize13593774
MD5233FCA1EACE73DA56D685A86C2B314F2
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.6-4
SHA-122EA5C4EAAFD5FC9E89437B0ADE6BA0B479EB646
SHA-25612B2D742B7577C213D80FBBD7414566FBCC2E7A3E6D5604ABFF225ED5B135EE3
hashlookup:children-total43
hashlookup:trust50

Network graph view

Children (Total: 43)

The searched file hash includes 43 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/bin/coqworkmgr
FileSize834052
MD5C1D08244594F283B2BDB79566FD45B05
SHA-1012B83375FAF9FA9A8838B14796BF39EBB1C0470
SHA-256F747433AA1E5C768FED20ED25E67E91E5ACB436D46F6ECA119BB37A9DC6C23D4
SSDEEP24576:0MC/895xRLd0iOX2sfDexRlX7lNe9i1MfKdujPBLfDZe5q2Qjx1Xs3mGrpVVPO5Q:jC/895xRLd0iOX2sfDexRlX7lNe9i1Mq
TLSHT1720518C7F21E1EF8C1B909F5087B97F62920D37B566282216E08F6A57D6324E8F163D4
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/share/doc/coq/README.Debian
FileSize765
MD546CFC23E949D8804D5BF066B264448B7
RDS:package_id182052
SHA-102CC6F38630424B025BD78BFCE1A21D68CB87434
SHA-256AD8C03A1BB73F99D02F6B49C755D098E65F6C40B461DAAD3E023BD0A7BAA8531
SSDEEP12:LoThhpYw24kFBwRFfPeTzHFtsSQMSDJ0SfMGof9dS/pokUzJw6F:LoTjpYwEFBwXPeThrSd0iC9OnQ
TLSHT118011079DD4D1A18A090E4D2376748EAD36C243D7381C0B2907D02283157FA042DF0E1
insert-timestamp1679424703.063793
sourceRDS.db
Key Value
FileName./usr/share/doc/coq/CREDITS.gz
FileSize2675
MD52F784E72ADC183728C1FE175B396D998
RDS:package_id182052
SHA-112D9FCADB6F9C386FD1234DEB5BBB68C32132791
SHA-256719D6E51575B8A7828A48CE68FCD33FFE05152ECE1DBB7AB42173EED85EB73DD
SSDEEP48:X8EMFugrFz1gaUEuf6JxdpYrSrPbgIGpXGExnqdQ2BcV9nzNpNfU0L7es+:4ugrNwAdaIPvUWExqO1VXUDs+
TLSHT1F7518E203FD27C2128F1190C41D9312C1B815ADA87F2F08AAE47734D0C31576E1EC5B3
insert-timestamp1679424703.060886
sourceRDS.db
Key Value
FileName./usr/share/doc/libcoq-ocaml/copyright
FileSize790
MD5D42BCE1FAC516F7DF0F92782D7A37489
RDS:package_id182052
SHA-114BE7DA5CA741BD3CD0E215BA3B55D6FF9D7D5A7
SHA-2569B71C96B301F87F6B0DCB39945C532DD4537B45535DFCC38BBAE533AB935F3E8
SSDEEP12:mpj8Jq4KUx0KKwXN1zXpMSuMgxgg6fU4xa2FJp/AhFxxPg:g0tx2wd1zZBuh+TOnxPg
TLSHT1CA01BDD5EED89BA97A90E862E9605C81471F2D5231D5E0E2B45CD1106B0955134C027A
insert-timestamp1679425887.2714002
sourceRDS.db
Key Value
FileName./usr/share/emacs/site-lisp/coq/gallina-syntax.el
FileSize45137
MD520211434EB5DE1549757B60667FBF4FD
RDS:package_id182052
SHA-11F5AA6AD2565A1884CE21B8C537DB512707F2266
SHA-25629359F3C3E92E3776A48E9F5109B6044290D65DE9942251B1588774400A17EF7
SSDEEP768:ML/boDxPVcxiqa3SaJa9P2MSJrk+d3LyGONLuJXoBxysFwwLWarEFEr8rhAnpwZs:MnaSaJAP9FBxy6LWwEDKz/VTIXKilh8D
TLSHT1F4137432F0910D2617CB0A916A9EE5113E70E69F12C40E1D7B9ECAD80F5DABF4236E5D
insert-timestamp1679424703.096611
sourceRDS.db
Key Value
FileName./usr/share/man/man1/coqc.1.gz
FileSize543
MD58B28B858F2B73937DC9C8E5E7EC065C8
RDS:package_id182052
SHA-12398BB2A5488D5E45FEF7013F1713FA321C7E92B
SHA-256CF37BCDF17C49831F7F23E90E5F1E5965DCC1766D6CBB8F5AD63779DA4019C0D
SSDEEP12:Xyl9LOLTzYXkjQviq3UrplJ7+cGybTUljbNbGWjxILYh:Xy2Lkjqq3Urpb+cnU/dx2a
TLSHT193F096AC87F200F29A26105C418EADD20C242EC971ED82038880C815C24CCE88994154
insert-timestamp1679424703.0865602
sourceRDS.db
Key Value
FileName./usr/bin/coqtop.byte
FileSize30163472
MD52311AFB59D438F9BE376B206893EBAD1
SHA-128D7D698ED74A663F1642D636FCD9A608670059E
SHA-2565773A4DA5F0A2EEA07889A96823256A4531B9699EC6EB4FF59998CD42916BFA9
SSDEEP196608:vi1BcHu8/Y2FXOQttzZ3k2CqGdXG8efa5LT5qSE7ARMzD+Bb:vi1J8/YA7Q2yLT5qSoAsi
TLSHT12867190DBB28E871C8A519FACCE5CE8E43109D7E6A036FAB004D065859C775F6F45B8B
Key Value
FileName./usr/bin/coqdoc
FileSize1032964
MD5A4D397BC84CF888D8DB04E8F71AD0315
SHA-1388934824D72B9241B5174756C2A865E1584FC24
SHA-256D38712C68A0633461A6CBF14C744F2053A0621EE527F68D64E9A78C9717848BD
SSDEEP12288:CRlTf8RhBtbebHSVKWT4Gin/48CUzYb6FlworXGihkkrT2GB5PXcggSS:CzTf8RfpebHSVKj48Cb8l7lTRBdsggx
TLSHT1BE251984E65B0EF0C63D4AF1487EABF619249FAB4A2383213E08F5667D771750F062D9





metalookup is a service from miwakeru.com