| Key | Value |
|---|---|
| FileSize | 10053978 |
| MD5 | FB1F3302F962808EB3A23132DE335C5E |
| 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 coqmktop, 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.6-4 |
| SHA-1 | 70EEDB5F2095EADED9E6FDF984FEE8C40F524F62 |
| SHA-256 | 1D66373B58F01105EE88A17A2A81DDA31672E25FA9D9962B40781D604FE20569 |
| hashlookup:children-total | 453 |
| hashlookup:trust | 50 |
The searched file hash includes 453 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | elimschemes.cmi |
| FileSize | 3470 |
| MD5 | F0896D7E5359EC154FC079F3488D004A |
| RDS:package_id | 182052 |
| SHA-1 | 00D759E49B23737646B1810D31CABB5AB5DB9EFC |
| SHA-256 | 4CF0D415361E09C07FD9C6CA86C41CF9BED6DAC59F474BF27552021C64F1E759 |
| SSDEEP | 96:Xt3k57XBhYom/9mwUI9CEzUGCy9kI5dNnwg4eQt838SHg3pIi2hP8:3hC3IdOhSA5Ii2u |
| TLSH | T15C6163EC6544B0E64609FC9DC0280BA6DA94F22E3E37DCB7C55D41A59068E4DA333ACF |
| insert-timestamp | 1679423561.0244393 |
| source | RDS.db |
| Key | Value |
|---|---|
| FileName | g_rewrite.cmi |
| FileSize | 8888 |
| MD5 | 132D17F590D197A3615CA77E258D7874 |
| RDS:package_id | 182052 |
| SHA-1 | 00E310DD71BA942F0E5EB820FBD68E1B6B4A450F |
| SHA-256 | 9DCD2AA60BCDA4FB81CCA0E73E03464E614973BE6C8D7672CCC4CB792EE0C498 |
| SSDEEP | 192:hjo/8C1vgaj+EG5oVOl+zyCjSM1bgvYGkJe2S:hs1IsOAyKXne2S |
| TLSH | T15502A3CC9000B4BA10C858ADC618D4534458A2BF9D379EBF837C95F406A945FE37BA8B |
| insert-timestamp | 1679423559.1750033 |
| source | RDS.db |
| 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 | session.cmi |
| FileSize | 6156 |
| MD5 | EB7129F1CA914C04622EA1F38881A7D0 |
| RDS:package_id | 182052 |
| SHA-1 | 024F75CE301E0BCA395F28632BA5BF62A1DD5C90 |
| SHA-256 | 98F8118BA66AC4B4D428C49224B0FA56B187E37A0717536F4798C502B561BDA0 |
| SSDEEP | 192:lIb/XIeccZyxHFisl6KryCVVRwKkXi+2g:lIzY/1VeY+2g |
| TLSH | T18AC1D59C9170F85A419BA5FED01CD9830214937FC9779E3B530624A099D9A0FD36F8EB |
| insert-timestamp | 1679423559.0709214 |
| source | RDS.db |
| Key | Value |
|---|---|
| FileName | cObj.cmi |
| FileSize | 841 |
| MD5 | F1820530E19D43F0CB2AC5775BF8B9BA |
| RDS:package_id | 182052 |
| SHA-1 | 0283027B11E4BB177B7ADD8508A5D34B072B2EBB |
| SHA-256 | 7EEB87BA4C70C7305478AD7E3ED266B3F15D861CFC5DD1D62D03553D35C5267D |
| SSDEEP | 12:gU8uelk5lLfy+nBQclHEGxXRgvJselRToW2gCUyqnVzUCghUb4x2R7dqYinYwIW6:gU89C3XVRgvJXRXfR1iHKskjleKu18 |
| TLSH | T12C01CBEFBCB2D405324DF6FD6240AD67180012BDE43B8C7BC0181092B04A94C935B05F |
| insert-timestamp | 1679423561.3415165 |
| source | RDS.db |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/ide/utils/okey.cmi |
| FileSize | 4087 |
| MD5 | D23C425CD3807D9F65FB7580B64C2E34 |
| RDS:package_id | 182052 |
| SHA-1 | 02BE8B6D1162863CDCF55E26EC8CAA9186EADB4B |
| SHA-256 | F49F6EFA7FE4026C2D5893779E3236F388E34F6207E3846B0B344F070BDEA0A7 |
| SSDEEP | 96:xgk+j7Fg8qhGa+9YsvX6Qc01h6N4m+qtMksw0AV8:7ig8qhGD9YsvKQc0/6NIZkSb |
| TLSH | T1F6816FDE96B1F0D851C9B9ADC25CCE4B0018933FC0AB1E37976B995037A484EC35B88B |
| insert-timestamp | 1679423558.9972997 |
| source | RDS.db |
| tar:gname | bin |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | patternops.cmi |
| FileSize | 3489 |
| MD5 | 052CA44A28BA357BC58BDC62A4B0FB74 |
| RDS:package_id | 182052 |
| SHA-1 | 033E26DCD022989EDC925DE2F41BA5BDD2BD3355 |
| SHA-256 | 606FB1D253E826D00C29A603163F72273220DD45FB341D01F3104C47D2BA446B |
| SSDEEP | 96:0nRdbkvtEg1i2Cy9kI5dNnILI4eOOJztHg3pIi2hP8:Mkyg1FC3IduCztA5Ii2u |
| TLSH | T1AF7108DCC1047048015BD0ED412589239518A67FAE3F9CFFC25C12E948AAE8DEB23CCB |
| insert-timestamp | 1679423560.7515204 |
| source | RDS.db |
| Key | Value |
|---|---|
| FileName | vernacinterp.cmi |
| FileSize | 3996 |
| MD5 | 1C63D2D5A6281B0BC2D0E25A46761445 |
| RDS:package_id | 182052 |
| SHA-1 | 04FC4D694E75A50D601C7B066B05EBA2950CEE58 |
| SHA-256 | 949BD0F507C6D9AB74E56D5F981A6FA9FB2DE9E6F6ECB395226E220CEBCF5E73 |
| SSDEEP | 96:zESWGtwlyCy9CIt1erLIiWemB9WCQztHhD3jUi2hY8:zRalyChUyK1QztZQi2T |
| TLSH | T15F810B9DD194B0310997C0EF81254131EAB8526B5177CCBFC79122908095EADD35BF4B |
| insert-timestamp | 1679423558.4450288 |
| source | RDS.db |
| Key | Value |
|---|---|
| FileName | tok.cmi |
| FileSize | 1284 |
| MD5 | AAD924027614B87494E68E8DAF710E49 |
| RDS:package_id | 182052 |
| SHA-1 | 053D5E8BFAFB74A47363D7918EE0515417F7058A |
| SHA-256 | DF208FB6CE66A3C9E5AA95E501367E29CE88D271EA6EE09F0780B1ED013480AC |
| SSDEEP | 24:jzncK5kqBASrKOHWVGHmRSsi9StUQL8jqsMj795k4nShr1t3ryNvx18:HnTkqBDHWVRU9RQL5sAZ/nwXAp18 |
| TLSH | T13721CCEDC17AC409644EB0AE12552C071D54917FD57F8D7BC0561445A4DE4DED3174CF |
| insert-timestamp | 1679423561.7035944 |
| source | RDS.db |
| Key | Value |
|---|---|
| FileName | coqinit.cmi |
| FileSize | 1692 |
| MD5 | 9204216664C66486A29D99C34A0F1EED |
| RDS:package_id | 182052 |
| SHA-1 | 05B1998E14A94699B121DF819E1394AE71C1D45F |
| SHA-256 | BCABE9694E463852DF654697603A79D4D7791E233BAB560338BB901CA0808A93 |
| SSDEEP | 24:ixXRyCJDOzMfrHms4h2PqZxepip6sgRDuQxgZgCikfyMBydE36XH1efdFNYCLREp:r6DOMfTYh2PhKrZgCiG7L3S32how18 |
| TLSH | T185315ECE9639A012A18DE8BE4094AE63A61401FE453B8CBFC541149290BDF8CA703E4B |
| insert-timestamp | 1679423558.5299332 |
| source | RDS.db |