| Key | Value |
|---|---|
| FileSize | 329876 |
| MD5 | F8CFEC00BA2830BC2DFB7B13937D7F19 |
| PackageDescription | runtime libraries 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 runtime libraries for Coq. |
| PackageMaintainer | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | libcoq-ocaml |
| PackageSection | ocaml |
| PackageVersion | 8.4pl4dfsg-1 |
| SHA-1 | 7DFFDA7022C8AC8254A614039C8D8E5AC2F9589B |
| SHA-256 | DB4630C6152700806032D034B973BE6808EFAA64A3189835CDB0D0749F71DC3D |
| hashlookup:children-total | 27 |
| hashlookup:trust | 50 |
The searched file hash includes 27 children files known and seen by metalookup. A sample is included below:
| 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/plugins/micromega/micromega_plugin.cma |
| FileSize | 285741 |
| MD5 | F6C64F168AF1649B3018AF813CFD3170 |
| SHA-1 | 083B2225B785DCA7DA3974BE6EF919070E5419F8 |
| SHA-256 | 2E67AB7CCEA06DE89BA1E0C6776F60EB0DFF1D9CC04890612992732D55E7F3FB |
| SSDEEP | 1536:c8Lh8SM7WnfYQdWtLGxPBWAMh44HHiMUOH9ZUdEpBVaLSWyJ+J3jt6jyJxWyJ+J5:rnpYKdVbpzOr5SbDNVOAPeOxl08hCO+ |
| TLSH | T17054BC4AB7015EA1C1E68BB1C5D78B992335E776DB030B1F608C976C2DC3B5F2A48798 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/funind/recdef_plugin.cma |
| FileSize | 373234 |
| MD5 | D806596C321C2F6D023D3C8B40ED7D94 |
| SHA-1 | 0DA49E087F567996AE0B9CA9A632DC781EE0952C |
| SHA-256 | 19AB980AB3B926182AF64913BE5D1E4F60EBD6716F1F56C276EF94B646C55C58 |
| SSDEEP | 1536:1i2UxB1PsrzrqhE5lxtZATVgto0R/2s4tThYwtBUsHA5My4a9kcNkTROUC9ga2Gu:N6EJMBg1QsYlYMOlkTR7SnmzqYUMpT |
| TLSH | T1F384304BB7014EB1C4E7C9B3C6D786C41326A6619A430F1F259D8B5C6EC3BAF6F81648 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/syntax/nat_syntax_plugin.cma |
| FileSize | 6282 |
| MD5 | E740DA10F124194DE640F0EDDBB1FE40 |
| SHA-1 | 11D367D19DD73604B515732908B1CA84A6A4BB40 |
| SHA-256 | BE820FE4A3EC838815CD9564F19C86CEA28CAC8188481750C55D849AA29C6243 |
| SSDEEP | 96:fsAQLZMZBFExAx+YtKAPbT4itPVAwhbmPAKYtKNXoPbcCwtIVROphbPAf:MWetYISQiJ2i4AKYI43wyzOvPAf |
| TLSH | T1C4D1FAC6E7027BB3E1EF05B7E7D2419D03B515935553C97822E807987C8BFA336A2A24 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/ocaml/stublibs/dllcoqrun.so |
| FileSize | 47848 |
| MD5 | 2AC76672C99AB12C3B00B83910DEB69E |
| SHA-1 | 1644AFB220CD1F124F2C4B14904DDB86B11131DE |
| SHA-256 | 4053A0F2CE090AFA4774DF9E5C5DD346E4E6A5DFD5C73EFC0EC87006B773E02C |
| SSDEEP | 768:EuIL6EznLDxTODZ4chikciEMBZrJAcMwkYBuxUBF3eOjdVkBdKsTB0LHAcqv6tD4:Euu6YtOD91r8J |
| TLSH | T1442300FB9A0F3FD6E681927E92C65046A92EC4D60D9F43D9071A8648ABE7F3DDC05070 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/quote/quote_plugin.cma |
| FileSize | 23151 |
| MD5 | F553F9024F360A831B3132B4832BB2D2 |
| SHA-1 | 2491C7D4EEE5A0CFE3000458DC17A2B7BB6EAD37 |
| SHA-256 | DE48E21E423B867214056F2C812D57450559617E3E9B445C188861EE62CE3B92 |
| SSDEEP | 192:/ASCHHkspijADyxIminbu2q7xAU9YtamXTLU2Z05UpbnDpL0rnhAIzqiLe2gCAiZ:/gHHksGQyxIKZejnjYAIib8YI7z8o |
| TLSH | T10EA2B847FB022AB2D0EB41B3CEE252C05366D5A25D874F1E2A5D475C69C3BB71EA2D08 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/syntax/string_syntax_plugin.cma |
| FileSize | 6853 |
| MD5 | 81719C7CCD9A871023AEA8A78573E300 |
| SHA-1 | 3E43E161395FBEFA77F6826B3B428824114D044A |
| SHA-256 | C462AED3AD210EB2516EDB7264C7CF5A0438819F41274387CFE1AC5AA7FD6FED |
| SSDEEP | 96:ise93QfON0bFSbdYtKAPb64m5oPVAq7AhbPH9cYtKNXoPbc6wtPVROphbPAf:aySBYIShm62q7SPdcYI4NwJzOvPAf |
| TLSH | T171E1FACBF3013A92E0E649B6D7D205C503B596D359A386BE92D803D83CD7FA25E61B08 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/field/field_plugin.cma |
| FileSize | 23131 |
| MD5 | 3B9D684C12B31A5E8E61409F01F013AB |
| SHA-1 | 552A0FF44045EEEE702F95AB55C62DA9CE786E67 |
| SHA-256 | 803C3843E07073513DC4C2D5AF39E361EE9BF9A2D3E61E0994E0FB7DC79DED1C |
| SSDEEP | 192:oEOO0mEICsculvA7GfsXsN7XWiRP24DMxIdEjY5a2r3CAhxI43wJzOvPAf:oPVxMvKGIOGBVxII83HxIVz8o |
| TLSH | T1D1A2854B73021AF2D0E70AB3CBE1D6C15765A6216A4B0E2F217E47582ED3FB75F91610 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/syntax/ascii_syntax_plugin.cma |
| FileSize | 7527 |
| MD5 | 9EC00B76D9A8335F764C1894D9879627 |
| SHA-1 | 559DC974C2A0FAD5B126721EAFAA442A4D428EE2 |
| SHA-256 | C96B6D62ECDC34E134E193B8FBB3A0C24BD35E982B35750F18D5612DBE091F24 |
| SSDEEP | 96:mOjIiVgEzmzU/aqxhkYtKAPb64i5/PVAq7AhbPH9GYtKNXoPbcCwtoVROphbPAf:nvCK7nkYIShi12q7SPdGYI43wKzOvPAf |
| TLSH | T102F1F987B7422BA2D4EB0577DAD242C5176456526D538D3A62DC038C3DD3FB32BB5E04 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/omega/omega_plugin.cma |
| FileSize | 151152 |
| MD5 | 32F009D5BAE53E93325FD04A05A856A7 |
| SHA-1 | 606F650815D8D7E5665AA7F1C929A80F8039D0B4 |
| SHA-256 | A748D490A7AEA879DBDC395425AC4EDB8ABDCF47BA7E5A9E70999B31039831E5 |
| SSDEEP | 1536:UAd9i707iksTR+56S6zgGji5JDw2E/J6NqFH:xJ82E/J6m |
| TLSH | T1EFE3DE0BEB118DE1C1D249B6CAD347D62326D2B19B83471F656C866C6DD3B5F2F81B08 |