| Key | Value |
|---|---|
| FileSize | 3735480 |
| MD5 | 650F8F172CB7F21A5F17704F5A0EF1AF |
| 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.0pl2-4 |
| SHA-1 | 34EBCD3F8F7C168B38B0BA0DEEED6ADFDD4CA25A |
| SHA-256 | BD28BA821B76FCE6A876175E1967103846A07A3933018DC6BA6461D23845F940 |
| 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/ZArith/auxiliary.vo |
| FileSize | 8547 |
| MD5 | BE2E8D3D2C55FA3399AA0A46CA4F2F58 |
| SHA-1 | 003638E9BC3CC97F1E40DE90FCD923646821806E |
| SHA-256 | C3AF8E945C8A8FFB1E5D1D610CF444F9C629F414DA5DCF4453CE8F2EE91ECE7B |
| SSDEEP | 192:2EmGr6jj0rubLXntEAvivOTpZqc3r16vVstgNZKYZkbUk3m:2lhjj6ufXn+Aawp9ZsNZZZkBm |
| TLSH | T1EE02935FA51E14F896DC9DB26A69F0A0D3021149D3B4E3D34500C2B9EFFFB2913E9958 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Sets/Relations_3_facts.vo |
| FileSize | 8854 |
| MD5 | F100ABE88E1DC8ABA5123C9D30C6050F |
| SHA-1 | 00427ECD6A190D5CA0359B117F5A728A6D0E492E |
| SHA-256 | EFDC85B9966499DDE9D5B9144A5E0D2904D62459B4F795D7DD6BB5CF47C91E84 |
| SSDEEP | 192:jYEJ5Uh8hEp4UGl2Y4NXGbiDMXW9BUefsLjXSJKgi7Qo9ISCu:Kp4UGl2YkXxPsndgi7QoiSl |
| TLSH | T1C0021986C59E6CE70DDE5371B324EA01E447048C21F4ABDD8E824A7EF8EA34E57CA4D0 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/IntMap/Mapc.vo |
| FileSize | 20432 |
| MD5 | 78D3A5BA95816A12996CE81572D5CD1F |
| SHA-1 | 00A435CEA24AFBDB777EE0709C20B085F26CEC6A |
| SHA-256 | 888AFBE246FAEAC1C52A905C89268EA3B6B4AEC357CE51AC73E390FE34A6A7A1 |
| SSDEEP | 384:ztNfVFlruOvGOey4ur71sFiCf0ouq/Rkjl1EMRk3x3S8uE:ztNt7KOvGjyTsFao5/GjsMRk3xC8uE |
| TLSH | T1A192D76FD53C38FE24DEE58067209290CA45525CA3FB876A5C1C427C9DDA7BF82B0764 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Arith/Max.vo |
| FileSize | 7391 |
| MD5 | 123C8584DAC1520A8116BD4B9F49195E |
| SHA-1 | 00C365EA72CC465AD7284E32201DBCA2E2F3C692 |
| SHA-256 | FB576F86372E7BC6A79DE5F9FE3CC1D7D339697C6AADF60830336264D55D0DF9 |
| SSDEEP | 192:DLC8lFDLM5tjWbbl2UtnANvpeKGvP4AUS:D1FDUtWbwfNxeKkn |
| TLSH | T175E1C88FCB2B2CB611DDA5F1F728E8E9E704205E52D57BC14006C3B9ADDE3AE46D8448 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/IntMap/Mapiter.vo |
| FileSize | 51604 |
| MD5 | 717C7CDEAA82BE46D62A2218CAF4F1AF |
| SHA-1 | 011BEC22C76DE4C49C4D1AD9D8BDA1F8B3F8DAF6 |
| SHA-256 | 04640F4EB4BFFBE5065A3C9A2D4FDACC28A3E35FD0A575E8F8FB2FBF65AA2517 |
| SSDEEP | 1536:neiRge6oYZPCTWMcLCMZ4dQUe28uXe0FK3o:Co5TW7LCyq8ufFKY |
| TLSH | T1C9334DA9F018BCFE1CFD2DD0D728F491A506058CD0FB02652E59C378A8CF6AB5876AD5 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Logic/ClassicalDescription.vo |
| FileSize | 3338 |
| MD5 | 78FB722237B08F2C340FCCDC688039FF |
| SHA-1 | 0176475365ECB38EC994B79E7B5AA85D688DD2F3 |
| SHA-256 | CD1428AC7E03FEF48DA871FA65F8B8FB43DA65C335C60EDF2A20628C0D9E4C1E |
| SSDEEP | 96:PDJZk6zLh4uf5rrxo7A+UkgEPygPPnArQbr7xFPQ:PDbdz75r1JjUPntn4 |
| TLSH | T13861A58B96186CEA2CEE18F9FE7450E655AC10CC0198B7C41044C176E8DC36E67AE0D9 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Reals/Rfunctions.vo |
| FileSize | 64635 |
| MD5 | 77B32916A5A332E6EE1A34767BE0A577 |
| SHA-1 | 02193895D822E9C5A780C416DB0E59021F586397 |
| SHA-256 | 4A65896876984CDF93412F7AC847EF210CE88E84D684E131D912DBB80E9339FA |
| SSDEEP | 1536:Eur3ibCkdMcffdSzC+6cSc+oZ/Mzej5h1XqCQ1kBLznpT8:EuybFdYCI4oZ06j5ZyWnpT8 |
| TLSH | T1515307CBD42928AC89EC69F8F3A87450D506008EE2B9D7D74908C1FDFEDB36E1279549 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Sets/Infinite_sets.vo |
| FileSize | 14678 |
| MD5 | 192C716DFCC837DDF1F0E55E12143688 |
| SHA-1 | 032B8005C15F3B2CCAE565D233A37B3185182FDA |
| SHA-256 | 6CF0B3832445D9DD455EC9331CB970989FE6F399BC763630C0589C1092B27FB1 |
| SSDEEP | 384:hTQZgABrE0GHiJZunWlltzH8FfS377PbA2gJ6:EgW40WiOWBz5377zO6 |
| TLSH | T1D2621A1A89097CFE98FF6AB5E664C152D407018C10FB63DA1C0883FCF8EA7DB16959C5 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Reals/Rtrigo_def.vo |
| FileSize | 46855 |
| MD5 | 31DCE28EC782FB978AAD50A0ED4F5581 |
| SHA-1 | 03EF235BDDE63E37161B40BDBDF52037DAFF9DA5 |
| SHA-256 | 9B0580B651B2548689A59CADD183A72BA872863B2C29F84EE8E774625B3BA3E2 |
| SSDEEP | 768:uRGjww5DhZT1BUXnB+ODLMIo43HLYmJTnx+pbNLUNNKZkrKMUEBXBn9QfuQ:SMRT1BMB+SoUkmOvLAKZ0BUEBXlCf/ |
| TLSH | T12423E646D42A2CBD54DD2AF9F724715AE043008DA17BC3DE990482FCBEDA3AF167458E |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Logic/Classical_Type.vo |
| FileSize | 744 |
| MD5 | 4A092C56907953138983FFCF7A2CA62F |
| SHA-1 | 0705070E57ACF270E6C7C3C7B81BEE49064FEBF6 |
| SHA-256 | 364AF12C8898365E3B425DB2425B89B06C948D6E3BB54F67E3CC60E2FFC0B0CF |
| SSDEEP | 12:tvMK1Fjf4Y/D+UVb9zCeVTfitV567d18upJjtdlsN2c7nKwlxJuRj3KQNrY8PPH6:tvMKbf4YVRzZVTfAXYrpJj/rc7Kws3Kx |
| TLSH | T10E019CCD6A756AA25CB66174FBA170EC9889158041447B8819A4F21E8CCC66B2377238 |