| Key | Value |
|---|---|
| FileSize | 12593878 |
| MD5 | C0379D1A072E61AE8B6CD01E893B4BDA |
| 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 Camlp4. For more information, see <http://coq.inria.fr/>. . This package provides existing theories that new proofs can be based upon, including theories of arithmetic and Boolean values. |
| PackageMaintainer | Ubuntu MOTU Developers <ubuntu-motu@lists.ubuntu.com> |
| PackageName | coq-libs |
| PackageSection | math |
| PackageVersion | 8.1.pl3+dfsg-1 |
| SHA-1 | F33E7BBCB4747CF0D3816BF76048EC5165339EE9 |
| SHA-256 | B3D93B443C04634CF62CBDC1616B6DD7DBCA52EA45FC2870948F89F6E0519A90 |
| hashlookup:children-total | 734 |
| hashlookup:trust | 50 |
The searched file hash includes 734 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-libs/html/Coq.Arith.Bool_nat.html |
| FileSize | 4500 |
| MD5 | 2D3B9353E32790AC7FB6A11727CB8259 |
| SHA-1 | 00CDC7CAFCA0F95951FFCD73C121CBCDF8E6410A |
| SHA-256 | 14AA7F86FD2163D7FC1A549EF3E0F16824FE90C2EB2F1907DD78AE7CEADC1B46 |
| SSDEEP | 96:LzC9IwRgRGa0ehE2totAJYtr3/ge/tSz/Oe/t0Z/Ie/tu8/Zy/4qb1:6wRGxehE2tMgYmIm |
| TLSH | T12D91B9AC2352A67BFE668EEB5DA17F39B1D0180AD5C05215F1DE46C34BADF8132C9460 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/contrib/setoid_ring/Ring_theory.vo |
| FileSize | 146503 |
| MD5 | 64F77B0B54CAF8EF6B44483832214E57 |
| SHA-1 | 00E0AB0A549ACF99CB9B3220233B00CA85E7D9C1 |
| SHA-256 | 4C16C3062FFAE46F42BE5AF3D6F8E2B73BC3BD1F8708D5537FF4BF1EC4162C33 |
| SSDEEP | 3072:kMbe4rbFG+xnK7DRw0fLH+10c8M2vP+vnQjkro9/WS9NC:kiLGUqDRvfLH+10c8H26/WS9NC |
| TLSH | T1AEE32ABCE32898AECCFE2C72DB32C706D16503DDA6F26AD7450C93A999C125ED14D349 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-libs/html/Coq.Logic.ClassicalUniqueChoice.html |
| FileSize | 5702 |
| MD5 | 165A971252137897D49D03A1CBC11F48 |
| SHA-1 | 00EC142F6F39875AB472B357D5331E67A02780A7 |
| SHA-256 | EDC98D0954F93E5B9A1196C6F37AD8126F447C2B17E3164C71908E4B6B720512 |
| SSDEEP | 96:LzCMMJqFq+64opNLdddSddddvKdddd0R/1yyNaXdXid0Zqnz7PhTNxLoLoZ3LeEj:JMJ8j65jY8ycyvP1/CpdyJ/ |
| TLSH | T197C1FCB46142397F86A38AEA75806BFFBCE104C3D540C604F9BF4B972ADCE4C31592A5 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/IntMap/Mapiter.vo |
| FileSize | 58003 |
| MD5 | 538B13B59AC1A928A9B0CF349E6709DB |
| SHA-1 | 00F74FAF9E8953E77F03974C432023F1FA5E61D9 |
| SHA-256 | 5475FB8BE6F0140795C609A81BBB1127C0492B4F716F2D53553EB919153A57B8 |
| SSDEEP | 1536:d2O+PDLXYFCj2njhRsx9DKXzayQwX3zzZnSjPBRhCQ4:d2OSlGjhRsx9AGyxHzhSjJzX4 |
| TLSH | T18C435D79E158ECBECCFD2DF0D778A2926422054D62F773932E44C328CDCB3A9149A55A |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/FSets/FMapIntMap.vo |
| FileSize | 711522 |
| MD5 | A6D37CC1A94FE4F4E028E9802974C897 |
| SHA-1 | 0138734BF4144C7A85B6D9D44843D623A97FA162 |
| SHA-256 | 5CDEDC495B6A40AA10877F07889C98F93227816C50CEB42F2EABED0F264A539F |
| SSDEEP | 12288:FjTOpeclCGLQ2g6DZoX3pXEfhF6/wUAG5daGitRM2rbeD:Fndcl7La64xEIR5Ytnbw |
| TLSH | T131E45ABCD7259C6BD0FE2DB1FBB69B4B5925508D93A332EB0404A3589DC330E51CA94E |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Wellfounded/Lexicographic_Product.vo |
| FileSize | 25164 |
| MD5 | AF04C97EB9E5651EAB567390D56F9E29 |
| SHA-1 | 015F74E117478E0597EC424C1B101B8F64EFA4E3 |
| SHA-256 | A1F3CA4BB1323A34F010007EEA61D7DC96A5678C1E1612CC7DED9D4E57F1A8A7 |
| SSDEEP | 768:lranCOlPG7A4TLMFdg7RadrfIJ8Gkdl4fW4alOERCudv:ltGWRsrg7RadrIJidMW4akERCm |
| TLSH | T122B2E8BDB00CFC7A1CFFA894E618C5ED7D26148CA2F712940D8D8768ECD26DA051ED98 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-libs/html/Coq.ZArith.Wf_Z.html |
| FileSize | 24407 |
| MD5 | FE83BBCEFDDA84266EC8F44B51A0A870 |
| SHA-1 | 022370AB9C8EA11E6CF5B22AD3B079F422C2A9B0 |
| SHA-256 | 401528D8300BB41DE751C42E0841F8264D7EDA27D9F904CA9598D2C17B915ED1 |
| SSDEEP | 384:E+kL/Fr5u+iHSii4fo4/k104sqZwOtwVXppu:Gpr8+iIp/c5k |
| TLSH | T1FAB259A01252367F86AB82E676E523FFBCD049C7D850C724F8BE0A9617D8F4C3369465 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-libs/html/Coq.Init.Tactics.html |
| FileSize | 3576 |
| MD5 | C8FCF5210E35D14ECAD1EA04D0516CC7 |
| SHA-1 | 027ECC029812CA403F4A821ED473EB66BED275CA |
| SHA-256 | 4CAEA68918954E94C85A85551AAA8AE1601E2F04E5356AEE2A934D8337EF19F8 |
| SSDEEP | 96:LzCCUPujsLYm+2VLkpfcqYXUdlLdWddddkzLd9dddddroLdOddddKrNLvddddFrV:pZjsLA2ZkN9XTV8npB+DVhCX |
| TLSH | T1E0718AB47272B93A89B789D775D693FF7DE094CAC2508248F5BD4A9B93D8D88300B0D1 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Wellfounded/Lexicographic_Exponentiation.vo |
| FileSize | 38531 |
| MD5 | 51E53C4A08ECB98DA6587C3DF2D10348 |
| SHA-1 | 02D6B1F2B79EA10E766AFEF83CB8778065F34CA7 |
| SHA-256 | E4BCDEDB7DA0AD327CA74B1426667AE0DD0D36C4D30ECD842BA5B8E64EDB3E7E |
| SSDEEP | 768:UwdSnCqAvUEYQdL8bpjK0iqGAt+9hYOyBimknakKMeGHDpg3hniV/:UwgnC8QQbdG++9KZBTMee/ |
| TLSH | T101031AE1F44CFC7119ED6DE0C729C8DA75260CACE1FB13543E868239A4DA1CE541BEA9 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/contrib/ring/LegacyNArithRing.vo |
| FileSize | 5048 |
| MD5 | CC704E602EE9A6DA544DBD1D50814163 |
| SHA-1 | 0347A88FEF6B0C3F7618C9FB28B98D0D01964CE1 |
| SHA-256 | 27E014C247909ACC23A425ACA26C1BAC62403F7226F9D0FE938DA0A05E9D5127 |
| SSDEEP | 96:qJ2zhxc6+xOTwpBCaYj0COnsD2PCPVr8hB9LNQpkvgbqH453LK11N7mPY:qJ+okTwpBC9jkneHPVGSpCMqH453u8Y |
| TLSH | T1D0A15F0BD63809FDE8DEDCB1B97832C0D9D5440C8266E328A958C46C9EBFAFB03B5054 |