| Key | Value |
|---|---|
| FileSize | 3735936 |
| MD5 | 3D538DD4209ACCE6533090D6E07346FB |
| 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-2 |
| SHA-1 | 824D6D7ECE13F3283BA461B0CA14B5EA6C83A679 |
| SHA-256 | 4F9C9AE364D54BD5A453C6A7E7C7AECAE34503599E274802E6EB503A11798606 |
| 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/contrib/fourier/Fourier.vo |
| FileSize | 3566 |
| MD5 | 1DC510629AC1AE5DF7BEDC55A2766068 |
| SHA-1 | 02096CDC7B108E2C49CFB3F7C8763132D956F31D |
| SHA-256 | CC7E33527A928F75AABADF90B80286E47769327B0DE0BD5C85DB4C0E60FD88B6 |
| SSDEEP | 48:tffroj2TqulvJ3nkbziLJNvkYvUzQBQRhcBVR/9NKhir/96u4PO63yCLkPD1KJU:trBqav9nczkXkYvx8hODNhr34P4Db |
| TLSH | T19A714F5FE13819FD658EDC91B93C21E4D686048CC0667B29EA18C13DDC6F17B47F2A21 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Reals/Rseries.vo |
| FileSize | 19629 |
| MD5 | 0178905C598970C8D6ABF0519EBD4EAB |
| SHA-1 | 0490A4416A2E9A6A0B0DB000727B5FCA09D9706D |
| SHA-256 | 5D88EB3EC16777FD25417C707B527A1897CF65FC1E751555E6B1BC5242B6FE78 |
| SSDEEP | 384:eqFAEAWDyGm26SP2d/NwsC/c4016VjVJhXZ0q0GkQkLdeE:em4pL+29NzCUP16VRjXx09QlE |
| TLSH | T14692194BD42938FE19EEABF4FA24A1A5A543004C90FB97C99D04C1BCFCDE39F15A9485 |
| 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 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Lists/TheoryList.vo |
| FileSize | 31314 |
| MD5 | 24C55ABB426F349D42858EC93518E10B |
| SHA-1 | 07DFCB411DA255D7C0E3F16473523D895EB5DE2E |
| SHA-256 | DCBA30306C8B157EFF17EB254BC7DF257C9BDD7092F974170941D7B873C95E62 |
| SSDEEP | 768:kKcAw/ziAD9fM4M2RJxTHkDDgU68JpTbcdIvmhy78CH9rpcYow:Zi/+k905OxzkDTDSo8CAYow |
| TLSH | T1E3E25DFAF409FCB748EE2EE8D918D0C8E695069C50F252E5194A9336ECD9386CD376C4 |