| Key | Value |
|---|---|
| FileSize | 29732148 |
| MD5 | 4ABDE5225D5B4010EE08FCA3F68FC120 |
| 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.0-1+b1 |
| SHA-1 | 1BB48EC1A8C90EC3396F7DA728C9252A505AA02F |
| SHA-256 | 4BF474EB10E2CDA42DAD36E895910A1BA7A8630CA432EF733A33D16CE1AC6279 |
| hashlookup:children-total | 4304 |
| hashlookup:trust | 50 |
The searched file hash includes 4304 children files known and seen by metalookup. A sample is included below:
| 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.cmx |
| FileSize | 2095 |
| MD5 | 511C0C03D58C5E5D7734A4F4BA4328F1 |
| SHA-1 | 0017CD87E9BCFD9D23035E975D8D3E05023F05D1 |
| SHA-256 | 6FC8E285D3713CFE3B874F75C7CAF8FD9B4D107A57DB9B4F5664B4B4D5E9547C |
| SSDEEP | 48:+/kebf5kMnDn6bnozorCvekKgSXvVrYZ0rFlEK9l45:+/kebRkML6bozorrkHSXvVr40MK9l45 |
| TLSH | T12141C76FB382B1165882A2F286AD145440B905631636C4EEAF952A4953F9FD3273B06B |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-theories/html/Coq.micromega.ZMicromega.html |
| FileSize | 188956 |
| MD5 | 0CF1E27F9F7D18C47C770697275B3D29 |
| SHA-1 | 0022AA53C1A31426B08A00820778F388F61601E4 |
| SHA-256 | C654DA6643F8C6A2EDFC7A5AFD733E594B938D3D1FA0B052ECE0D0D91DB8035E |
| SSDEEP | 768:QO6FAKL8Va1+QzYP9NJPkHP3TzzP6ZPvFOn/zf3gP1l6/XBPpPiPPPPPB5gsSaAO:vH5sL4RNl6/XBRaXnJ5gsgS |
| TLSH | T1EE041CD843A224378A7386FA52FDAB69F8E01DC9E8454D50F3EE06EA06CDF147552933 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-theories/html/index_global_A.html |
| FileSize | 121695 |
| MD5 | 3555849CC6DF102A3A6FC7CF40293EDA |
| SHA-1 | 002D8AC2040A1741CE3F5D1695A7EAC7AB84F453 |
| SHA-256 | 49140AA8409478C635C281EC5DD1CEC84DC02FB0084DC875ACBCC175D1FF4182 |
| SSDEEP | 384:NIpzhxEvO4WiZ4/+AOg3ByN2vOId00EsEg6azhxEN:ozq3Z4/+Ng0N2vOId00E46azA |
| TLSH | T1BDC3BB9111D2012FDB6A223E09F87EAC72A342E35E907C44F96FBC7BD86BB5911591C3 |
| 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/share/doc/coq-theories/html/Coq.setoid_ring.Rings_R.html |
| FileSize | 6636 |
| MD5 | 94AF3E3AB8BA0932E1475B2DA8741963 |
| SHA-1 | 00384447D375F6D78E07A0730D121104E1F9AC7F |
| SHA-256 | 8DD1313D0665986B7F79F4351C834C5D55C72F400C79C826121C51071D316B33 |
| SSDEEP | 96:1wKV72TtYV9cIWCGMIYzC5bhn5bFFAJly5bEDj5EQ5xEN5/hn5bawbAyUiW23Y7N:NB2TO/mrF6jEez3OPWnt |
| TLSH | T1C4D15B9493F2183B4A7286E71AF92725F4D28947D1C95C00F2ED1AEB47CFE50B893467 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Structures/DecidableTypeEx.vo |
| FileSize | 58602 |
| MD5 | 074C23A55D4C482CA8A708D201EE4B43 |
| SHA-1 | 003DE21BF148F3C6C8AF8C34AD5F0DCD10370870 |
| SHA-256 | 80BB33A6C34258A724BF8D96CA4E15230A7D3B16E735C0655664129E2178FA3F |
| SSDEEP | 768:J88YQGehf7CV9khpRquAkE57COVLCw1qCf7v4ReIrJ285t+GKzwo6NBesVx64:2HHe9o9khGk87GwMCfjst2+phXNxC4 |
| TLSH | T1C4432A16D210C7A6C8BACA347A74418454098E8B4357B7AF5028816EFFFF9D72AF8747 |
| 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/Sets/.coq-native/NCoq_Sets_Infinite_sets.cmi |
| FileSize | 4832 |
| MD5 | E670CE811498034913BE95E3B72C6ED7 |
| SHA-1 | 0056EFD82AFD52EEF0683B15D14FA1198AAEA157 |
| SHA-256 | 561B999F80638A531A2995E23555B1FE3BE17B159D668714EF293C246F5FC75D |
| SSDEEP | 96:3VWoyCHyP5jvdlK2z85jTghdpgryjURDGfY28PI1WTY5/GDMYUX/Nb0dkebRkMLG:8oSBLdY2z85jchduriURDGfYPPI1WTYR |
| TLSH | T1A8A1F6BD9D0EE0DE541A40F8447AA081805C27B9D73BCDEBB19C15A88458F0EF71AB8F |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Logic/Classical_Pred_Type.glob |
| FileSize | 5917 |
| MD5 | F5C23B508CBF3665289C17F6A577E759 |
| SHA-1 | 005921905EFEACB2B2A753637B6A1D531DA33885 |
| SHA-256 | A2884990965844F1BF56E8122BF0C1A94620C4C8C5B6D62FCA6D134286EEAB51 |
| SSDEEP | 96:HwVBLayhDSSToiCogFHwwMBMBg3icorpHybtouFfBJQSHwuP1GBCuhGItCfPi2IZ:HwVB5noiKAyg3oHotLxwKUCStCC2pg |
| TLSH | T16CC10E29ED015CF41FDB0D768F6023A932B782447F4A132069AF4F9E1DC5D5C25A9F29 |
| tar:gname | bin |
| tar:uname | root |