| Key | Value |
|---|---|
| FileSize | 3728050 |
| MD5 | 6A1AF93EDFA08F54EA7BAEFBD8E9D680 |
| 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 | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | coq-libs |
| PackageSection | math |
| PackageVersion | 8.0pl1-5 |
| SHA-1 | 3487E1B8786EE4FD5AC32E13F55D8D223DC31B39 |
| SHA-256 | CC1585D73DB50C2BA28A3D01B085404FFDCF055A62C724BB5BB835B70F26F739 |
| hashlookup:children-total | 222 |
| hashlookup:trust | 50 |
The searched file hash includes 222 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Reals/Rderiv.vo |
| FileSize | 47996 |
| MD5 | 2C913645BE34C2DC84FBDF865D814078 |
| SHA-1 | 0029294BCC60C0F5D1661F53BF9A7A76F816B25B |
| SHA-256 | B5D47E24BE22CE0A66CC2ED50C2F35659B57E79CA7C3732EE3DF7F8FE9965934 |
| SSDEEP | 768:anlAFKKolgJhTP+e7SQaJ/pCMm6DkmfRip3mVT3miksyL+oGVG7+Dt4Na0K8DdI:ilkZ7SFJxCxEKmVbELpGVm+0a0K8Du |
| TLSH | T1B023F897D81928BE09DC2BFCF7707045854701CD81BAC7DE5A00C6FDEDCA2AE676918A |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/ZArith/Zbinary.vo |
| FileSize | 29435 |
| MD5 | A3C4D1DD4C43171B72E9E32F515BCEFE |
| SHA-1 | 011A40DAD4FA8B13C03B77AA36F081B1E4C91CEC |
| SHA-256 | C17FEC0F227F0FACDF89822834455D793F51623950D9D54B6C63E50F7ADB5902 |
| SSDEEP | 768:arE3n8N8Wr2z88hgpKMd3UpCwrFP1Lepim9Q6Gm:ao3iM88hgpJdqrDEl |
| TLSH | T15AD22AD6E59CFDBE0AEE5EE8E57CE0D47527008D20B743D93E40823CACCE69A125E954 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Init/Specif.vo |
| FileSize | 17161 |
| MD5 | 50C95DC16BB548829F8886633C001D6F |
| SHA-1 | 011EFCC16A4F26E731DC182C352982E5172EF471 |
| SHA-256 | C5EA0822717654F626802AC16DABCF870745C3E9D84D8200608A87C7991D1865 |
| SSDEEP | 192:YZqCgxhNRFPOSR7aOxNqiRn2tWV8zg1sWZOP0RrIQn2EX1ftqSkeRZ59kdgQm7uC:YZaTRhqpRWZ9SSjf59PWZ2lmSqC |
| TLSH | T1AD72D87D7740A4CFCACC1AB8FB28D699C36982DC91F58A84990893B944C83BEC75C65D |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/contrib/ring/Quote.vo |
| FileSize | 5080 |
| MD5 | 9A9C122E4FE03360BC77BB0C235B9284 |
| SHA-1 | 058E12EF0A9DA83584B70C52008803501F86027C |
| SHA-256 | 6543AFEB12C1CC69BFA0CEDF646A877E05FD50BCC8F2CF63D6756D7B7A56D505 |
| SSDEEP | 96:Ztyohqo2kJBQojOMTnfpNFNiCnX+DS/kS6vPewXeqyYxqU6Rw8:ZJqo2u6Mrfpb3gewXeqyYR8 |
| TLSH | T183A1843FE91C0EEB4DDF1CF5E3B4E794C39913A810B6A795944047A869E822BDD8C14C |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Reals/Ranalysis.vo |
| FileSize | 52892 |
| MD5 | FC1F3758F1E23F6968F5AAEE3ED78D65 |
| SHA-1 | 05958625AB3384CEF0CFD16D0CFCBE5DA6F90A1C |
| SHA-256 | E396139650A72A93B09D248FAA6030350940904D98B9B7F3DA02FFE10BC832DB |
| SSDEEP | 768:Pi7f3AfSrwMr0I+kTU7GbBc35VdKLdLUOt0PRdNt5ZU1zqAeo6rgxP6:PiO6+kTU7GlOVdZkcdzw4Ro6rg6 |
| TLSH | T12933E7FCBFE47DCFDE299EE1B0F12296F21D80D5D400BB708A2681B5544A2997719E23 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Arith/Le.vo |
| FileSize | 9252 |
| MD5 | 775C55056889CA58CF43E927449B914E |
| SHA-1 | 07521283F324F2619B9B5B61D614EE4B6AD416EB |
| SHA-256 | 7BC67D236527ADBF184114890941DB28E7DB22597D05FE2963657727CFA9C902 |
| SSDEEP | 192:9GK+Z+pI8XGW+bsjYbJQLr992gMhWQY801lBFfbRpRp3:94tfWrps017FfVp3 |
| TLSH | T1CB12D78FAD1258A6C8FF15F9F23DF4E6DB46809C13D9AB82840487B4BCFA35541981EC |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/contrib/ring/Ring_theory.vo |
| FileSize | 51190 |
| MD5 | 395253D566A53DE9DABDDF78CD5BD8EE |
| SHA-1 | 085EAA4CCB8F005AA0A968A29C15F84FB79253F7 |
| SHA-256 | E2F3BB99D4D34E84266FC175F6E5ADB1CC69A6BCF84A675D460E2AA777543C62 |
| SSDEEP | 768:0FpQJq8zC9M0VAcexKug3Fz18olzwOfGOXe2iR9sARanyu8o6S+P0IB/+5az:0cJq8ui9xng1ecxopWfXwnB/+5k |
| TLSH | T173332BB9E11CF0EE9EDF1DA4D312C7B9E60407ACD5F04A419B4993F9C4E829AC91A71C |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Reals/SplitRmult.vo |
| FileSize | 3259 |
| MD5 | 9CEA979BAE96B777D176738AB19BE31A |
| SHA-1 | 093F3CA8365AC0E9046EBA5E7BA065A3B2B2D098 |
| SHA-256 | 6C6DF39A40D07233DF1153E7F31D571E1312EBFDA7123BB676D241607DD35E7D |
| SSDEEP | 48:tLY9aFZ9cwv/T29RHr3QF4WkOIPGWat0YnYngR0xJYERaPuPNFV+zCZahQJhMj+e:2ahwRHD24N5GHn1w+tYC28hQgjh |
| TLSH | T19B61404ED1380EF9654EDC40B93D62D88596045CD4697738EE54C92CECBF57B13BA920 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Wellfounded/Well_Ordering.vo |
| FileSize | 5180 |
| MD5 | D02E05FAE5C5866E25B05DEEBCFB510B |
| SHA-1 | 0A83EF4FD2A12CEAA6B194317CCD97D7932C6B8F |
| SHA-256 | 1981D30873AFC61A519DEC06739AD9A53C9BFCA6BE800E248C24C49A23CD248E |
| SSDEEP | 96:k9m5fhMfND1f3jZJDnaeGSKfMvnP1LN9LnGyoV9VQfmdtCtcBkkGv+a:kpfN9zZ1a1SKfMvP159L+nwc5na |
| TLSH | T109B1A59FE9440CBF0CED29F4DB2694A5954D12CE12F39FC9810403F9BDE42EB5A516C9 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Logic/Classical_Type.vo |
| FileSize | 744 |
| MD5 | 2BBC64B17AA00180408112355391E8C6 |
| SHA-1 | 0BF77D7F301841B7E053DCB1F43747B4A35D401E |
| SHA-256 | F0148FDF1164B74C1FDAE99A40FCF0D0CEF8CEFCB45AD40BD83D706460FF2104 |
| SSDEEP | 12:tvMK1Fjf4Y/D+UVzoGCeq+rZv1zVu1b/zN7e5XNO2RrdtoFd1vpvxpPHM4T:tvMKbf4YVFZLrRpIlzN7Q3daFjjRrT |
| TLSH | T1DE01C09DB6715C934DB56264FF7170EC989C1580541CBB445D50E10D88CD96B2373228 |