| Key | Value |
|---|---|
| FileSize | 28979508 |
| MD5 | D8793330FECCE9A82C4394CB4CE1A3DB |
| 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 Camlp5. . 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-theories |
| PackageSection | math |
| PackageVersion | 8.9.1-5+b1 |
| SHA-1 | 064F26BC432CC3BE64705068DE277A304D216C89 |
| SHA-256 | CE89355FC2A382076BD6808DE42AB0CF2C198EE29C705B932976700B141BD52A |
| hashlookup:children-total | 4305 |
| hashlookup:trust | 50 |
The searched file hash includes 4305 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Cos_rel.o |
| FileSize | 16436 |
| MD5 | E5B152321CEB4C17BE97CCF4D870E3DC |
| SHA-1 | 00029AF5B245F730A29BCF4D8AB6CACFD10ED418 |
| SHA-256 | 9C54DF85F4C759DDF5EDF9D77E1940E3C3051AF5BD36EF9FEB0CE231C37F806D |
| SSDEEP | 384:0eF90/lWS85tVTtEp41PilWcARnO04Wo3aBKUBWr5zB:x78WS8fq41PilWcAVcWo3EKnl |
| TLSH | T16972EE41CFC08E7BE21B4EB050EF2B5A7970D1445BFAFA4BC6097119AE837990317A9C |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Compare.cmx |
| FileSize | 3895 |
| MD5 | AC5D42A8ADC8A8A7C58DC185B26C10F3 |
| SHA-1 | 0009257934E6DFFCB5A5C0436BA17A2CFE6D34D7 |
| SHA-256 | E2B4B6FD7DF31D84DAC761243794BC39381141F1CC3E14C7A9A07FA5DECCEBE2 |
| SSDEEP | 96:u8H2Wi+AGXPx9HWjooPfvoDYuhsUftEGglmtp4z823uD:zi+JmkoPHcl5amtp4zx32 |
| TLSH | T1978184BD3191B2063F0B55E377AD641955E1202DDF6389B4B29A4B0CCDAC816D3D6D0B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/FSets/FSetFacts.glob |
| FileSize | 90216 |
| MD5 | ED13BACBF40215B27D6A563A93102281 |
| SHA-1 | 001181BE688980121F7BA73927E0BC609F5ED602 |
| SHA-256 | 71892A6DD487929060A351B489D2C298B1B559BFC2A59BBADD8F8C5157F9E591 |
| SSDEEP | 1536:4u37bL44DVsOTywvSIXIl0iXpmSmXmXFZsfgLqeRiW5iWQ9vDtSydyVZSCClPnG6:4u37bL44hsOTyV0iX9ZsfgPph6bwCjV |
| TLSH | T128938CCFB259E5B22D8FCF675F050AB28D5601FBB5E210A47E4FC7FA39A90C505049A8 |
| tar:gname | bin |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrOcamlBasic.o |
| FileSize | 1820 |
| MD5 | 81D42515869FC4EADF393174FD9A7B70 |
| SHA-1 | 001623B6CF023C2DF7821F54D8B76BF1300FBD2C |
| SHA-256 | 0D09BDA6BD92AFC904F0DC8DC6E2BB2875E813F570ABBC09C39E6B62E591BE7B |
| SSDEEP | 24:PBdkHgq2QMwCn6b158VukMVMVk1FMsaFMFGM9mbM3mJPOMXfFMVgFMLZH8g79DfM:PrNbI1TmhWl9F3aLelL18AzuRW |
| TLSH | T1AB317D063FCED83AC56261F880CF171463F1FC815A96DB237E08F5545F321E46E26556 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Classes/.coq-native/NCoq_Classes_RelationPairs.o |
| FileSize | 11592 |
| MD5 | F2829415FFB321FF6339E6753A034C5B |
| SHA-1 | 001D2D9FFA407716893CC454B041540B5790386E |
| SHA-256 | A73E70459C01655C266C33F3A0CA77C148A1AD5A699D82BDA458438BED68D40E |
| SSDEEP | 192:gc/vxiopkpEGvftlY2TxVi7JFa6mpRFDsprVEARYoxiNWB:zvxZkpE4jBxVi7JFa6mpRFDsprVEAR9N |
| TLSH | T14332EF8697D58F7FD6031AB181AB071271B5C504B7B3EB1FD22976287E40B4A83D31AE |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-theories/html/index_abbreviation_A.html |
| FileSize | 20442 |
| MD5 | 0B3448918F85DCD43A71D41B74DC42B0 |
| SHA-1 | 002CD2866D4F19E7F9686BAE0C93CCA32616EAF6 |
| SHA-256 | FFDC034C002860E851BBE7DB830EB14AA4B5EB3AA7658C426B8657E889478152 |
| SSDEEP | 192:KpWEMfmjnJPRJV7lQs/JLBVxhp6tEo8/3QxIVCWiy6lfgnPXnnRdbbU:0VBhxE5 |
| TLSH | T1A4922B4614D2646E52597A2E4AF47DA962F30BB54B243C04EF9FFD7FCAA63D0120D283 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Reals/Ranalysis1.glob |
| FileSize | 314189 |
| MD5 | BF990FFDAC7841758CC0BEF312EB23C8 |
| SHA-1 | 002E1E047B1908A952247D407118C05EBEF4D707 |
| SHA-256 | 9121445E8038F0B4FE6BD22A9B02A8DE75E39E169E7081A1AF9915B7B24250BF |
| SSDEEP | 3072:XdlNpZ1wkIA8qO//T14jdTljAz8SKq3atNYs2++Su1p1EsuU9uUDCC3z+vBJDbsN:E |
| TLSH | T15964CA3F048A8237D95B8CBAB3ED3377BA3B8946594F28D1D74E95985C91928005FFB0 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/ZArith/Zpow_alt.v |
| FileSize | 2711 |
| MD5 | C331659772E738D43AA2A8F6A432675B |
| SHA-1 | 004653DDC3A09D0A340488EE25F89E580FE8FE46 |
| SHA-256 | E757FDB25821EFBDCA3891FA6C74D81AB53C9D154430FC62C8DF5991D2B9EC20 |
| SSDEEP | 48:eDG9TqcNExg93vQOKGv+PNlNSvW5BVW9Ri7YJp7YJX5rpkGfT:eDCTFAIvV6HynjOXrPT |
| TLSH | T17551440759C40F23278F966E1E8390C7A915559EE1F1E718F4CC7229AB8F41B1BF01B9 |
| tar:gname | bin |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Init/Logic_Type.vo |
| FileSize | 5438 |
| MD5 | 12D2F0C44D860C2D050CC79F6BD88E24 |
| SHA-1 | 005018643C52D9C280BBEF8955A21E29C0A8F045 |
| SHA-256 | 6B0A410C8B88324E1BCFAB67540008D3C9F1BF6AA7553B014BADB290579EC5BF |
| SSDEEP | 96:HVf6GpphskkFTsRQjbYUgTKdhTXEsWzgLskfpmmFH:HteGo8UqAXEsWQBH |
| TLSH | T177B1A69DD7A90855FDE55D7CDFB8E38442910BC71137FBCB5808632A8DA878AC04C319 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Reals/.coq-native/NCoq_Reals_Binomial.cmxs |
| FileSize | 16972 |
| MD5 | CF981189A52D955075DBFD72C2240675 |
| SHA-1 | 005059308E4BB4A6AE8FB73F04B214C2797EBB1A |
| SHA-256 | B402D124DCDEA94787AFBF656A3B1683D5BB082A9F12F89671A46A4E7FD227B2 |
| SSDEEP | 192:F9sv48xh+OACSUQYB2d0ykri+JblL3KW:Kh+OAZBSZ7K |
| TLSH | T1E0721A0B77D5D53BEE33CEF550EF920A2270C00A69969E69E72C0E4C6D431112672BD3 |