Result for 1019E003ABC4BA164C1BF1842F6875B2DE5D7654

Search result
Graph view
Children (42)

Query result

Key Value
FileSize3567108
MD5A0627DC12C5FD17F7A0B993039532323
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.
PackageMaintainerUbuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageNamecoq
PackageSectionmath
PackageVersion8.4pl4dfsg-1
SHA-11019E003ABC4BA164C1BF1842F6875B2DE5D7654
SHA-2567F0382AA5354786841A506D4202C203E67AB6A100AF06CEF254E6D5F5B82ADB7
hashlookup:children-total42
hashlookup:trust50

Network graph view

Children (Total: 42)

The searched file hash includes 42 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/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/lib/coq/plugins/micromega/csdpcert
FileSize702136
MD5D301E2868AEC53FD832666867074FEDC
SHA-104704041BF6A83642E7362F160564D0AD1D6AB10
SHA-2561B06B349A7095558A9EBA93F99CC919F12C58873937E8E43FD6B327D56D954A2
SSDEEP6144:15SVdzZH1xRWjU2P2EfR7ln+AoKR3yWXf5SXzY/ApGLCcjmcLfzCshy5LlnDYkrv:6Voj5P2chKKwjyXLCcKyah1Ykk/A
TLSHT17CE4E784F7C88876F0470EB4597F43E3876C9A8602F5B217860DA655B670BB142E7BE3
Key Value
FileName./usr/bin/coqdep
FileSize816396
MD5A207A777F4FE954D2961632857EBA51E
SHA-119CCC1851A141DCE3CC6713DCC48DB3EC4FC8567
SHA-256470150E03C2C652DD9C25EB8B6DD008F1AF48F9A1D10A24BD58C23909A887E5F
SSDEEP6144:+Md62bTlR/5I0wHIP9+y6W/miS6b0J2e6WsiXI3eQZuB7nsqo2Fr3zIkzQ3tRUoU:pbP/3wnc9e5xYOQZCoKijC
TLSHT1CE053A40E6E8D862F4271A740CAF03E3876C6E8501E5B223861DB559F671BB253B6FD3
Key Value
FileName./usr/share/doc/coq/changelog.Debian.gz
FileSize745
MD524235921904B3EBC7EFDB121FC3D6D2E
SHA-121EF202A86AD95D62695A0C061B7B938D7761EE2
SHA-2560921A47E387BEB85A19879130D04668C94544543F3974028AAD989BBC24E3D37
SSDEEP12:XMHQJ0lEd5W+CYwq3cl8SLeBr7Fv55cjcPdxbGFe3yXhuPqrXJOBbPJwvg:XMHU0C3W+CYKgBfFx5cjcPdoFe3yXhc1
TLSHT1D301652E19900506C0CE621AED3EB0D1EB861E7140FA9931C0FC6129E9EAEA5229B50F
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/coqchk.opt
FileSize1087400
MD579ACD548CE0E91CE7427178C7407CA8D
SHA-12BD5BE4060C827518C473E7B235C5B2E76DEC0DE
SHA-256CAC621A42874B3ADC7016901A04FEF5FBFF6DB899F43BAD3890ED802F812B83D
SSDEEP12288:m5XZ+ndAWlXONu+MYQLtiF68wYB9hY23x:WZnWJOxwibx
TLSHT1E8352841E7889C66F06B0FB21D6F07E3876C5A8502F672179A0DA654B670BB143B2FD3
Key Value
FileName./usr/share/coq/coqvars.mk
FileSize283
MD5BC20FD210B886E5DE0B3E1A9B188D2E9
SHA-139B6B4B4153EAAC7C0CBFBE02846515A1BCD6BD7
SHA-256474015D924E2D2723A9A2B739A6EC240AC5FF87CC480722367C0899E7461F1E6
SSDEEP6:S+biAb6A0F2mbbQmncJ6hYWEAhC2Ib8hnVQJ9WrdgUCFqJrwedDW6jI:1bixA00mbbQm82I8neJ0JgUCFqBrjI
TLSHT1A6D0CD321D88160DCAD40A45364A65275205F576450134354BDC6757125B09D530B71F
Key Value
FileName./usr/bin/coq_makefile
FileSize432716
MD527875A826BEEFBEDA598E53D3653E041
SHA-139C9B40C2AF14A2E4841247CA281C8766602275F
SHA-2560A9C21FEDEFAC3473B37F49171F38D68A3E57611B2E580F408CCD6A9BE665815
SSDEEP6144:46tYUakmq5gzS6OWeTLbTaV7y7UR8BJzLM2EESxw/uhHjprtY1Zv8s:4HP9O1vLcjfs
TLSHT1F6942A05B68C8876F0471FB038EF07E28B1D6A8602F97127910E9565B77277143A6FEB





metalookup is a service from miwakeru.com