Result for 1D2E62556BA42756F35C1FF8883C2E69E2CA20B3

Search result
Graph view
Children (43)

Query result

Key Value
FileSize3806642
MD542E0CC5C48BB0D15DCD56364F118983E
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-11D2E62556BA42756F35C1FF8883C2E69E2CA20B3
SHA-256F82CDF4105104707AB5CAF03DDF6D691E2AADFC8D84217AA6FE0289D8BA95339
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/bin/coqchk.opt
FileSize1123484
MD5EE3C98FA212C95551330268D83D00F39
SHA-10911977C9E8E4E3A4604B0283B0147C8D9B844BF
SHA-256982C6AD6A782EF90B5BCC3AEECCE1145915931325D2C224796809F72C743D6BA
SSDEEP12288:anPsGuCvPcs2xY/rz8M1WK05Ak8TFXgtr7B7dhzSyYYaCETZgWz3H:ankGuCvEYjMpsXg9kyYPCGz3H
TLSHT15A354AD0E9035E74E13E8BB151BFA73712B0236708124B376A14EF967D972B26B16E4C
Key Value
FileName./usr/bin/coqwc
FileSize221656
MD51EE360CD193F5DE7628F6B7AFBD053F1
SHA-113D78960D2B7BB18820B701D7449A17E6271DD10
SHA-256B9F7CDBC02781E44CEB6B92799D170E02347E936788D10AE7A7DB2A05AAD2127
SSDEEP3072:DY0fpHm79NcfYz7Mxurh+zQqSQLeTF4BS43m47KiiFoars6L:DlfEhXMxeCeTF4Bn3m47YoZ6
TLSHT17A2428D4F646DDF5E2160AB381AED6BB47306D450317AE33BD09BB59BC322223E19385
Key Value
FileName./usr/bin/coq-tex
FileSize297864
MD553FA2E8B002F33C35FF77B95DF48D322
SHA-11FA4F5A89FBA9ACDD4E9D9265DE93AC3B6055133
SHA-2562BFAA1DDB041CA31B8EFDBECA5C68ABA092E504322D7454F3F5DFC40E4E9DB45
SSDEEP6144:YMD/pA/3Xjygl5qG+yqeOmnzMuWNIuM5:kfjyglM5OnwM
TLSHT138545BD9F6C79DB8E21A0A73456EE37F5230558606178F32BD18EA19FCB26103F22749
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/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





metalookup is a service from miwakeru.com