Result for AFC3B8C7E0230A76E4108EE6DCFEA1BE494B7B12

Search result
Graph view
Children (39)

Query result

Key Value
FileSize18438034
MD595C2CC9370AAD10B2E2503573B72D067
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.5-2build1
SHA-1AFC3B8C7E0230A76E4108EE6DCFEA1BE494B7B12
SHA-2565AC8D620ACF4A0C2E2DE29346792EB99738B7BF45573739452766CBFFA7636B8
hashlookup:children-total39
hashlookup:trust50

Network graph view

Children (Total: 39)

The searched file hash includes 39 children files known and seen by metalookup. A sample is included below:

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/libcoq-ocaml/copyright
FileSize790
MD5D42BCE1FAC516F7DF0F92782D7A37489
RDS:package_id182052
SHA-114BE7DA5CA741BD3CD0E215BA3B55D6FF9D7D5A7
SHA-2569B71C96B301F87F6B0DCB39945C532DD4537B45535DFCC38BBAE533AB935F3E8
SSDEEP12:mpj8Jq4KUx0KKwXN1zXpMSuMgxgg6fU4xa2FJp/AhFxxPg:g0tx2wd1zZBuh+TOnxPg
TLSHT1CA01BDD5EED89BA97A90E862E9605C81471F2D5231D5E0E2B45CD1106B0955134C027A
insert-timestamp1679425887.2714002
sourceRDS.db
Key Value
FileName./usr/share/emacs/site-lisp/coq/gallina-syntax.el
FileSize45137
MD520211434EB5DE1549757B60667FBF4FD
RDS:package_id182052
SHA-11F5AA6AD2565A1884CE21B8C537DB512707F2266
SHA-25629359F3C3E92E3776A48E9F5109B6044290D65DE9942251B1588774400A17EF7
SSDEEP768:ML/boDxPVcxiqa3SaJa9P2MSJrk+d3LyGONLuJXoBxysFwwLWarEFEr8rhAnpwZs:MnaSaJAP9FBxy6LWwEDKz/VTIXKilh8D
TLSHT1F4137432F0910D2617CB0A916A9EE5113E70E69F12C40E1D7B9ECAD80F5DABF4236E5D
insert-timestamp1679424703.096611
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/coq-tex
FileSize1464071
MD5F1D16F46CB4C717495437E784D4F34A9
SHA-12B2E5A88669E640179B9B57D471A1FA35BFABA2B
SHA-256435A553AAC94FD36787B9726B0AD5162F5FB99DC9FFED4EF2FA6783682852ED9
SSDEEP12288:O3WScrhB62pQtQfAFI56lCYaAEAY7ojYWzcS5JLwkceg6xX45W4z7h6r8B2wnWss:/AI5bX7iYWB5u3egF5hIbisFQ+Zyr6
TLSHT1CC65E60DAA39E931C8A509BFD8E5CDCBC218897FAB536FF70088421565CB71D6F4468B
Key Value
FileName./usr/lib/coq/plugins/micromega/csdpcert
FileSize2919610
MD5F6838B4BDA43672655552D9702DD5D95
SHA-12C88819A7622C484FA64A0FEAFFF026C10E883C2
SHA-2569EE628A6BB2409FB001696617B922B67D3619BD01AA8BF4F6724B4E1D94BBB56
SSDEEP24576:BkBKj9cx4T/TL7Kjppad0LhmNOKz4pdvF0p5OIYWB5u3egF5hIbisdQ+Zyrg:GK9L7KjppFZ0fUueK
TLSHT15BD5E70DBB78E931C8A519BBD8E5CECB82148D7FAB036FE70049061555C771E6F48A8B
Key Value
FileName./usr/share/texmf/tex/latex/misc/coqdoc.sty
FileSize5494
MD5D81D07C2738BE88569AC158D76B4A72E
RDS:package_id182052
SHA-13C009E4BFA0A7740FD7F721C7B38AFE4883C9434
SHA-2563C46EA94A7954C9CF506F24EFD98F8059B4D098AAF4A3A38A8903473A68EA617
SSDEEP96:zp5zUm5Sua7AIzP7glU+c4V1lSjcilL4bSurImGYsBtGosrcS/p:V5zUm5Sua7FzP7AUZ4fCcvbvrImGNtGN
TLSHT1E7B1DD006DBC72922BDB0D46AD54DF095C3BCE0A3B0E96E678BC245187C6B8F029974F
insert-timestamp1679424703.1018066
sourceRDS.db
tar:gnamebin
tar:unameroot
Key Value
FileName./usr/share/coq/coqvars.mk
FileSize277
MD52555B0A526C6907ED547703A07A42640
SHA-13D220447942840A7D3667FC58240BCC98C219200
SHA-2568BD565D4DFFDB09FC945A18486295D50819554E7A3C929EC124BC49955F6C335
SSDEEP6:S+biAb6A0F9+bQmncJbLEAhC2Ib8hnVQJ9WrdgUCFqJrwedDW6jI:1bixA0ubQmai2I8neJ0JgUCFqBrjI
TLSHT19DD027331D4C150DCDD00E41374D65275301F577490534354B9C6755125B49E931775F
Key Value
FileName./usr/bin/gallina
FileSize1286688
MD573BE42DFF7DB3E86736E61F1A0827BC8
SHA-145E88B4A4B4C78A308C57DB9DB3C46D1C2BF965B
SHA-256C141114922BEB0E2B996E57A7A7445E558EE4B4833302B36BCF6705C7FE6C78B
SSDEEP12288:O3WScpv2pQP8qbAEAYgzYWzcS5JLwkceg6xX45W4z7h6r8B2wnWsei0xooj0HCCt:hzgzYWB5u3egF5hIbisGQ+ZyrE
TLSHT1B455E50DE639E931C8A509BFD8E5CDC7C218897EAB93AFF70088421564CB71D6F4568B





metalookup is a service from miwakeru.com