| Key | Value |
|---|---|
| MD5 | A1D82155BE76440E3E10D8CA97AE1B61 |
| PackageArch | s390x |
| PackageDescription | The Coq proof assistant provides a formal language to write mathematical definitions, executable algorithms, and theorems, together with an environment for semi-interactive development of machine-checked proofs. Typical applications include the certification of properties of programming languages (e.g., the CompCert compiler certification project and the Bedrock verified low-level programming library), the formalization of mathematics (e.g., the full formalization of the Feit-Thompson theorem and homotopy type theory) and teaching. |
| PackageName | ocaml-coq |
| PackageRelease | 2.d_l_ocaml.2 |
| PackageVersion | 8.11.0 |
| SHA-1 | 59E9F2D2FD0B8A414917403093EF0CAF46898E6D |
| SHA-256 | 3447C2F82EA2A08AB1A71FE6D58E9ED59DE23981F33E6878946AEA05809C9622 |
| hashlookup:children-total | 47 |
| hashlookup:trust | 50 |
The searched file hash includes 47 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/share/man/man1/coqtop.byte.1.gz |
| FileSize | 275 |
| MD5 | C85D082EEF138584A662D850DBF002E0 |
| RDS:package_id | 182052 |
| SHA-1 | 02CA91ED439B35E686C7FF49CDD3E8E67EB0E7AE |
| SHA-256 | E790CE35A5A670BB38D1B71AE4A52467D42C425651C8AF23A8273617936C410A |
| SSDEEP | 6:XtCvPuAceBvF2JT+Y5UxHhMutBBlBNduhXM:XMvP3csvFI+Y5UlhMuplBAc |
| TLSH | T174D0E7B59CC920BF8BDD040147101D631787D5DC1581642500471680314954D7673834 |
| insert-timestamp | 1679424703.0916345 |
| source | RDS.db |
| Key | Value |
|---|---|
| FileName | ./usr/bin/coqide |
| FileSize | 8792952 |
| MD5 | F71A255153CE6E86DD4957649B457DF5 |
| SHA-1 | 07FC43DC65E0361B722E6B82FFCAA44B22E1108D |
| SHA-256 | 6E83149F9BF664D21AFEF58C484A42EC4C3C40F3DD9FB44F19EA2591349A36AF |
| SSDEEP | 49152:nRhgFyN8vPLXaSgYsWckbXvEdsmf6OW1YyriE:RhgFyN8vPLKlYsWckL8amthdE |
| TLSH | T14B96F8A74956A38EC2BC2D70D3D21770B67A9CE7BAB8634EC794637A3D313719909C40 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/tools/TimeFileMaker.py |
| FileSize | 11500 |
| MD5 | 7D658C8E15711DDE9F7C02221F8A0CB1 |
| SHA-1 | 10E374C67B1AD10F3A542A42F1690387016A252E |
| SHA-256 | 2A75502BE6B73DC208C295B4806AE88377625318F29706625671862B0B03963C |
| SSDEEP | 192:imum7HobaxZeR1xaj0BjqrpR+qhszRMB/j5dAsAurYc/c/n6vvM07/kajILpsRXA:LumEexZeHYjZzAqRDbwpww |
| TLSH | T17F32853A641A291047D3A87B8959B1867304D22723052834FFDDB6683F57D3943FAEF8 |
| tar:gname | bin |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | ./usr/bin/coqc |
| FileSize | 21080936 |
| MD5 | 3D4AA1AD3961AEE3AB9BA36B910E4B86 |
| SHA-1 | 1169D102EE66619E1BC95ED9E0B7B3589D57351C |
| SHA-256 | 1F8D5D064719A9924D3B1E0484044FB457634B66AEEC6F0967BF5EE6EDBDEE9F |
| SSDEEP | 393216:EfPKPcvOqFEKFvxEpFKq38xvo+jjqCM9ZCnocTMY1N04a+YpKq3o8RYbAXXzHIgE:EfPKRVHC |
| TLSH | T1D227C3E7AF16E39DC2642D71D6E51324B2B998537EAE734FC98463323C217B2AD19C40 |
| Key | Value |
|---|---|
| FileName | ./usr/bin/coqc.byte |
| FileSize | 30714231 |
| MD5 | 440FE92CDDA9C89C0138CA44E7D37448 |
| SHA-1 | 16B92BA102F7F22AD9411A79757F6B5A997D059B |
| SHA-256 | 4F3BD3933394D036E9CB74113D141A2D9596178E54EC65B645B7CF8D0B989390 |
| SSDEEP | 196608:c7oRvC7Fl8IopBGXWnWlTEj0sAofQiC5DLumYlVo0+CK560uX9OTZG:d/pBG9TEj0sAofQiC5DLumY/obCBByw |
| TLSH | T10F67F60DBB68E471C98819BECCF5CE8B82149D7E66536EEB104C071594CB35F6F09A8B |
| Key | Value |
|---|---|
| FileName | ./usr/bin/coqtop.byte |
| FileSize | 40358918 |
| MD5 | DA4CB1B3EAFFD156560ACA944D67824D |
| SHA-1 | 229B79DF734BBFE5EEBF32011C56EE715EDE940A |
| SHA-256 | 8714A64C543CA13FF5B16E7DCCBA159137FBAFB536A986FC85B72D8A9105B8E3 |
| SSDEEP | 393216:rqpBGHTEj0sAofQiC5DLumY/6DqeE7Ddrfi8c/rM9:NTEj0sAofQiC5DLumY/je4Brfi8c/y |
| TLSH | T1FC97074DBB28A471C88819BECCF5CE8B82109D7E66536EFB1058071594CB75F6F09B8B |
| Key | Value |
|---|---|
| FileName | ./usr/share/man/man1/coqc.1.gz |
| FileSize | 543 |
| MD5 | 8B28B858F2B73937DC9C8E5E7EC065C8 |
| RDS:package_id | 182052 |
| SHA-1 | 2398BB2A5488D5E45FEF7013F1713FA321C7E92B |
| SHA-256 | CF37BCDF17C49831F7F23E90E5F1E5965DCC1766D6CBB8F5AD63779DA4019C0D |
| SSDEEP | 12:Xyl9LOLTzYXkjQviq3UrplJ7+cGybTUljbNbGWjxILYh:Xy2Lkjqq3Urpb+cnU/dx2a |
| TLSH | T193F096AC87F200F29A26105C418EADD20C242EC971ED82038880C815C24CCE88994154 |
| insert-timestamp | 1679424703.0865602 |
| source | RDS.db |
| Key | Value |
|---|---|
| FileName | ./usr/bin/coqqueryworker.opt |
| FileSize | 21080992 |
| MD5 | CD41B1C3DAB3FD4F9D344A6E7C818F92 |
| SHA-1 | 258DF15AC67581AAEEA966CC278AAB3D65C75345 |
| SHA-256 | 2E4C43CF745D6AC6D51423A13280696FA2EBA89A951C73E09808896CF6B8371F |
| SSDEEP | 98304:v1xfENPKFxglf3nAXUOifP0jjKKwjBeGOLZPmjGpC+OVkoWi:vzfY8Cp3AXUOifMjji4sCpm |
| TLSH | T13727C3E7AF06E39DC2642D71D6E55324B2B998537EAE734FC98463323C217B2AD19C40 |
| Key | Value |
|---|---|
| FileName | ./usr/bin/coqtop.opt |
| FileSize | 21080968 |
| MD5 | 646D1581B51189CF654192BE08E74665 |
| SHA-1 | 2BE0E80529BCB1B8D50629612040182A44CFC6ED |
| SHA-256 | 4BCC6406D7ABDC1F20F3B9CA8E24AC139A1DEA075A5610B938A22032CD575EDE |
| SSDEEP | 393216:cwfGcZt0jgHbetu/Wilo02oAcLVur2cDni7VOzf8lftWkqRyKO5Tbgyfp6uxPJws:cwfGc3I6 |
| TLSH | T1CA27C3E7AF16E39DC2642D71D6E51324B2B998537EAE734FC98463323C217B2AD19C40 |
| Key | Value |
|---|---|
| FileName | ./usr/share/texmf/tex/latex/misc/coqdoc.sty |
| FileSize | 5494 |
| MD5 | D81D07C2738BE88569AC158D76B4A72E |
| RDS:package_id | 182052 |
| SHA-1 | 3C009E4BFA0A7740FD7F721C7B38AFE4883C9434 |
| SHA-256 | 3C46EA94A7954C9CF506F24EFD98F8059B4D098AAF4A3A38A8903473A68EA617 |
| SSDEEP | 96:zp5zUm5Sua7AIzP7glU+c4V1lSjcilL4bSurImGYsBtGosrcS/p:V5zUm5Sua7FzP7AUZ4fCcvbvrImGNtGN |
| TLSH | T1E7B1DD006DBC72922BDB0D46AD54DF095C3BCE0A3B0E96E678BC245187C6B8F029974F |
| insert-timestamp | 1679424703.1018066 |
| source | RDS.db |
| tar:gname | bin |
| tar:uname | root |