| Key | Value |
|---|---|
| FileSize | 19195248 |
| MD5 | 14BFCFCE08983EE2D5C7A7D9DC30734A |
| 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.12.0-3+b3 |
| SHA-1 | 94FCD6B3E241451971E56C127411590D30BB3517 |
| SHA-256 | 7CEF2A0F1F52DD3D164210CF5B974D7A77E23F7A455193DBA449F24F6FAE2FDD |
| hashlookup:children-total | 1074 |
| hashlookup:trust | 50 |
The searched file hash includes 1074 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/ide/configwin_ihm.cmi |
| FileSize | 14824 |
| MD5 | F0424B5399B87A2A9DF42801020DDD42 |
| SHA-1 | 00032A0AFEED0AC933869A4782E3D353A536FA3A |
| SHA-256 | AA274A379AAB60EA64F0EFD3E6D3C158F6CC001CC82943703F3C08CE8413251B |
| SSDEEP | 192:ADXtG4RlQqFNm48tGd3J54VyxT/VZjr3a91cipSJ+3Y/q5rfuU:r4Rm+N4tGVznK3cN+oC5F |
| TLSH | T17A629ABE317F06A1DDCB116C966601FB253406FEDBE26E37C42606D0112E04E67AD2CB |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/user-contrib/Ltac2/ltac2_plugin.cmi |
| FileSize | 67455 |
| MD5 | 1845D760F84B8C23FB8B881F5A783B08 |
| SHA-1 | 001435E5C98F11D7611BD61F3AFB0959342AD5AA |
| SHA-256 | E276171DC5B6743FF427B2F43A291C9C06576D7CB452FD5B37A3671CDF467C9F |
| SSDEEP | 768:al5ZwuGeC5mwXAWKlDqDJkN32OZaBTgrAknWBDkEuhy8whiusWRwzfXiL0p:cuFzPKlDqe32OI9grMBAnhy84y+8 |
| TLSH | T13C63B6AD283FA7A5DCF525DDA6AA0167976547BEF2E28C7BC11A43D0935C00D13FA083 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/parsing/cLexer.cmi |
| FileSize | 5771 |
| MD5 | FB375E274475B867EAA9FE25F08E45AE |
| SHA-1 | 002B757163561D8CF64D21CF95936BD2B4258DF6 |
| SHA-256 | 20DA27099F5CEE27EFDC46E59FA00E65DC2E53AEE8EC22F6BD31A8353CFD0A35 |
| SSDEEP | 96:odDzHP3iATaUIyD+c4rQtDc8Ir342RBxXUeLEfboRW7y7LBzcqUvHpeL5Rx:IzvSAOM+LrQCH34qlLGKW7y7LBzcxsVD |
| TLSH | T1BFC1305FA3612B86EDC86EBE53A871E74124233DD9E58CBF98280FC4914345C534A0DB |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/ltac/tacsubst.cmx |
| FileSize | 7178 |
| MD5 | E71CA96F8846390D020BD0C1BD003CEF |
| SHA-1 | 00977326B4F04A0BB75ECE1EF8E6651CB38F9996 |
| SHA-256 | 7794040DFD3CB4D2331A3B0F64E5FB6B736FC32AA2714E8AFF79509D6AA7C1F0 |
| SSDEEP | 96:Hkey9jUvx27CQSFy5PhdKAhe1JcdLH4rzIOSs6k6VYHYjiNy0qQTNOVQOixC61oX:AY6J5PvKiAob4rzIzGdHRNy0DOMxCy6V |
| TLSH | T11BE1803562AA3798B4F784FE9A0D87DE84348E925F3FC4754AE85E8F3C1063542D3A05 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/lib/lib.cma |
| FileSize | 1149297 |
| MD5 | 7DF9C44148239539C5BA9AE2EDADB12C |
| SHA-1 | 00B4150E7943F8B627905107234190CF103D08CB |
| SHA-256 | 18C7A78C943EC7EB0DE0884C06E2D25A18FACD7CED5F94C5CD35DB0D794CDC41 |
| SSDEEP | 12288:hByXBH61s7FwrZ7U8nmi+yKCXGkIOrTYbhqD7dzTabqQXz/YclVBmPg3Pm7K8Jz:GQJnMkykDh2fbYA7nfIK8Jz |
| TLSH | T19C35E50FD7665E66CCE819FDACEA424306F01A3D85E64E2BD04B06D9D083B0E6F92D57 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/firstorder/formula.cmi |
| FileSize | 7287 |
| MD5 | 689622BD174FCCF7A6788625D2316305 |
| SHA-1 | 00E327917B175BCA193AB463EAC629076514D546 |
| SHA-256 | DCB28CF5C0CA59F4B4D23DC6F019F139397B3058E7ADF103105F320C1F802F69 |
| SSDEEP | 96:9iBCU9qCDBaVGxuCmgDEjJrWYxD67JgcQQUrY6x/sSNkPveyUvx27iQSFd5xheyS:y0WQ0xuC7mJr3xDSQFEm/s9O6QvRXB5m |
| TLSH | T103E1926F63652B58FD891BDE8ADC029706301A3ED6F78CBF425D0BC110A102DA3B95D7 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/nsatz/nsatz_plugin.cmx |
| FileSize | 27031 |
| MD5 | 5E5B8CCBF6A119C01A7301BB31B1F5B9 |
| SHA-1 | 00F6186F5C2E99E43C516131F0B7EC60333BD2CD |
| SHA-256 | 595D641B0B93121CA72A760FE7AB700C4BF78D1483D8D557048E79EDAD63898F |
| SSDEEP | 768:NCyiq0lXL1+LXImACKaRrkLgrkLcFJzuFL3e1+LXImACKaRrkLFrkL5:bnMgFJ0NFoM |
| TLSH | T1EBC24250E70917A5E4A1B5F7BE5BA0C99AE8D94C8BB08A37C0E803577D26F0E11D770E |
| 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/kernel/opaqueproof.cmi |
| FileSize | 4633 |
| MD5 | E1FC3EFA0F400ADCF881064A27F0C93E |
| SHA-1 | 010848E93ABE45220221B4D137247AE35B38399B |
| SHA-256 | 54685EFF64D81253DD1DE0D421DF0176B56377B603754C3C674D87876FBB54D6 |
| SSDEEP | 96:Mvm0Vdhpaksibq7ap7nwxRQdi9dACJ8iVO0MUvx2cWb2NLtck:cm0T+ksh787EQdi96K8c1fvpck |
| TLSH | T1BAA143AEB364268AFD9522EE9E89435B4324673EC1E78D7F418C0BC402D111D63EE4DB |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/tactics/declareUctx.cmi |
| FileSize | 1268 |
| MD5 | D152F745619F1C6F3E4F1D707BB13849 |
| SHA-1 | 017ACBA40B41411CDBDE56AAF5B195D5BBEC8606 |
| SHA-256 | D12D07817CC32A8E0D4041C784CB36B785C1D0C243889BCC13F4F6ABF7AF860F |
| SSDEEP | 24:3xyfhmRjHzSVgYcEq3UVpH/5cFvEh963cHL8YXCdq0mH:3eQjzUvVpH/Ucj9HLQtG |
| TLSH | T12321545071943EE17A363337AE4D602B0338122789E6487585DD4BCD05645BE83DD5CD |