| Key | Value |
|---|---|
| FileSize | 13779508 |
| MD5 | ADFB03D4760C30E6A1D354E1E9DBCAE1 |
| PackageDescription | development libraries and tools for Coq 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 and libraries needed to develop OCaml-side extensions to Coq. |
| PackageMaintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | libcoq-ocaml-dev |
| PackageSection | ocaml |
| PackageVersion | 8.9.0-1 |
| SHA-1 | E6624BA42E5E6AA39669C3DE85CCCB618C721C36 |
| SHA-256 | D986300C499E203494BFCE56D5BF859571A7491219E5D28293988DA27A8CF59C |
| hashlookup:children-total | 940 |
| hashlookup:trust | 50 |
The searched file hash includes 940 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/tactics/eqdecide.cmx |
| FileSize | 4965 |
| MD5 | 06D1BBBABAEFD396CFC650A0CA914357 |
| SHA-1 | 001AC533509964D3449F6D732485C3953C6E3EBA |
| SHA-256 | 33263077BDFE5A213463CFA16E9E7CBD9CCAED4ED4AA77A467056991242C6E80 |
| SSDEEP | 96:NkH2wmSPR7cXM46bRgKwPWSQZKDdZG4y+tMDPCxAYZ8Oot15iTgeMu:gajHKwPWhQDHfMDPCrpgiseF |
| TLSH | T137A11AF5AB85B802A5C4C1F991B70011C1E491C75962C4ECF77B176B2EDAAB227B32D3 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/ssr/ssrelim.cmx |
| FileSize | 7546 |
| MD5 | 340D1BB52A2955F23EAA32253D6C4ABE |
| SHA-1 | 001B722B02914BCF6DB2541279D744B1FC1A16E8 |
| SHA-256 | 37DAE928F56C8666EBE802C64C1D2EB686C430CF5CF4B8A937F31B925323E1AB |
| SSDEEP | 192:xLVKA9KTPV2774FCSghPN2VRo5zDsHUOF:5VjmVA72CSgtEVRolDsHUC |
| TLSH | T1D0F10978E348B43678E2C1F7D15784D142F582820B61CCA9D3AF234E7D59FA15B9B20B |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/clib/cSet.cmi |
| FileSize | 4572 |
| MD5 | 08B0520A67C146F952663E6C165BB421 |
| SHA-1 | 002A321D9FD5C88F2B35E9995E3352D14C2953DE |
| SHA-256 | 34B8B4285010F633B344FBDABE61379F4F18FB3257715ABE0E5158E51984B024 |
| SSDEEP | 96:DAnqpgjiUb3cGtsTZ5dNtOnSMuZ/7fjpz0TMIIylPYvbAU8:D9pglbs/TpNj/7VWPlPYsd |
| TLSH | T10F9150ED9424F05812EDACBCE25ED9D701480A7F95734C776B491E52A7BE01EC31E0AB |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/extraction/common.cmx |
| FileSize | 11362 |
| MD5 | 1E6D4424627782D9AB12256794426EEB |
| SHA-1 | 00703D269B80AA378EB8E6DEBB0DA343CF98C999 |
| SHA-256 | D98FC183036A4544910203E3F575E7B4F761F01D88CAD4C47F2F772E869BB689 |
| SSDEEP | 192:PnfjwcnDFK0MKP8pW08y5fCRKuoWfYPAkkhhaT9DA1FcgEdT:PfjwgDFK1KUs08y5fCRKuoWgPAkkhhaP |
| TLSH | T1063290152FC6FC2144EA70B5E246E28548FDC7CA1F1AFC32AF6996067F3C6631993A11 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/coqpp/coqpp_parse.cmi |
| FileSize | 1258 |
| MD5 | D6911BD4240A547ADF7B80C1C40C0702 |
| SHA-1 | 00EDD65D2184519666DED458162BC6ECAABABCFE |
| SHA-256 | 5585D4F09AE3D566B4C182B7BD247E2E8E9A4C312814BD6D40BE763E00F536AB |
| SSDEEP | 24:XqmwVcRtT2KZtuvpjg/xts8IQTcZi03lMqQpWbmC/kG18:No7QtKpMwNUco0VMFWb9kG18 |
| TLSH | T1EA213088E2551031E94F67FDB17A1C1B8554C8AE161BCED3A22844CA30CE65EAF9F0CF |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/proofs/proofs.cmxa |
| FileSize | 50059 |
| MD5 | F98F025A4011C8499E7B244CABE62F49 |
| SHA-1 | 00FAB65186C692D33A976F290F209F9CE01E85F3 |
| SHA-256 | EC35485DD7FF1361B96C7C17A3BB295DFCD221DA15988CF48EA8A0EF47C5A295 |
| SSDEEP | 1536:ns8zdscYNPH/sCw6MxKGUW0zhglnGCH3xHKj2CpB+y+8grwiXuHHoOurVrZ1rVy:dzHGJH3+9reo3Fz4 |
| TLSH | T174231AFAF380B01799C2D1FBE0AB005440B406936637C4AE9B57274A52F5FA27B77267 |
| 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/vernac/comInductive.cmx |
| FileSize | 7593 |
| MD5 | 7B2E7DCA9F9EFEC36BD6E572F27534B4 |
| SHA-1 | 01892ABC3570CF140E49CCDF49BEB752ECA4EE85 |
| SHA-256 | 48E2D694C5429BBFF2D87303F01525B2C76C932A669477F1EB0574AB399CC56B |
| SSDEEP | 192:MomunWQC+5rXP8DEXa5D3S0Hf819NQYa+K:MomxQC+rf8DEX0Dief819qYa+K |
| TLSH | T178F1D774E341F0A74A92D9FB80F600A054A0C5C22A62C4EBA75B0F4B9770D9A535731F |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/pretyping/inferCumulativity.cmi |
| FileSize | 1863 |
| MD5 | 8951CFA1BEFA12659CEAA193FAC702BA |
| SHA-1 | 019E8F599153485EB380FBC3FDAAC85AF308250E |
| SHA-256 | A0ECAC699A86816426C5B76D4D93BAAAF9518BA1A0F157C295013272DC0F74D5 |
| SSDEEP | 24:ufczlXyQTlXytyW4dUEb6KkNgsxMBt+9n6bDiIlt5emjKgSKtv5kERTEirdoY/9G:NXjUkerMS9n6bjzekKgSB0rFlEKH18 |
| TLSH | T1A231F79EB681364744C2B1F313AC04A6006909E31C3BC4EEAB46274A43F8BE37B26197 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/kernel/uGraph.cmx |
| FileSize | 4538 |
| MD5 | D01B6058D1114E2D88D3C9E18F1C4ED0 |
| SHA-1 | 01C395A2434AE06BAE16CDE36DE215E4B9F3D863 |
| SHA-256 | 1279526148BE17EEA8C6910B441C88EEC614429BE00CE259B66B41705C336543 |
| SSDEEP | 96:lCa6breNgaTBLBtAjBExduaYvR+RLDgITR6U6zvcj38klwk/rL3dun:6eNLT9okuDvR+RII4vcj38klz/rBun |
| TLSH | T10991CA72DB87E11386298437851E0572DDD5C90E2E63C8FF4F7D4613A89C9899D0B236 |