| Key | Value |
|---|---|
| FileSize | 37141832 |
| MD5 | 67CA3AB4FFB600260B23483EBB9F9EB8 |
| 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 | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | coq-theories |
| PackageSection | math |
| PackageVersion | 8.12.0-3+b1 |
| SHA-1 | 86A78A21F92C34DEBF85F155ABD83D82838892F8 |
| SHA-256 | 520C5F1BF4DB2F58DE2B3396BC77C3198ACA2A777BA0B0FC70F7285CE54873EB |
| hashlookup:children-total | 4942 |
| hashlookup:trust | 50 |
The searched file hash includes 4942 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/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/Sorting/.coq-native/NCoq_Sorting_Permutation.cmx |
| FileSize | 4700 |
| MD5 | 4CBDE1B2AB5E244A42B1A96BEDB2A959 |
| SHA-1 | 002D0F749FA0B8BD18EDFBC13897A860BEB86EA5 |
| SHA-256 | 54A3022B2FC9C136B152E47C170814AECF528FB41C18971190781FC96211870E |
| SSDEEP | 96:d5nhWiC9AR1DTPhZ2Zhg8DDcBCglY4SRQ1e7R9/uNb06FfSn:QiC9IT6WWaFlY4AQ07R9AbRFqn |
| TLSH | T137A101D13A41F4C9ED1B20E746AADA610071640FAE90C85CDEE9624FBF5054563CFF27 |
| 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/Numbers/Natural/Abstract/NSqrt.vo |
| FileSize | 147819 |
| MD5 | 3073F3BDB12ECBCFE86AD92BB2A3E56C |
| SHA-1 | 00421D3559B1EB4CABF85E5592C79A5F350A5B74 |
| SHA-256 | 22D799C71E46C41EDB9BEA5A31FFEB1F6DC1140BC57EA9B120EF01250B0295CD |
| SSDEEP | 3072:Cl0NHPbk3S25KBhn2MY8FAoAqQ/d67shrIku9JMM1njF2rqGxS:q0BPo3S2YB9243nQk7shrIku9JxnjF28 |
| TLSH | T1D8E3E705E64B80E9F973157AB358A8ACC0F549FA02BD67C78E3EC91995174C332877CA |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Sets/Cpo.vo |
| FileSize | 29090 |
| MD5 | E8019448FB65A41688F0020863926235 |
| SHA-1 | 0069F83E1504A5794782F73FCA8340410884CF63 |
| SHA-256 | B50156C01D7744BA68A4CCC37C01DFFDA5D52234DADCB3C763E35CB48C3F2B99 |
| SSDEEP | 384:3q8Zpdn2gdGSGw8Cx/EZIgFy7DZambwvsL0g6T6asFwoMA7r5iOSaLS6ob0:JZpd2gd1p70mbwvsOTJsFV7rAK |
| TLSH | T138D20879E521AD99E4DF0DBDEB53920027284ACA22F7F6435809A35408E53DFE42B7C6 |
| 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/coq/theories/Numbers/Natural/Abstract/NProperties.vo |
| FileSize | 336247 |
| MD5 | B89F046CCE66D37AAB5F00B100EA2803 |
| SHA-1 | 00811B70FDBC166E2F52D309F8629FA3D0B9405D |
| SHA-256 | D461306EBB410C8B25CBD9AA8BCCDCDDC2723E81A1F90D6FC3E5FE994DA8B11B |
| SSDEEP | 6144:JItdbdRKTG9hmL2pAK/00Jy2050PnJYqbuJhKEosF2ZQSbt6TupbqMhQ:CtMTX2pZJy2050PnJYqbuJhKEosF2XtQ |
| TLSH | T19164F872DA6FC57CDD8B31F6B355E01AC6B009FD12BD5A948C1DC825F18308A6AC17EA |
| 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/Logic/.coq-native/NCoq_Logic_ClassicalChoice.cmx |
| FileSize | 2405 |
| MD5 | 9F3C9712551014C8626127A881BD803E |
| SHA-1 | 008B2672AE6360E2F2A4DFD8B69275CBEFFA7BBE |
| SHA-256 | 41A7086042C9F3C3FCD2EBB4CB4FB146308AB5A07A1DE646072203B94041A766 |
| SSDEEP | 48:abCSnhRKRi1wDji/QWEARg2DTcshUTaZ/sUvLg8sA6ggLKcVzcDkh:W5nhWiC9AR1DTPhU2Zhg8DDcBcwh |
| TLSH | T10D41C78A73C576AA34A211B2DDCE00D652711427DF21C8BCABCE630D5DE8C17B5E2A07 |