| Key | Value |
|---|---|
| FileSize | 13728788 |
| MD5 | 6F3B7D9AAD34E5EC14F64CB0DA69452E |
| 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 | E97F0BC6395A9F3ECD9C563D05A0BCF53B529CDB |
| SHA-256 | 654A40B3ED446D5D3DEB4D0CFB4AB6EF67F929E10EC1060CB15212AAA2DF2FD0 |
| 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/hipattern.cmx |
| FileSize | 9397 |
| MD5 | C98EC862C4673A04C3D63CF74953B085 |
| SHA-1 | 000AA01A3FC129A9C1139B81B44401293B803054 |
| SHA-256 | 9E3CECE861225F407B32ABAFA07B01492B607B26F3DD18FFE29991965FE099A9 |
| SSDEEP | 192:dh+zQujWFDXAADWjX4eTkFqxAvOzF87IgHU:dhEQujaDXxDqX4eTkFqxwOZIIB |
| TLSH | T1AC1296BDF701B902D8C751FDC72AC950EB6381833D91E863D6650B622CA791372AB237 |
| 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/clib/clib.cmxa |
| FileSize | 12399 |
| MD5 | 6F19A25CB736917C03F790DC6A3E8F23 |
| SHA-1 | 005BEDC3797897F4DCCDC6E3C1BED16C99711B2C |
| SHA-256 | 8A57527B5C16949FB974ACA998AA9720B5E92EDA38A88150E92DBBFE4E41EEFB |
| SSDEEP | 192:BdU90iCegkb3AHVeN8Cn+QjLOcKNnSKMY0n9NeRgtDGwExVo01PhT5TkTeYi1a11:bW07lVNSB8zR5gSYimt |
| TLSH | T1834265A6E75D761E94C2F0F16F6548B8C1485062A73FC047E73B5714A3CEEE90A2CA4E |
| 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/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/library/library.cmx |
| FileSize | 9698 |
| MD5 | BCCA23753685FF31F075EF1000FAEDDA |
| SHA-1 | 011183A7CD2EDA2E95F7C5EECA8CD376C116C89A |
| SHA-256 | 7389CF510C862170B74F8BF4FC5F4C1F748BEBAE54B79D52ACFE18615A0E2DE5 |
| SSDEEP | 192:N5oFcbc20GKJq4wsXFRto73sxsaSAd/vdnYzeqhz:4etbKlwsXq7QsaSMvdnYzeqhz |
| TLSH | T1BE128412CB47B84674EAD5B9C5DA03BECC2BC2531E238D366AE54B17B69B9036117307 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/syntax/numeral_notation_plugin.cmx |
| FileSize | 7166 |
| MD5 | B5316E2C6822F7FC47AEC65F9446E680 |
| SHA-1 | 01858A0694DAE3F2C1194F46ACD4C46E289EFEF3 |
| SHA-256 | C2E88A71E1636B026B098914F48B64F4FEFB5CC026F21C8D580D45F17D431181 |
| SSDEEP | 192:3LVKA2jTPVX774FCzghQN2VXo5zDucQ2S58XFt2G:7VofVr72CzguEVXolDBS58XFtz |
| TLSH | T1FBE1F8795F4270124CD7C1FFA061806084B08BE32761E1AD9B6F178E7ED1E6A4BBB653 |
| 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/plugins/setoid_ring/newring.cmi |
| FileSize | 6708 |
| MD5 | 8ED1347EA8447B1C234F7AAAF3165EFE |
| SHA-1 | 01E4A81F1846F8820E8BF9671BC1BEA5C583A443 |
| SHA-256 | A83E095532A19BF76D451CAE5C9AC05622070877959663BAFD353E24B3B7F030 |
| SSDEEP | 192:S1Lg83LNA2KTPVe774FCzghQN2VRo5zD7:WLgIjmVY72CzguEVRolD7 |
| TLSH | T1E1D129FCA24170625483C0BFE021846105A403BF9E77CDBB93AE57CA45A9EBED72B517 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/ssrmatching/ssrmatching_plugin.cmx |
| FileSize | 20154 |
| MD5 | 8D1C42646C13F97CC78560681604692F |
| SHA-1 | 02A8BC484D277BFE2966C632A55638B71D0F79A6 |
| SHA-256 | A39A17C84C4A5E571759C07554F37A135FE891930A2636520580800A4B4D07DC |
| SSDEEP | 384:lJVrcVA72CzgA1VXooDVwxSM3pLw7aCC+rGC+dm6:xV722n1VhDyxo7a4h6 |
| TLSH | T19092B673CE4DB41278F573BA85A984908C6FC7CD9B24C4AFE56F26CA3C4DA61419B207 |