Result for 20BC7404904D468F92793A84CA31DA1234A580AA

Search result
Graph view
Children (43)

Query result

Key Value
FileSize3922284
MD5A729C108DC2BF77B7B348415C9E19012
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.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamecoq
PackageSectionmath
PackageVersion8.4pl4dfsg-1
SHA-120BC7404904D468F92793A84CA31DA1234A580AA
SHA-256D55637546231799A1B3D1712F08C8980BF78347617587794801DEA4EC3D751F5
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/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/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/coqtop.byte
FileSize5249580
MD5311FBB480CA50AAEEFAC9215179F5C09
SHA-125285582C9D9368486A492B97B4A6379F33061E3
SHA-256D02D9BD12F23617E23BF5C364CEF30D367AB2999B2CFE912C7A58F225CC7C30E
SSDEEP98304:gT2QNccJmP4v00Ts8/8LPSxVq2G4Rje+h:m2QNccJmP4v00Ts8/8LPSxVq2G4Rje+h
TLSHT1BC36CD0BB7008EE1C1A64AB2D993C3852336EA759F43071F359DAA5C3AC3B5F6B44758
Key Value
FileName./usr/bin/coqchk.opt
FileSize958764
MD5EA002BDAD7B6AD4B4A953F97A42C1080
SHA-129285A25837C552691CB2EC9A85D36472EE2793F
SHA-256E5CB42B8A44499597F74BDB2B43A1D273EF79C41EA38AA079536550418BEF066
SSDEEP12288:SWtt2l9aiTsyIOw/Kd9F85PHPjmAciO0tsoVl9ksfuHKjmIguNfD:2naA3qCd9SZjmNSzmHKjffD
TLSHT1F9154A06A8497DB3C87E8D79417FD361C2297B9A03E79307280FB2523F561905F2BAE5
Key Value
FileName./usr/share/doc/libcoq-ocaml/changelog.Debian.gz
FileSize7377
MD5026445BC59D4E1FC544FF2DE97198FF3
SHA-12F1E4F53BF9C9064A24D729D1C1D2F3D5536E867
SHA-2567C077896CF1458B0EFE43A0FD75F93BE1BEFD23F6073904C6F25ED2707FFC2BB
SSDEEP192:s+sUEZi5YicmrYb0EQzKmObmaiPJNTNb1m+5H3kAvj:dvcIYYETmxk+pkAvj
TLSHT194E1AE26F4CA1D79B79CFF09AAC90F67C589586148749289AC948C36EDC1845148E937
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