| Key | Value |
|---|---|
| FileSize | 13307820 |
| MD5 | FB04AC489A3912B7BD41857863A060CC |
| 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 | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | libcoq-ocaml-dev |
| PackageSection | ocaml |
| PackageVersion | 8.5-2build1 |
| SHA-1 | 0F3B75B268D6A8EEF24F521DDA1E8E8FB5D41F5B |
| SHA-256 | 4390DEE95AD722CCF6D56EA7FEA772435253008AE2D6DFD5767A04B397079F51 |
| hashlookup:children-total | 499 |
| hashlookup:trust | 50 |
The searched file hash includes 499 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/printing/prettyp.cmi |
| FileSize | 7624 |
| MD5 | 44B7C53A49858B43FE512B9EA52ED5BE |
| SHA-1 | 00453857CCEAECCDD3F7676A9327267290EF9AE9 |
| SHA-256 | 371094CE6584CA08DD80D8FB9CA9F8F8DC75964E3F9D7674C8538DFFBB9311A4 |
| SSDEEP | 192:EHu42hRvPr0/CcdW2E+2E36jUQViEljgK/8GP2T:EHqhRvPA/CvT5lUrRG2T |
| TLSH | T182F1508C8504B0EA519EAC6CC198D8572262A7BFCCB72D7B563C15F52BA581DC312FC7 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/library/globnames.cmi |
| FileSize | 18525 |
| MD5 | A0C98DE14434F0AE9E6FE5A4DB1FF5AD |
| SHA-1 | 012A3CB456C58C9B52844F1F13F7288F3F12C598 |
| SHA-256 | 220D004C3427D3619E4B0C968F13F01F47F9117459E6BD4256A37DB3A2A6A51F |
| SSDEEP | 384:CPmqcgV2+/AJ9CzfdF2sp7XxzwXTrgNs7AlxxChEF9gG2u:CPzcAWCBF2sVxze/us7yxxUiT |
| TLSH | T12282DB5D98A8F4A845EEDC6FD24CE48F0A41427F603F6C7B863904A56BBF40D8F1A587 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/cc/cctac.cmi |
| FileSize | 3481 |
| MD5 | 3AF7DA95259EE5540409512BE2A6EC0E |
| SHA-1 | 01575AD390D41275B14F1136F8FF164AF4B87DB6 |
| SHA-256 | 77362FA16CF3B41D200364DC2D4DB33ACCAB30370BE3EA17B7A6DEE30C5B4B3C |
| SSDEEP | 96:foFIOic6PLWtF+keBXxUD9Ga/iK/+N3WqK2hY8:g+xiSJxUcGiK/gGP2T |
| TLSH | T1EE71E8D9E240700550EAD0BBC0958822A55125FE1973CD7FDA6452D9CA99E8CE743A8F |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/tactics/class_tactics.cmi |
| FileSize | 4358 |
| MD5 | C147E633E1000F00F128EBABDAA28715 |
| SHA-1 | 019F4FF6C0DFE7825FEC733A221BD3EB608E7ADD |
| SHA-256 | CE4F6EE6ACD5526C75D968893AA3DF8ED9B074B4E80694A9270075364956C4B3 |
| SSDEEP | 96:YXSqVJCP8dETy6PLWtF+keBXxUDPa/lsK/P3WqK2hY8:Y3VUP8dE/iSJxUTG6K/PGP2T |
| TLSH | T1059108DDA110B015609FC0AF80919823659413FE89B38C3FA67892EE4AD9C5CDB43E8F |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/pretyping/recordops.cmi |
| FileSize | 4699 |
| MD5 | 6E7DBFF76EA730E1E4C0B522B0EECC0B |
| SHA-1 | 01AE2F1942E70ED83439C6FA6575488329EFA470 |
| SHA-256 | 3A3BA898F9BC22A5C4BE025A19C379429DEC3D4EDC7E86950034A4775DCC273E |
| SSDEEP | 96:/ytGABdVsflbfiHszrEPvTEfAsLWtj+f77BTDR7KYt3WqK2hP8:q0GVsfRfiHsfsUiEx1KYtGP2u |
| TLSH | T1F7A1C5DDE529A0A1E48EE87DC0A46CA35520577CCC778D77003C45EAA9ADA4DC313ACF |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/ide/coqOps.cmi |
| FileSize | 11582 |
| MD5 | 0518EB028BF9C33EEDD692BDC4711D4E |
| SHA-1 | 020A78BA38B546B8A37874DF481E43B54F28E111 |
| SHA-256 | 0E5637FA44FFD81D5ECB0962DE0DC6B2647D8AAFEAB58A5971CE15C0620CF3D3 |
| SSDEEP | 192:c+Ozg9Suvf40CQc6YVer0Qm8MzcR4TyOGj2JyznlaUTKkXXGP2g:Ug9Supg6UKv6Sey1CJyBG2g |
| TLSH | T16D32FAAC54A8F87644E7206EC11CDE6F2300C37F8C572E371366836562DB15C8F6AA93 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/ide/coqide_ui.cmi |
| FileSize | 1725 |
| MD5 | 2CDCC1017FE16D135B097689622C0A70 |
| SHA-1 | 0216B2EF5A8A81021F0F38B0D70B335C51145CEE |
| SHA-256 | F4FB9F7DA577F00D8CE5AFCEB8BCACFE8E5BEE0C7A049D09FB963EA05C193722 |
| SSDEEP | 48:NKDyDp/HFgmQlMF3Uc5NW8W3Wqu32hpFmw18:NKGdlgmQqFksw8W3WqK2hrl8 |
| TLSH | T11731D68A93793C0BD189F03B02A4D0C32244832A057B6E7E87666984C537A5CCB87C8F |
| 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 | ./usr/lib/coq/kernel/entries.cmi |
| FileSize | 5239 |
| MD5 | BBE1751DD88DB59764CADD920F0751AA |
| SHA-1 | 02D3D814ACD09DE41337D118BAB11EB2D173A8C1 |
| SHA-256 | BA10D46987F3A9FC4E53F77343B15ABE3E86CBD4AFAB54C2B13C8D2BAC8F5B61 |
| SSDEEP | 96:WMWHvgi4lrX0eVSdJVK/D3klzJkjWAG5OEPjX793TAif7RW7vrO3WqK2hP8:G+pX0eVSWD3kVJ3OEPjX79DfsrOGP2u |
| TLSH | T1CBB12CDC9A3853B2D1CD6DAC82A0AC974314977D9C63DCB3440C1BA6A5CC86F8352BCB |