Result for 1FA924D07617A7FAC598BE8486AF730F0347AF3C

Search result
Graph view
Children (42)

Query result

Key Value
FileSize3851422
MD59E3883EA7C3BB3C76F0B2819EE77EDA1
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-11FA924D07617A7FAC598BE8486AF730F0347AF3C
SHA-256266A650BF79116F2FB4FD2AC399D24D54B18065D18974D109F2B8D188AA0EFDB
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/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/lib/coq/plugins/micromega/csdpcert
FileSize613916
MD5C9991C4C02A6C12F4B3CBE3585DC1A0C
SHA-132FBAF24A9E94C12724FEA2D4FBDC4C6A946D489
SHA-256DE26AC164571BC6BC3BEAFC0730DEBE9D2E4951F5857E7B0D36CC5ADE1415E57
SSDEEP12288:0SKHwnT9L+N1qDISopwClZEoM/dTZVcukR/l2sL:3aOITwgukW
TLSHT117D44A42BA057C77C86D4D38016F93A28329BBDA43D79707391F62523EAA0D05F3BAD5
Key Value
FileName./usr/share/coq/coqvars.mk
FileSize283
MD5BC20FD210B886E5DE0B3E1A9B188D2E9
SHA-139B6B4B4153EAAC7C0CBFBE02846515A1BCD6BD7
SHA-256474015D924E2D2723A9A2B739A6EC240AC5FF87CC480722367C0899E7461F1E6
SSDEEP6:S+biAb6A0F2mbbQmncJ6hYWEAhC2Ib8hnVQJ9WrdgUCFqJrwedDW6jI:1bixA00mbbQm82I8neJ0JgUCFqBrjI
TLSHT1A6D0CD321D88160DCAD40A45364A65275205F576450134354BDC6757125B09D530B71F
Key Value
FileName./usr/bin/gallina
FileSize196584
MD5AD31854BCC039C5B4F238A64B1600E5B
SHA-13EC9A87EB725F4C8CC8D993FFFFC6CE5D49AC2FF
SHA-2569C1171ED8F984E093D8B7F42394381000D7E9BA94A004111F16397D0C96ECE62
SSDEEP3072:xjXUUCjQIzJPX3TXrA2iochmPZvu1ngsv8cWEaxCET/b7gCpIJrx9:xjXUG43T7APeZqgs0cWEagETD7NCr
TLSHT133148C427E51BC63D82E8A3B059E5A26832E3FDA53D3A3033A0E73063D751D15F26B95
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