Result for 089B9B723199EA746B434D590D7D11364C77D048

Search result
Graph view
Children (47)

Query result

Key Value
FileSize56215368
MD58F267250784D4BB8021BA056B9C5C308
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. . The proofgeneral package allows proofs to be edited using Emacs and XEmacs.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamecoq
PackageSectionmath
PackageVersion8.9.0-1+b1
SHA-1089B9B723199EA746B434D590D7D11364C77D048
SHA-256206F6F79CA478064B90ECEEBBB7F017376DEF156409F59B40A3FA2501471F1E2
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/share/man/man1/coqtop.1.gz
FileSize942
MD5D8ADCA4C3F44E97B2C7FBD8002FB7E8C
SHA-10A4B95D7485B0C3A30E390D3C8E3F659CBE5D141
SHA-2566894A31ACD532564D285C124749806828A23BD190066C308388B81E69B1D480A
SSDEEP24:XFpVUYI+4DTCvr/y1alOBDFnj8VpuH814RnKCKs1jUbgV5vezB86z3K:XT2quU/WDax1mRKshUtzBnK
TLSHT14B11C872A2150B17860297274475A5E04C9410D17CA83BE3F0AE0F5F3618F19224F735
Key Value
FileName./usr/lib/coq/tools/CoqMakefile.in
FileSize26677
MD5B3B81AECA29761307829E5E94AFDB12E
SHA-11DE7E41411DC79007832180390F54EC9661FBD18
SHA-25647E360A1EE5A2B877B9A9615FC25C25F8EB33189DA488A2DEA1782B2A839C304
SSDEEP768:60xhWYaZHpH4ZZUxobMpMJ907ssLHrhGlfEIzvIK8:60xhfaZHpH4ZZUxXpMI7JLqEN
TLSHT15AC2A73AB7092E6E9B8509E470E85148760F0096ED23B4B170BD8D3DE37A0ED61B6DE5
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/coq-tex
FileSize861012
MD586AD825B77C9D0107A5BC3872846F69D
SHA-1265593000449860A8A6B36F6B54857C169AF6A3A
SHA-2569E26565C167F313B2DA37CC576675B1F3DC6427ABD59FF86D7C45CF2A695F8A8
SSDEEP12288:Q4Zy4LOt8piqH+LktXCZ+lzBa6yiodJKaK:Q4ZziqH+L2tlta6DodJKz
TLSHT14B0518E5E79E1CF4D53A4AF0087F93B26D30527B4623D331AA1466267EA364F0F162D8
Key Value
FileName./usr/lib/coq/tools/TimeFileMaker.py
FileSize11260
MD5A9CBBA682050521812596711FBA3ED72
SHA-1286D00C9CDE933F3FB5486820914F71C39F44FF8
SHA-2560E387AAD130730B1854E949C0A726AE982B3B636662B9767E0D05CC5AB70BF5D
SSDEEP192:icm7HobQuaj0BjqIpR+qhszRMB/j5dAsAurYc/c/n6vvM07/kajILpsRXBkK:HmE8rjWzAqRDbwpwF
TLSHT19D32853A641A291047D3A87B895DB1867304922723052874FFDDB6683F97D3943FAEF8
Key Value
FileName./usr/share/doc/libcoq-ocaml/changelog.gz
FileSize67724
MD59A7637ED437F9697F0874B01A5D1D1F4
SHA-1373E1EC274922199C8A6DBF21FA5B1186E38FBAC
SHA-25699FC6E4611636FFA9E5258C9676C6C6D2BC1E3559EF2DE3A0F4B0AC1B0AF36F3
SSDEEP1536:ey0JqaP6GyCqTkecHUhmZHw7NbX0b51OGrWDCR3OaXt+GPodd:efkaPPyCX31OWaDu3OaX0dd
TLSHT1DD6312FD50977DC56CE0F63D1882629667E23CD6646333EEA0FC037E655490982E8EE8
Key Value
FileName./usr/share/texmf/tex/latex/misc/coqdoc.sty
FileSize5494
MD5D81D07C2738BE88569AC158D76B4A72E
RDS:package_id182052
SHA-13C009E4BFA0A7740FD7F721C7B38AFE4883C9434
SHA-2563C46EA94A7954C9CF506F24EFD98F8059B4D098AAF4A3A38A8903473A68EA617
SSDEEP96:zp5zUm5Sua7AIzP7glU+c4V1lSjcilL4bSurImGYsBtGosrcS/p:V5zUm5Sua7FzP7AUZ4fCcvbvrImGNtGN
TLSHT1E7B1DD006DBC72922BDB0D46AD54DF095C3BCE0A3B0E96E678BC245187C6B8F029974F
insert-timestamp1679424703.1018066
sourceRDS.db
tar:gnamebin
tar:unameroot
Key Value
FileName./usr/bin/coqqueryworker.byte
FileSize29001102
MD5686BC8F8FA243F42795C352346DD9450
SHA-13C060C5F0A8034F7C140C48D61A4297BDFCC1D7D
SHA-256F0E06E720AFC489DFF3690A89D702E8C07BDABFDFE7D0627C6EECD8EF327CF46
SSDEEP196608:lulaM4oLbRB8wUVW5b6OsUAbE/7rHKYJnXjD3i7yXa4rX:l04QdUVW5b6OsUAbEjmaXjD/Lz
TLSHT11457070DBB28E571C88819BECCE5DE8B82109D7E66535DBB105C075998CB35F6F08B8B





metalookup is a service from miwakeru.com