Result for 13DE6F07F20445A9C667427D4DFD310328C5C888

Search result
Graph view
Children (42)

Query result

Key Value
FileSize4050784
MD51C0A35F7B85FA37F4F8E8E51F2A8B3BF
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-113DE6F07F20445A9C667427D4DFD310328C5C888
SHA-2561AE9A7F1A3A886E16F44AF250BE9352AEE75DF4381B91AD3F2822DEF5ECCF27F
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/bin/coqtop.opt
FileSize9956416
MD57F70AF6F21AE4FB007CF1C3B1AC9A02E
SHA-1073F39A08E0FC85A51E77E2CEB33704782796E98
SHA-25617FC0841DA7D36FF5182FCBB5A204684C12C1A8CFD5F8B08A5D9026352154D7F
SSDEEP196608:mA3eD8z+tEQ3Oeeeeeee35YLmmATofmmWUYrF2BRFzc7n4uycuBGDf:5DyOeeeeeeep
TLSHT144A6E757B4C65DBDC6AAD23DC2A262337EB1B4612BA1770219C0B7102F538E91BBD7C4
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/coq_makefile
FileSize526304
MD53CEFFDAD1F240D3577A2F96FC21B0F66
SHA-12817F7AFF86E102B14F2CEF931414F1A50733D45
SHA-256FF756C617833FE9F0C547AEF9A9EC3857268A10F277F2D923ED78ACA27AA13CF
SSDEEP6144:ReaHiQZi8+/7J7A3awpfJ/D0vQ+8FgTvSDebthjbNVmnWtk/otDXlc+11n:ReaC/J/7J7A3akjdCTvZthfPFVcQ
TLSHT1E8B41847B5C38DBDC6AAD679C699A036B9A334B503623B0B3D81A7102F1783A1F7D750
Key Value
FileName./usr/share/coq/coqvars.mk
FileSize283
MD5BC20FD210B886E5DE0B3E1A9B188D2E9
SHA-139B6B4B4153EAAC7C0CBFBE02846515A1BCD6BD7
SHA-256474015D924E2D2723A9A2B739A6EC240AC5FF87CC480722367C0899E7461F1E6
SSDEEP6:S+biAb6A0F2mbbQmncJ6hYWEAhC2Ib8hnVQJ9WrdgUCFqJrwedDW6jI:1bixA00mbbQm82I8neJ0JgUCFqBrjI
TLSHT1A6D0CD321D88160DCAD40A45364A65275205F576450134354BDC6757125B09D530B71F
Key Value
FileName./usr/share/emacs/site-lisp/coq/coq-db.el
FileSize8673
MD566EE972D56F407B6D64D999EB0859E20
SHA-1420941DDC65719E1597E6264770CF1ED862BD348
SHA-2569753E905E7C527AAA527D8D130AFF8689568E086969669D335D1444F7D5FD125
SSDEEP192:s+Ltygw3H7WONhwC7GY14UKivhCxW1MtZDUt51k/HCXIRLxpm71MeCkUAQHTE:s+LXy/2C6GB0Wn1fXMkhf
TLSHT1F102B9566344ABB32B8302725A9BC090EF64E36E1372490631EED7741F415B983FB9AC
tar:gnamewheel
tar:unameroot
Key Value
FileName./usr/lib/coq/states/initial.coq
FileSize337326
MD5EDBEB248EBB7D52FBDD015B54E307C42
SHA-14486559290BC5F6D0750C08E0985F013CE5786F8
SHA-25658548BCD71130F0D61309BBF1DA69FB22AD32363854E6731A4DA35698D5DD3D0
SSDEEP6144:igR+79nkZL6FmdnrzmoBp3xw09vPt3L0m//:A42FF09PFLT//
TLSHT1E874F73AE35C1C1AD9EE1CFEF7E9E39BDB18858A522262A3090D63035FC7756419704E





metalookup is a service from miwakeru.com