Result for 4946C2BDC28A675E07B231B796D9971C90F732D1

Search result
Graph view
Children (43)

Query result

Key Value
FileSize50047348
MD5855A34F7D63FA7082840FD3782083650
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-14946C2BDC28A675E07B231B796D9971C90F732D1
SHA-256DB0B3D37FFDE7FFC597BF333680C0C4CE69CE64EB26095AAAFA0AEEDF3F78EF9
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/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/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/coqc
FileSize2879794
MD542847A76A7061F0401FD180536CC030C
SHA-14481B4D5F0362C4455BEFA9D05DD7A692DEB8450
SHA-2569A39166EA1198C2AC8659707E0E6188806D23A834E3B280125A46971B95ADEAB
SSDEEP24576:MxcyEnX4Y+5TqGy35bILKtoJ9Z7t3jc17Y6zliyWKHz0Ff30F7kheHSbNJoMCfR/:8Q4Y+Jy35bI2I9Z7t3wPz5Tha3Nz7+
TLSHT1A5D5C44DBB68F531C88919BDD8E6CE9B42148C7FA613ADF710880715E4CB31E6F49A87
Key Value
FileName./usr/share/doc/coq/README.Debian
FileSize687
MD51D4EDE57962948DF26FF905A3E17A757
SHA-14ACE10549689C617B01A6891910E4208CCF69AE8
SHA-256321DE6E2AA61A82EBCEF43FC40163CD002C0C51B0049FCF598BD5665A3960DC0
SSDEEP12:LoThhpYw24kFBwRFfPeTzHFtsSQMSDJ0SfMGof9beF+r2uf:LoTjpYwEFBwXPeThrSd0iC9bDl
TLSHT1F801DDAAED0D1A68B0A4E8C33367659ED319603DB380C1A5A07D52187547F7016DF4B2





metalookup is a service from miwakeru.com