| Key | Value |
|---|---|
| FileSize | 29522596 |
| MD5 | 6245A20E8DFB623933BDDBC941750F54 |
| 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 | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | coq-theories |
| PackageSection | math |
| PackageVersion | 8.9.1-1 |
| SHA-1 | 98946002AF42F510702AFA65E8ACB8BD215EDC3D |
| SHA-256 | B7603F9D1287860AF2FF1A535C4A6994AD07EADFDD0594F762E22592737B6263 |
| hashlookup:children-total | 4302 |
| hashlookup:trust | 50 |
The searched file hash includes 4302 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/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/MSets/.coq-native/NCoq_MSets_MSetToFiniteSet.cmx |
| FileSize | 2086 |
| MD5 | EE29A4F2E48DCA3F33A35852EE5790ED |
| SHA-1 | 0038D4ED06E3D041309283EDB97B785C545B049D |
| SHA-256 | 766289B70E2BD26EDC4F4FAC223B60BBEC34117186586A819F091CED07FBCB2F |
| SSDEEP | 48:zkebf5kMnDn6bnozorCvekKgSXvVrYZ0rFlEKO:zkebRkML6bozorrkHSXvVr40MKO |
| TLSH | T1A641E76FB38271575887A2E355AD2494407801631233C0ECAF86274A53EDBE3373A16B |
| 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 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Structures/.coq-native/NCoq_Structures_OrdersLists.cmx |
| FileSize | 2088 |
| MD5 | 4DCCBA17174F1C9C2819AA9E45F45DBE |
| SHA-1 | 006645F802A0A7EADF6462C92FE33A43EE61120B |
| SHA-256 | 751A7E520E636F0F2C59D9DA0E675B07C26E9EB8AA7EE1E1A2898E198EFE13BC |
| SSDEEP | 48:Dkebf5kMnDn6bn0CzorCvekKgSXvVrYZ0rFlEK0l:DkebRkML6b0CzorrkHSXvVr40MK0l |
| TLSH | T13641F86FB7C271575CC693F355AC149401B401A32237C0ECAB96264A52F9FD7273706B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/FSets/FSetInterface.vo |
| FileSize | 90185 |
| MD5 | 96E06E493C4DCC3FD40F577CEA433F70 |
| SHA-1 | 00921C28D81E1D5B074A4D089D7C87C1644735BB |
| SHA-256 | F36FEAE849AA4AC805F456AF77677796305F221BADD7B8DF46E996F242ADBECD |
| SSDEEP | 1536:nsRr5dPvpWwlAfXxA27ycwc9Cr6a3XH5CDbVNTJbRkHZP56ER/LJi+GF5:nsZkdXmuprCrt5CDHJFkHG23u |
| TLSH | T130933BD97A8738D97886CF3C7738A951C3AC06EA1527B1DFAC0CD30959E66E7842C127 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-theories/html/Coq.rtauto.Bintree.html |
| FileSize | 79440 |
| MD5 | 31FF342B2432E6829880A697B8EB99A6 |
| SHA-1 | 009CD453335DDDC4CCD0BA19ED806C1D469FC80D |
| SHA-256 | 723B5A3A24B93D191AC008917083DE00C0B0CA7B5A22F24324BDF3F718B16DFE |
| SSDEEP | 192:ZpGmy9KjqCXJsY0OhzTyCAIH5nkA8pR6Rh9tq/A0WVDcHJxgLfqKAXUS0QvO6+wB:ZAppR6RqNWVykjq8uQqQAGqjw7LZ8 |
| TLSH | T14773E5E487A1293B8973CAFA13F96725F4E0994DD8855900F2FE0BE706CDF21B552923 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Arith/.coq-native/NCoq_Arith_Mult.o |
| FileSize | 13016 |
| MD5 | 9303B844A9FB660BB10783AD5FF2E8B9 |
| SHA-1 | 00AB2CE1CA83AB6899F1482062E7FEE1E84907E6 |
| SHA-256 | DB6FC79A7B465C48CEF742967122060843786D2A34358643AE3FF07E9E42D1EB |
| SSDEEP | 96:bt+HUL+SUhvowZ+3moYrNcEqdcG8sIBFzEbzKNu4qm9H0vufu7BsL3dIXWZMIbcC:br+SM+WoY3qdcG8sIBFgbzK9m4 |
| TLSH | T1B742BB43BAE38D6EC5068A7001776361B17EFD689E617B072265331F2F33EC98E55818 |