Result for DF8AA8153EAE8FC9C8B3A4DD85804D5062CD2EBB

Query result

Key Value
FileSize21753928
MD571180509D79C17C7D4AF5ED5A0633B89
PackageDescriptionproof 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.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamecoq-theories
PackageSectionmath
PackageVersion8.14.0+dfsg-6
SHA-1DF8AA8153EAE8FC9C8B3A4DD85804D5062CD2EBB
SHA-2564FDDF7C852F4594737425DDA913822AC15317DAE7EDC2A213698D0E67A7231C4
hashlookup:children-total2155
hashlookup:trust50

Network graph view

Children (Total: 2155)

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
FileSize118308
MD5CD912433CA0E584DEAC47CD9D9C07BC6
SHA-1000B7676B5E9D02AEBEECF148BABE04506F9B8CA
SHA-2562D2BC6116A062B94E33BCF509E68B0775FB1877C461582189D16E04FCD24D3D8
SSDEEP1536:WCkXHhTjKV6G2+K05+ykw109FnwsdyxXxKIe8axj3cJneswCBh7tew2NN+k:WCkXH0qA09V5DI7ajM7uj
TLSHT18BC31899A4DF9962E4D61CBAF358D128E1E24C7D30BEC650DC2FC1148F960C6658ABCF
Key Value
FileName./usr/lib/coq/theories/setoid_ring/Rings_R.vo
FileSize41130
MD5919DD8A3219A50AE44F555EA05C2461A
SHA-100193EA4D8FCE894AC715228BE8E1A40A2705437
SHA-256916D6D90DFDFE0AF752BC0637EF321F6AAFA28E4AB25B6784D073DD8F4011EF0
SSDEEP768:QMEiEPZphU4XVwC3VI1f0Mk+oAu7+5ewlas:9YZjUCIhBngCqs
TLSHT18D034D45E00187A1D7F9CD704A382091D65D1F87E3594B58A23B806CDB9F7AB2EF03AB
Key Value
FileName./usr/lib/ocaml/coq/theories/Lists/SetoidList.v
FileSize31087
MD5D0E79231C29F79456178E7CFFEE9FFCD
SHA-1001FA4E63CC507B3361908EA22B2BA19C058BFDF
SHA-25681A41C28F0F149FC2126F74B34C9FC5B8F3B3D0AAA1B37EDE343A9AE69C2EBA3
SHA-512FFD4B11459C724774F5AD205FB3E12B1104CC9C297EFBBF5CBF585A96F4066B07CAFA38F9AE2F7C4B3200038430143080D3B5ADBDE768F802B4F36248F37E916
SSDEEP768:DNE2537SyLyCbUX1E/+VHs9fjyQ0DHng8Mcyzcvu0:5E2537pLyCbU0+VH0qDHng8Mcyzcvu0
TLSHT116D2868223CE5B6255DB927BFF9254C34018DEE4EBF65A54B94C833E035F36897B0624
insert-timestamp1683748268.7434475
mimetypetext/plain
sourcesnap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_31
Key Value
FileName./usr/lib/coq/theories/Program/Utils.vo
FileSize3196
MD55152D232F48BC830A3C96F2A1501FE47
SHA-1002CAAFBC6BE8C0CA1BBBB4D2E779CD2BE7D57C0
SHA-2569B1C85447E23E04216B8203245AF620209A986C12444CAFF538B7FA61EE090E2
SSDEEP48:flUyiFfb2/V54NlWiFwCpHb3DatHVUsLuMFOFoyBBDKw0DMYhJ2V:NcfK43xwCpSth5YzBwwehQV
TLSHT14461CB9CD3101F63C578843EC63855C625C88C8B3B56FB5E50A8175C4FDD8AB0EBA266
Key Value
FileName./usr/share/doc/coq-theories/html/Coq.Numbers.HexadecimalR.html
FileSize17388
MD508C8566F1EFDDD09AB0C401060A3E7BE
SHA-1008C14F0F548DBDBCBE7ADD186E6BF122C6EAFA1
SHA-256DB089C720C6C843C383516A8DF44205632B67DF8CF3770D2A3B4D9EEFE2FD32B
SSDEEP192:6pKTm8otMpGuOruu99b+dTlWsnj+cxSWknt:6si5MQuO6uSdpWCac4W4
TLSHT1FD72F8A443A6193B49B787F516FD2B28F0E14E46E44A4851F2EE0EEB07CEF107556833
Key Value
FileNameusr/lib/ocaml/coq/theories/Sets/Partial_Order.v
FileSize3801
MD59F1426FDF622F8CE77C5519AB5BA3960
SHA-100DC4180885DE1287329EE220030D94B2F81C6AF
SHA-256A1BA74D3AAACEA704417777C27AB2118B5BC808BDAF064B02851A012DDCCD565
SHA-512D15D37675E118D0E6D4C90AE02D19324BAE5872EDE0CB41D3912B2863C9F338D089576555D08D66DBA365DA61D61E086A6C3BDECF93EC3B5E19618AF51FA5B32
SSDEEP96:eDCzPFAmQdJNt9gfTBfCNs9pqDELyKTujkEbZOMXjkEk0iY:2CzN0efTlbeUjqknMTk/Y
TLSHT17C71A84A0DD08F136787CE698EA1A5C187604B7B36AAA010F44DB77C2F4FCAA1276A55
insert-timestamp1727037325.5925014
mimetypetext/plain
sourcesnap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_34
tar:gnameroot
tar:unameroot
Key Value
FileName./usr/lib/coq/theories/Init/Datatypes.vo
FileSize60893
MD57F1625ACD28EDF3013A966A4CE97C062
SHA-100FE32468629676943F2A07CCE98780DCFF51FFF
SHA-256EA993FB4E2D2CB87C012447DC473594826AE8EBC670BCEA2EB77778BAF4FD8F6
SSDEEP768:uPqnaHuZlwCqwsnadS6FoCY7ILoehZt981gWyGXwf7+i5kquLs:HLloIupkLoehZtki5es
TLSHT12B53C538B3292C49C5CB0EB9DB76A24123E461DE7173D3A34119F3550AE47E7E11B78A
Key Value
FileName./usr/share/doc/libcoq-ocaml/NEWS.Debian.gz
FileSize269
MD50ECA063A774B94A35B2709F6E8E4D6AD
RDS:package_id182052
SHA-101024660E771DD5236B4AB77DFE0050CD2399988
SHA-256B1659BBB950B950046B4C9660BD1BA77AECC2AC75CE8D9172942608DD8A845CE
SSDEEP6:Xtq1MrzCx26YMHSG51tXgMIdrMzczJzVkVpXV77AFBS4jMNl:X81SN6RSGvttI9Mz2WV5V7Mi13
TLSHT165D09535760099B79E5DD0F1357CCC4EC512C2098C20F1B1A0A5E013D0E6764D4DF904
insert-timestamp1679425887.2617948
sourceRDS.db
Key Value
FileName./usr/lib/coq/theories/Reals/Abstract/ConstructiveAbs.vo
FileSize53956
MD5C7A9C829DB531890920588E7FC8C893C
SHA-1011646BEA8AF63ED0FFEAF35B8DA0347AFC3C3E3
SHA-256AF32B93D75FB698D18779A62226B6F235FCE9033B32333D60877DF4E0FC2C1C2
SSDEEP768:EzmEjdGjX/nuA0PkPi+yFtZg0ieZSPk5aXDlY3KYggQlyLMTAxfY2W:uzGjvnrkkKpC0lZCkulTYggQlmQ
TLSHT165331951D105AEB0A8BEDD75EB28A08460060CDFD3BE07592E29822CDACF5DF3D75693
Key Value
FileName./usr/lib/coq/theories/NArith/Ndigits.vo
FileSize90068
MD5E5EFD656279DFB41C92927571D9B7F6D
SHA-1012D3B9AB2C0C16ED2F0CA9419F955D82C9EEF2B
SHA-256D36BEA689EC657F9B90A7865390270A078EA0C81ABD600CFD572E344EADDA31E
SSDEEP1536:e9chevBkTmkccJJy49VGvWcI9lA4HskqoxiW+2TBpoDG6sSMdYQnnDLhzP5:emJcgQiV/3lAut+29poDCVYILhzx
TLSHT1DE935B906145EDB1D8EF8DB4E338A0C0971508CF93BE92859D19412CCBDB2EF6D666CB