| Key | Value |
|---|---|
| FileSize | 1780624 |
| MD5 | E023858A6E9ADC72FA0B9E5AA7B76432 |
| 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.3.pl2+dfsg-1build1 |
| SHA-1 | 4291D49A2DB69B11DE011B98DAA3A7C0D459C6C2 |
| SHA-256 | F28A0B43869F730C5E0A20F33F0413C4F40D64DD761A32BA4DF2113872F921AD |
| hashlookup:children-total | 50 |
| hashlookup:trust | 50 |
The searched file hash includes 50 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/syntax/string_syntax_plugin.cmxs |
| FileSize | 14220 |
| MD5 | 203246A2297D5700B668FF63071DF0EB |
| SHA-1 | 04D76892D8E1A33CBBBB6D7726E55537A8F6732D |
| SHA-256 | 6BEDA670430A45E5DC40075B38F5CC68D41505E8395604FA6EA26F287C0095F4 |
| SSDEEP | 192:8c8yiMjCvfpw+ClO0fRTMpzJKnR+fleVDKSRCBEVlDaofWaTEVkqYvfWYR0EXDAy:PIWfRo2RdVDTg4zWaiUXWYR1D |
| TLSH | T10E520883FF989D3DC9745F3405DF032D3AB0C6655A7312B38A1871883962A98076AFD3 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/subtac/subtac_plugin.cma |
| FileSize | 250189 |
| MD5 | E4B1599E356ADB1487E248E35F47FEDC |
| SHA-1 | 0B59CA14C7F96ACDAC17C753361DE296E6CA4B3C |
| SHA-256 | 534409296EE17E4998B6A69E4E530C718C8A0E18008C42EE383089CFEBFC43AD |
| SSDEEP | 1536:j7D4zd8nUAdfiBRoCFvayf1FphrZBkPJdvlXSObF4a++5OVDIFIiMsNrjDd5C6rK:jwHBVb1StSkJIiMczd7BEYJS6vKn |
| TLSH | T14434304B67014EB1C4EA89B2CAD7C6C51365E6759E030F1F258D8B6C69C3FAFAB40748 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/firstorder/ground_plugin.cmxs |
| FileSize | 146652 |
| MD5 | 177D03DFE2295945A5FAA9A38B728E6D |
| SHA-1 | 0BE50153B3A3B6DEE9347F9038824B4BDB82894D |
| SHA-256 | DC2C22428E964D38385FAB43F09F933D84CE432EACD0BC54E1912EFD6D254FC4 |
| SSDEEP | 3072:y3MYvRjc43CGP8Gxqm25bjicD3UTVYuw3eRDzA:rku4S0G3UT+uwz |
| TLSH | T182E308D3B988983CC5B94F309AE74B3AB73085957B953B234138B1B92E305E50F6A5C7 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/funind/recdef_plugin.cmxs |
| FileSize | 763736 |
| MD5 | 7DBAF2139F06EB7DA88EF874F96522BD |
| SHA-1 | 0EFAAABCF00D51F09D69AD8F5C957874D2269732 |
| SHA-256 | B23D6C0A1209C3C03FD1AD5C0CB467CFB3E57858DD0D8A556AB7334A74B0A94C |
| SSDEEP | 6144:O7OqRkIsYTvijaz51RmmRTtv57VXhj9/JLl/xiV9XrhfoA8qRWjEBkM0lGGMmOmE:Oj1sYTWaz5mfoM0IVmOmzuAoGdLH4t |
| TLSH | T173F40AC7DC9C9F3CC2B60F3549BB0B367B32598A16D67A164148B069FE025EC07AB6C5 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/xml/xml_plugin.cmxs |
| FileSize | 251208 |
| MD5 | 1D8E2A0F0C758C023D27092672AC1B00 |
| SHA-1 | 128B1DA68D97BB7C699700549A94233C1ED6F0CC |
| SHA-256 | 6A44C69E78FD41165100DD4562981D1CD89F7735999ABDC79F2762B9F0967124 |
| SSDEEP | 3072:xBC9dCbZi85dMXokk3QPHsbxE4HkxtQZajUygo/mOn7MkymEs0Uvl3r/pa/U47c3:xB+85aEQMF2EZ/p8gdE6U |
| TLSH | T14D34E683A9488C7CC2B70F3048E70B36393045D5BF91F7969568B97A3E979E50F626C8 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/quote/quote_plugin.cma |
| FileSize | 22386 |
| MD5 | 1DB58F009E42BD61DFB3FD6CF760F3AD |
| SHA-1 | 160CA50CA868732E2AF0B29C2611853A8229652F |
| SHA-256 | D769D0685918001483BF13490C148634171AFBC7E290B16428DE7712E5127C7B |
| SSDEEP | 192:0mX/7C9OM4nalGkrbEog1n8Xpr8qYxeIUr2Z05UpbnDpL0rnZrZfZZg5slvfWa07:0e7C9rdbBr8qMAIjqlZZg54XWa1u |
| TLSH | T165A2E80BEB0119B5D4DB40B3CEE243C55776D6B19A470E2F6A19472C59C3BB72E92E08 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/quote/quote_plugin.cmxs |
| FileSize | 48060 |
| MD5 | 179923D2BE715A7F8150DBA5A715F77F |
| SHA-1 | 196C3C84E8FBA594758E33F200E9B003C17A423B |
| SHA-256 | 91AD05743AF231D37E98CD321AB20D1B9DEA4C84E94202DCF101EA0956F011B9 |
| SSDEEP | 768:FFwwfE1qF8cwpVRZYpABdNSsGCq91hx0jEymrDDUF6oJET3YbtUjdgdgHAwC4m6n:n1sUsxBdNSsC1/0YyKDDUF6jTIRccgz/ |
| TLSH | T1E3231887FF99897CC0B9CF344CD7033938B1888669977B675629705A6F44AF903A2DC1 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/micromega/micromega_plugin.cma |
| FileSize | 195628 |
| MD5 | 0D56BBEAFA33F5820E211BB9A33CA990 |
| SHA-1 | 1B3C932A3BE9742A082C0F6BC2D3084C58C91194 |
| SHA-256 | 5C3220335ACFBA16AD5274B9DE20BC5EC2F2FF1EE094E05DFD460D826B03860F |
| SSDEEP | 1536:MJMWyJ+J3jP6AhVSMyRIA/iRT1XY37GxPBWz0xBZOCvRaO0K1ghlsX1vNUgL4tlV:6mgBrr+K7l1uGaloSDpyUrxTaW |
| TLSH | T18A14EF4BB7014EA1C1E58AB1C6D78B956335E776EB030B1F608C975C2DC3B6F2A84798 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/syntax/nat_syntax_plugin.cmxs |
| FileSize | 14108 |
| MD5 | CE4A060F1B0ADD68D4864229FDF27D1F |
| SHA-1 | 1DD7438327575CEAE35523A410A1B7898BBB3496 |
| SHA-256 | FA2E3CBAF065BDECE550018B223814B795017CB16DD3236C66BB848668282815 |
| SSDEEP | 384:TXdPpH6chaMQG/Lxv1+WrWaMnkXWa2Dox:DrH6chaM9F9F9CcH |
| TLSH | T10552088BB788CD3FD4B44EB485DB132875B2C2549A578927D634B1983E33AB81325ED3 |