| Key | Value |
|---|---|
| FileSize | 3737204 |
| MD5 | 4A3003CD9852AA2D8C5B821B95DCDDFB |
| 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.0pl3-2ubuntu1 |
| SHA-1 | 9E2FD9B5DB353D1EB2C8F64A9BD63F273F591539 |
| SHA-256 | AD6B4A2BBE2A7AAAE77146FDB8E1F9759EC8CD6E2A9C59010AED3C06614E077D |
| hashlookup:children-total | 223 |
| hashlookup:trust | 50 |
The searched file hash includes 223 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Reals/Cauchy_prod.vo |
| FileSize | 33503 |
| MD5 | FC9CE1EAE48DE6AB6B513F90365A7743 |
| SHA-1 | 012507940D6EBF36E26F15EBCE71DECB67ECB5E8 |
| SHA-256 | 34E800D0BABF7B55660A093312E82DE48303943A44A9171EB91D57EFB9E9466C |
| SSDEEP | 768:JZv5YbePMYfMuJ/PvnRiOK64wuZJJxoj/Yp0Tdnlc:eCPMYfMg/P/R5UwY3SNTdnlc |
| TLSH | T16BE21896E458BCBA19DD6EF5E258E8C47493404D91B303C92E02C63C7CDA3AB617F99C |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/ZArith/auxiliary.vo |
| FileSize | 8547 |
| MD5 | CC05E6C5673B8559372D402DFF6661A7 |
| SHA-1 | 02459C30FE35DA2E3DD1693D97F29C7E9764D860 |
| SHA-256 | BFE170466B3BFEBAF38BEF6F6D5D457D8632E6DE755B0CEEADCCF1C6760F775F |
| SSDEEP | 192:TEmGr6jj0rubLXntEAvivOTpZqc3r16vVstgNZtWUWbUk3i:Tlhjj6ufXn+Aawp9ZsNZtWXBi |
| TLSH | T1BF02825FA51E04F896DD9DB22969F0A1D302010993B4D3E3450082B9FFEFB2A13F9998 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/contrib/field/Field_Tactic.vo |
| FileSize | 29650 |
| MD5 | 80D1757B7EC4B245398BC586F688A82E |
| SHA-1 | 0471803B6DC626CC6CE934F057B2584427451F4D |
| SHA-256 | 3BC07DF3AD5A488AE0D50AB3DABBEDB5450161DF7450F78E83BE4B5380E2E65E |
| SSDEEP | 768:WDTzIgff3/PNiHYRu87j9PPnVNfhoya3ILf8:W7IqP/PNiiFhzhskE |
| TLSH | T10AD2E87C7FF4EC8B8E3A4B8AF9E50356FA2E11C6C685BF1405B501B60950065BF58CAB |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Reals/Raxioms.vo |
| FileSize | 9380 |
| MD5 | 0811E037350858DE12CEF0C8F331EFE5 |
| SHA-1 | 08C210052E2940B85D38A6042EFFC95AACC319B0 |
| SHA-256 | 96FE50540AEF65F896EB0AC3AEAC3B1442D48A8ECC2080585F55CCE180F2C728 |
| SSDEEP | 192:hf1Nf7i5weHb0yoWvU42FJGfch3Mo3351ubfSuH0IJ/DTOhJD:vNf7iKEbvoWv5w93P6f7HZJ/DTOhJD |
| TLSH | T1C812E78EDA1478BF49EE1DB5F961E0D1DF8B008572F993527804C67D18EF23602BA5B8 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Relations/Newman.vo |
| FileSize | 5197 |
| MD5 | 68FB8BADF4716E02708CF27A97452117 |
| SHA-1 | 090E485D8FB90F8C589A5F36B0C599F5D4330A69 |
| SHA-256 | 260F17FC4E7C33FB173609E27ACBDC0EBD92482BBE795B4DE7B7F36405C640FA |
| SSDEEP | 96:ueQ2cmudXmfQjtWsuVEr+S0ZwtySJX+GpnSW1W/7PU2RqaKGVALt:uevcmudWwWsnr+VOtnOGYGWzU1aPyt |
| TLSH | T126B1A6AFE52C08FE0DDF15E69721E36AD604434C03F99794535483F9E8E92AECBA9240 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/ZArith/BinInt.vo |
| FileSize | 70753 |
| MD5 | 2B8427B2202D86ADAA50D0BC65DD4BAE |
| SHA-1 | 09D819C9826C2A9246D0EA385749DCFC177933FE |
| SHA-256 | E7F8F01352182F3419F6454F1EF0A081F26DDF4B11FBB6745828951F0737BBA0 |
| SSDEEP | 1536:MYstfPemGJmT4MmXv8KW28RimKMplokB1FS6+3obDD5+fYD3UxYC:MldSg4JY7Ric11FS6rdBDEuC |
| TLSH | T157631ACE561E7DA88AFF19ECE39DF820D62901CD62BEC6C38904D5B8EFC631E1164459 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Reals/Sqrt_reg.vo |
| FileSize | 25776 |
| MD5 | EAF0E1E07B8EC726191A2CF9E8901957 |
| SHA-1 | 0A99B20BA00AB27B3F80376AC9F2693FECCF12CE |
| SHA-256 | 18887A3C67AC8090E26EA00248DEB67A351F77B62D9308FA359BFEDB9A7587AC |
| SSDEEP | 384:qVJtZKdw0kpHHVysg0hLnCM8oO5CctYpqkwwIbhmVcNJG/diXCu36KZhdzwQ+EUc:qVsspVV8M8/sctYYk61mVyJWdehid0j |
| TLSH | T128C2D79BD52D2DBD19EC69E5F634B28AE042008DD17B83CA5904C2BCF8CE36F227555E |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Reals/Rtrigo_reg.vo |
| FileSize | 51998 |
| MD5 | 91EE07780584F2E58FCFC68E8305E11A |
| SHA-1 | 0C899E05716CA418657EEA63E9E93145DC6BD960 |
| SHA-256 | 2A6683FC3C236ADB0F0DBF3334CB7AB72ADA722FD2701DDE6E6D0DDF88440285 |
| SSDEEP | 768:eRcTgCvlPuQp6vaT0JQ8rTDbuWx8jhtXFu7LvqWhZhDkb+sNdYA6T3BwhY/:emT/Oe8DbuHhVepdkbtNKAMxw2/ |
| TLSH | T12433E787C42A3CBD05FD6BE5F764B156E453008D90BB87CA5E00C1BCBDDA26F266948E |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Logic/Eqdep.vo |
| FileSize | 13656 |
| MD5 | 511794EF2DBBE0C4650CFD33229D8749 |
| SHA-1 | 0C99065986E19333D48D97CE3E6A1CE1EFB9EAF1 |
| SHA-256 | C4D3CAB907BAB2CB20995CFD65F0B8D4954FE4D165EC7015D9B29842FD84276B |
| SSDEEP | 384:18N5wM4v0yOwYdbaj/mzBZwreWQh8iC3/7Lbv0b:18rw/0yO1bajcBZa19jLbvM |
| TLSH | T1E252D67FB41B69EF1EFD82E80770D3B1E61126A861F69FC48D4C4364B9C8299C64E358 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Lists/TheoryList.vo |
| FileSize | 31326 |
| MD5 | 1DAB11CC393384B9B6E2D2200A06CA3E |
| SHA-1 | 0CE95E05613454D99B8279B7705AE3FE28E9B14A |
| SHA-256 | 727CFC0ADEE731A619607FE7AE803B38F14060BA2A541E45471F148691B4944A |
| SSDEEP | 768:KKc4w/zcAD9jm4M2RJxTHkdDgU68JpbbcdKrvmhg18Cr9/pcYov:r8/Ak9S5OxzkdTDaKj8CMYov |
| TLSH | T157E24DFAF409FCB708EE2EE8D918D0C8E695069C50F252E51A4A9335ECD9386CD376C4 |