| Key | Value |
|---|---|
| FileSize | 36980788 |
| MD5 | 59F11180DAD18B87DE2D5220CDAC0195 |
| PackageDescription | proof assistant for higher-order logic (theories) 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 existing theories that new proofs can be based upon, including theories of arithmetic and Boolean values. |
| PackageMaintainer | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | coq-theories |
| PackageSection | math |
| PackageVersion | 8.12.0-3build1 |
| SHA-1 | 1B200532978B0EBA1F18F38EB4119F703E8549D2 |
| SHA-256 | F6A45312B5CFF507852F946571A3E797B6705BD386F2D6DC6A1B36122BBA10E0 |
| hashlookup:children-total | 4941 |
| hashlookup:trust | 50 |
The searched file hash includes 4941 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-theories/html/index_projection_M.html |
| FileSize | 23381 |
| MD5 | 2BD5F21F51E0A9131EF16424E5FEC4A8 |
| SHA-1 | 000C7D0FC0991D9F9064FAAC7BDE3C5C27E2E988 |
| SHA-256 | D581EB6E93583ADDA8F0C806922536CD122BB9A654A357AFCA81D96DF892AB52 |
| SSDEEP | 192:KpWEMfVjiXdTgJPtJV7XQsoJLIVuhrEA608C3Qx1VHWLy4j/0q:0X0tvEgo |
| TLSH | T19BA2314215C2646E42597A2F4AB47DA962F30BF54B603C04EF9FFD7FCAA2795021D283 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/micromega/.coq-native/NCoq_micromega_RMicromega.cmx |
| FileSize | 9473 |
| MD5 | 5A07D62C79295D01CF6FD94AC9DB1331 |
| SHA-1 | 0016432D41287DE09C82827964F7B4DCC742034F |
| SHA-256 | 743DA8F77315696A1EC6B88F7F990B9F84E3AAA94168C69336C41D660AA699FB |
| SSDEEP | 192:1iC9ITJlIlLEkQaOt6WWuJzS3E6UsTYzgxMk/7QrzUKgoAADrk0um7bGfoC:h6TJShEkQht6WpzS06U4/MXUKgoAmrkv |
| TLSH | T1B11210DC2A6FE041EB0B54EDC5AD686A4C12444ECFD68DE4EACC4A4DFE904C895E7363 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zmax.cmi |
| FileSize | 2598 |
| MD5 | 39A844D9D02B3B095E47BC05DA6F8F2B |
| SHA-1 | 001B02F2B44C392E4D974B115E8A7D60FD5DA1F7 |
| SHA-256 | 2AB944242DF42247D7CF9F76CC38C688E8ED97F6A087459E96F99C9AC992870F |
| SSDEEP | 48:DvouTcuvkwCSnhRKRi1wDji/QWEARg2DTcshaTaZ/sUvLg8sA6ggLKcg:DvQw5nhWiC9AR1DTPha2Zhg8DDcg |
| TLSH | T19F51C589738579B6746101B3CADD00D712B1282AD361D8BCAECE23498AB8D1B52D3A07 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rbase.cmxs |
| FileSize | 16584 |
| MD5 | 15A4E1BB241CC496C182A003C74677F6 |
| SHA-1 | 002DE0049EDA7B0FB64FCE4A88ED668EBB8F3DFE |
| SHA-256 | 87E16CDC0279FE20C50488A42596BBD0FBEB735939CE58E121F874F6F84D2409 |
| SSDEEP | 96:Rj41BWBUc+ntrmW5nhWiC9AR1DTPht2Zhg8DDcMHbiV5bSuGg:Rc8WnhgiC9ITCWWN7ik |
| TLSH | T16572A44BB7C5D53EE13895F7C0DF017972F1B802A7E08623879476282DE6215AB62E93 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/FSets/FMapFacts.glob |
| FileSize | 319787 |
| MD5 | 1927E2601305575C967E80921CA42E1A |
| SHA-1 | 00302BAB730D1B98EB38151D028CD996D5031B16 |
| SHA-256 | 559D3DC597C26B11F14C7F01E3CC979AF13811C53ABCA74E97055FCC31B29555 |
| SSDEEP | 3072:ysodLARSmgOFBg9RP/XcTJvfzLe4QcBIFIsnQU5SaMzZ22L+fVRjPVgn2TyJaTbm:WA6mJay7 |
| TLSH | T18B6456FE71476E7B1E9FCE73874123A6C95901F72A6B0032B6EE8BF9396418D01189D4 |
| tar:gname | bin |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/btauto/.coq-native/NCoq_btauto_Algebra.cmxs |
| FileSize | 147528 |
| MD5 | B03124E9AFE601F79BE66114A2E2C85E |
| SHA-1 | 004652523B5F5B33A1A2CFAF5E1B7BF2A82D8A7C |
| SHA-256 | C4FD4DBECA95AF91CB79890E10E415600A846E2DDAF5AF5BDDCAB25042E3A5A5 |
| SSDEEP | 1536:EDb2/KzpZys27LhEn1VqVuilp8rfaBuDRy6qlakFHXwxSfblaxszi11lgtNmR:EDb2nVxldHXHaEiDlgt |
| TLSH | T11CE3D697AAD28D7CC37BC2794B8B05723B71B81527202F0765D4AB381F4258A1F9E7C9 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Exp_prop.cmi |
| FileSize | 6156 |
| MD5 | 8E936B37AFBE8C6EA8A656DBD14BE027 |
| SHA-1 | 007A65A780882A81F6A6F694EBF70E1275707EAF |
| SHA-256 | 059B4721158B431D0E65BA8E5828BA31512F923AB22F70D2CF4525E999F4C4D9 |
| SSDEEP | 96:AIs5fBxJxEzFs1u4c5nhWiC9AR1DTPhUlIl/F0IPkQaOtob2Zhg8DDcg:Af5L30soeiC9IT2lIliUkQaOtoKWWn |
| TLSH | T1E2C1B589770075DAEF2391F5EBD8208B0661119DC3EADCBAEA4C4AADD47640913D7163 |
| Key | Value |
|---|---|
| FileName | usr/lib/ocaml/coq/theories/Logic/Classical.glob |
| FileSize | 154 |
| MD5 | 9DA2A7777B2B11FF7D1428A90880F666 |
| SHA-1 | 00884F2F040235006CA1A9A5BFE9A60C81A1C174 |
| SHA-256 | F96E319C26FC91B9A59F7BFD857DA9395F0D86C6CAD3D771F61A7D0851E34834 |
| SSDEEP | 3:JnDTdhnXNUKXXdJfGSJEWWkhSaXfGSJEWWkMenFZknDUpGSJEWWkM6mbgP:FTLn9UWdJfGSJVvGSJUeFanDGGSJU6mA |
| TLSH | T1DEC04C26890525F43A9319715D8113F06371718DAE55DA51A46E990E06C489CB924BAE |
| tar:gname | root |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/extraction/ExtrHaskellZNum.vo |
| FileSize | 34384 |
| MD5 | 014E4CD140F6D930AA4C256E0C2828B0 |
| SHA-1 | 009DB08045C2DB8A853C5584F54BB61FB76E6D0F |
| SHA-256 | 73C9386EE6526AE2D0603C8FBBC4A9E329E653A7B464C389EEF92D2F696785C1 |
| SSDEEP | 768:LFgW1VWh07GufDl1Dd7SAluvni00EJjQvccTp6D/wsVa:LmCwhLeDTDdpuapEJAl6D/wl |
| TLSH | T126F2D443E11057B118BAC9319EB850D2A446CF47B39D1BAB257801AECB1F6DB2EFC653 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/ssr/.coq-native/NCoq_ssr_ssrsetoid.cmx |
| FileSize | 2299 |
| MD5 | 38FA44C4EA59D53D4DA0CBA8EA90266A |
| SHA-1 | 00A37CCAB411832F105F0575E0B09B5DA66107A7 |
| SHA-256 | E1761F865086C0084AFAB63EE4BCF1A73E1F7D5A75B15543C842FF63996AF0D5 |
| SSDEEP | 48:68CSnhRKRi1wDji/QWEARg2DTcshQTaZ/sUvLg8sA6ggLKcstsMp:n5nhWiC9AR1DTPhQ2Zhg8DDcsSMp |
| TLSH | T19A41EAD973C4B6AA347012A3DDCD409712B12417DB21DC7CBADEB30D5EB881769C2A43 |