| Key | Value |
|---|---|
| FileSize | 17271740 |
| MD5 | A6C5C7304C5C82C7881D2EAD6ACCDFAE |
| 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+b1 |
| SHA-1 | F92E2B31A6BB4D4F68BAF8047DC20EEAB1531416 |
| SHA-256 | 9D057BBA7BEF17A39F9C5D48B697220FF3C5B8D270988B6CE418DCDDDC80E4BC |
| 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/plugins/ssr/ssrtacticals.cmi |
| FileSize | 7593 |
| MD5 | 08B04BD142EEDECF2E401B9D53ED63AD |
| SHA-1 | 0043B60396E8D49F3EFCBB61ECD94221EF922AA8 |
| SHA-256 | 1332757F2AC456E469BFB1D5972591F05100445ADCE04D0AE0ABE50E6EFB42A8 |
| SSDEEP | 192:ALAAqubjcgyoh/pjdu93YXH9xbL/yDnvS23Pv8IE0Y6uO6:zAb4wjc5YXH9l/y+K38IE0YFr |
| TLSH | T143F11ADC23423513FD96907EEA4A005B9AB1427EC7E9CC3F919642C056E189ED7DB643 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/topbin/coqproofworker_bin.cmx |
| FileSize | 4885 |
| MD5 | CBF1976C8C386D2E4B5B6D97F8693C4F |
| SHA-1 | 0051036F2D55C0A922D158152AED10670094B763 |
| SHA-256 | 75C7C2D09DD86FC8FB222DCC9C203952F06C626DFF449FC8CFD6234DE7C00960 |
| SSDEEP | 96:QlmJozWiTJjFAmYqdDSxb1/GW6PbDh8yS2mrqT0ZmEZTMg8ADcDg2b:QXKiTBFIqRSxb1/yyyS2z8mETjxi |
| TLSH | T137A14B953386769730A1D36299CE4063B1F06C13C727C4BCABCF52910678CA7E8CBA42 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/syntax/numeral_notation_plugin.cmi |
| FileSize | 5292 |
| MD5 | B7582ECD402C2EF70D9BFBCC5510A419 |
| SHA-1 | 005D0378F714988A1734E41C38D869F6F7523C6F |
| SHA-256 | 3124128DF3C02046D330FBF77F3B20D7E7AC116E781BBC7A3E21CCB3ECD2CF48 |
| SSDEEP | 96:1Lg/s/eJwWiT9AMKYyIDSxb11dW6PS+BQbkyS2mrqg0ZmEZHhg8DDccgX:1spiT9lySSxb111DHyS2A8mEHWWK |
| TLSH | T1F3B11BDE338236177CE281AA9185005391B04977C7F3CCBE979A93C465B58AEA7CB843 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/firstorder/formula.cmx |
| FileSize | 4726 |
| MD5 | 353D17DB9EF832DDA5B49D782712CD7D |
| SHA-1 | 00E41A3CEFB6EE46A15B2E96D78D1711C3455B8E |
| SHA-256 | 41EB8370467E06A8B46E17BB9115DE135E8D3B9B9643CDCECF43FD737E3BE46D |
| SSDEEP | 96:Zg7JLWijA1MtDTlCMkeCCZmHg8cDcHGWpOGQFQkQ6mQtnQgQTQAQkMQtOQKZQaQ1:Zjij3BTAqCamABMGWXQFQkQ6mQtnQgQL |
| TLSH | T156A1D6923388B30E31E69633CD988AD956F189D14B81C4BB69DD03BB1DE082363D7389 |
| 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/tactics/declareScheme.cmx |
| FileSize | 2995 |
| MD5 | 174D0B706E9AC826DE36397D2DAF6C87 |
| SHA-1 | 0110F93C938E4DEF796DFCFB28EADECAD74F2BAD |
| SHA-256 | 86EE28AFA2721D0223066C473E674DEB8D35CBF3ECD64338581FC30304A5D397 |
| SSDEEP | 48:u9WX7WRKRi1wDji/N0ARU8DTmDL8kow8Z/sVvLg8sSggLKclIFY+BjzwoBQ1S4qJ:UWXSWiMARXDT+8FZCg8cDclIFY8v8jch |
| TLSH | T11351A3D0B38575FF31B85573E4CD0225B270641BEF22C476E9CA8A4A4DA489779C36CD |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/clib/cObj.cmx |
| FileSize | 3364 |
| MD5 | FE079AEFC14EE4D19F3C5F5609A5FFE3 |
| SHA-1 | 015FA943593BC294D79F3428E942687A45CD7E86 |
| SHA-256 | F5211C12870ACACB2F8D39E81FB43CC564219153C60BA105507F1E0915E4E580 |
| SSDEEP | 48:Hg/12zACKyLxERtXxLi6YK9/FIt0211sBW3VmJnI+0mphLL+HED0/c:8GACKMxGtXXueWmJnyq |
| TLSH | T198619E527F5627EEB654B2793E68701AEA12E411CDDCC57392F64792B08AC0480F754F |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/firstorder/rules.cmx |
| FileSize | 5228 |
| MD5 | 0A48148E7FB5572E41A1FFFA00283856 |
| SHA-1 | 020583DDE6EBDBDF5A41B3EE3C8C805B198015DE |
| SHA-256 | 07FE03FAA036B888EEF869B0E573C1EC2A280E7348F0784EAD9C3A4740640F38 |
| SSDEEP | 96:cNZJksWijA1tfeJxrDs1/dW6PbAp0Zm2Mg8cDcQHg+6TPHQ+/QRQMQmQxebCQ4Q6:ceBijmk9s1/168m2jBP96TPHQ+/QRQMk |
| TLSH | T1B5B1E9757784320E31E3D532EA8944D2C5F0D1C38795C879997E836A3AE4473AAF7203 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/vernac/comFixpoint.cmi |
| FileSize | 6862 |
| MD5 | D0F5CD8E713037F6BFE961DDDF618B70 |
| SHA-1 | 0226B5509628096ED919B639EADF85664BB50F72 |
| SHA-256 | E7BDCB91DB52D27E8712EBCA23B1A7DA765EF225847A4D2EA4BAEF21F1583029 |
| SSDEEP | 192:15jHLiC9RNqLbEKjiT9XySs1/1EU8mEHjW7:HL9CH0la/1j8mEDq |
| TLSH | T1B8E1E6ED23427993FD9091AEE6C9416B0670463FD2FACC7F568603C102A042E97EF263 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/micromega/micromega.cmx |
| FileSize | 15981 |
| MD5 | 912E4A4727F2C6C430C2A183C46FE785 |
| SHA-1 | 0233C6521BA5D21E7FF3BB9E8AFCC9EA11185DA7 |
| SHA-256 | 54973F477D8F335795F04E89FACC64ACCD370EC4D3828BD06834302E44CBF073 |
| SSDEEP | 192:xo8ZlolFbClvgOtiDqBGc76GxyMPsAU8+i0Y88VXdmBH0J6mtn4ma:jZlAGiDqBGc7WAL10Y88VN+0J604ma |
| TLSH | T135729DDD528FFC41E4A035ADC95CAEB28D2AD7D70FA2CFE544E94B027E44AE20587306 |