Key | Value |
---|---|
FileSize | 21753928 |
MD5 | 71180509D79C17C7D4AF5ED5A0633B89 |
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.14.0+dfsg-6 |
SHA-1 | DF8AA8153EAE8FC9C8B3A4DD85804D5062CD2EBB |
SHA-256 | 4FDDF7C852F4594737425DDA913822AC15317DAE7EDC2A213698D0E67A7231C4 |
hashlookup:children-total | 2155 |
hashlookup:trust | 50 |
The searched file hash includes 2155 children files known and seen by metalookup. A sample is included below:
Key | Value |
---|---|
FileName | ./usr/lib/coq/theories/Numbers/NatInt/NZParity.vo |
FileSize | 118308 |
MD5 | CD912433CA0E584DEAC47CD9D9C07BC6 |
SHA-1 | 000B7676B5E9D02AEBEECF148BABE04506F9B8CA |
SHA-256 | 2D2BC6116A062B94E33BCF509E68B0775FB1877C461582189D16E04FCD24D3D8 |
SSDEEP | 1536:WCkXHhTjKV6G2+K05+ykw109FnwsdyxXxKIe8axj3cJneswCBh7tew2NN+k:WCkXH0qA09V5DI7ajM7uj |
TLSH | T18BC31899A4DF9962E4D61CBAF358D128E1E24C7D30BEC650DC2FC1148F960C6658ABCF |
Key | Value |
---|---|
FileName | ./usr/lib/coq/theories/setoid_ring/Rings_R.vo |
FileSize | 41130 |
MD5 | 919DD8A3219A50AE44F555EA05C2461A |
SHA-1 | 00193EA4D8FCE894AC715228BE8E1A40A2705437 |
SHA-256 | 916D6D90DFDFE0AF752BC0637EF321F6AAFA28E4AB25B6784D073DD8F4011EF0 |
SSDEEP | 768:QMEiEPZphU4XVwC3VI1f0Mk+oAu7+5ewlas:9YZjUCIhBngCqs |
TLSH | T18D034D45E00187A1D7F9CD704A382091D65D1F87E3594B58A23B806CDB9F7AB2EF03AB |
Key | Value |
---|---|
FileName | ./usr/lib/ocaml/coq/theories/Lists/SetoidList.v |
FileSize | 31087 |
MD5 | D0E79231C29F79456178E7CFFEE9FFCD |
SHA-1 | 001FA4E63CC507B3361908EA22B2BA19C058BFDF |
SHA-256 | 81A41C28F0F149FC2126F74B34C9FC5B8F3B3D0AAA1B37EDE343A9AE69C2EBA3 |
SHA-512 | FFD4B11459C724774F5AD205FB3E12B1104CC9C297EFBBF5CBF585A96F4066B07CAFA38F9AE2F7C4B3200038430143080D3B5ADBDE768F802B4F36248F37E916 |
SSDEEP | 768:DNE2537SyLyCbUX1E/+VHs9fjyQ0DHng8Mcyzcvu0:5E2537pLyCbU0+VH0qDHng8Mcyzcvu0 |
TLSH | T116D2868223CE5B6255DB927BFF9254C34018DEE4EBF65A54B94C833E035F36897B0624 |
insert-timestamp | 1683748268.7434475 |
mimetype | text/plain |
source | snap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_31 |
Key | Value |
---|---|
FileName | ./usr/lib/coq/theories/Program/Utils.vo |
FileSize | 3196 |
MD5 | 5152D232F48BC830A3C96F2A1501FE47 |
SHA-1 | 002CAAFBC6BE8C0CA1BBBB4D2E779CD2BE7D57C0 |
SHA-256 | 9B1C85447E23E04216B8203245AF620209A986C12444CAFF538B7FA61EE090E2 |
SSDEEP | 48:flUyiFfb2/V54NlWiFwCpHb3DatHVUsLuMFOFoyBBDKw0DMYhJ2V:NcfK43xwCpSth5YzBwwehQV |
TLSH | T14461CB9CD3101F63C578843EC63855C625C88C8B3B56FB5E50A8175C4FDD8AB0EBA266 |
Key | Value |
---|---|
FileName | ./usr/share/doc/coq-theories/html/Coq.Numbers.HexadecimalR.html |
FileSize | 17388 |
MD5 | 08C8566F1EFDDD09AB0C401060A3E7BE |
SHA-1 | 008C14F0F548DBDBCBE7ADD186E6BF122C6EAFA1 |
SHA-256 | DB089C720C6C843C383516A8DF44205632B67DF8CF3770D2A3B4D9EEFE2FD32B |
SSDEEP | 192:6pKTm8otMpGuOruu99b+dTlWsnj+cxSWknt:6si5MQuO6uSdpWCac4W4 |
TLSH | T1FD72F8A443A6193B49B787F516FD2B28F0E14E46E44A4851F2EE0EEB07CEF107556833 |
Key | Value |
---|---|
FileName | usr/lib/ocaml/coq/theories/Sets/Partial_Order.v |
FileSize | 3801 |
MD5 | 9F1426FDF622F8CE77C5519AB5BA3960 |
SHA-1 | 00DC4180885DE1287329EE220030D94B2F81C6AF |
SHA-256 | A1BA74D3AAACEA704417777C27AB2118B5BC808BDAF064B02851A012DDCCD565 |
SHA-512 | D15D37675E118D0E6D4C90AE02D19324BAE5872EDE0CB41D3912B2863C9F338D089576555D08D66DBA365DA61D61E086A6C3BDECF93EC3B5E19618AF51FA5B32 |
SSDEEP | 96:eDCzPFAmQdJNt9gfTBfCNs9pqDELyKTujkEbZOMXjkEk0iY:2CzN0efTlbeUjqknMTk/Y |
TLSH | T17C71A84A0DD08F136787CE698EA1A5C187604B7B36AAA010F44DB77C2F4FCAA1276A55 |
insert-timestamp | 1727037325.5925014 |
mimetype | text/plain |
source | snap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_34 |
tar:gname | root |
tar:uname | root |
Key | Value |
---|---|
FileName | ./usr/lib/coq/theories/Init/Datatypes.vo |
FileSize | 60893 |
MD5 | 7F1625ACD28EDF3013A966A4CE97C062 |
SHA-1 | 00FE32468629676943F2A07CCE98780DCFF51FFF |
SHA-256 | EA993FB4E2D2CB87C012447DC473594826AE8EBC670BCEA2EB77778BAF4FD8F6 |
SSDEEP | 768:uPqnaHuZlwCqwsnadS6FoCY7ILoehZt981gWyGXwf7+i5kquLs:HLloIupkLoehZtki5es |
TLSH | T12B53C538B3292C49C5CB0EB9DB76A24123E461DE7173D3A34119F3550AE47E7E11B78A |
Key | Value |
---|---|
FileName | ./usr/share/doc/libcoq-ocaml/NEWS.Debian.gz |
FileSize | 269 |
MD5 | 0ECA063A774B94A35B2709F6E8E4D6AD |
RDS:package_id | 182052 |
SHA-1 | 01024660E771DD5236B4AB77DFE0050CD2399988 |
SHA-256 | B1659BBB950B950046B4C9660BD1BA77AECC2AC75CE8D9172942608DD8A845CE |
SSDEEP | 6:Xtq1MrzCx26YMHSG51tXgMIdrMzczJzVkVpXV77AFBS4jMNl:X81SN6RSGvttI9Mz2WV5V7Mi13 |
TLSH | T165D09535760099B79E5DD0F1357CCC4EC512C2098C20F1B1A0A5E013D0E6764D4DF904 |
insert-timestamp | 1679425887.2617948 |
source | RDS.db |
Key | Value |
---|---|
FileName | ./usr/lib/coq/theories/Reals/Abstract/ConstructiveAbs.vo |
FileSize | 53956 |
MD5 | C7A9C829DB531890920588E7FC8C893C |
SHA-1 | 011646BEA8AF63ED0FFEAF35B8DA0347AFC3C3E3 |
SHA-256 | AF32B93D75FB698D18779A62226B6F235FCE9033B32333D60877DF4E0FC2C1C2 |
SSDEEP | 768:EzmEjdGjX/nuA0PkPi+yFtZg0ieZSPk5aXDlY3KYggQlyLMTAxfY2W:uzGjvnrkkKpC0lZCkulTYggQlmQ |
TLSH | T165331951D105AEB0A8BEDD75EB28A08460060CDFD3BE07592E29822CDACF5DF3D75693 |
Key | Value |
---|---|
FileName | ./usr/lib/coq/theories/NArith/Ndigits.vo |
FileSize | 90068 |
MD5 | E5EFD656279DFB41C92927571D9B7F6D |
SHA-1 | 012D3B9AB2C0C16ED2F0CA9419F955D82C9EEF2B |
SHA-256 | D36BEA689EC657F9B90A7865390270A078EA0C81ABD600CFD572E344EADDA31E |
SSDEEP | 1536:e9chevBkTmkccJJy49VGvWcI9lA4HskqoxiW+2TBpoDG6sSMdYQnnDLhzP5:emJcgQiV/3lAut+29poDCVYILhzx |
TLSH | T1DE935B906145EDB1D8EF8DB4E338A0C0971508CF93BE92859D19412CCBDB2EF6D666CB |