| Key | Value |
|---|---|
| MD5 | 0632657330A02C862C917DB28CB8C656 |
| PackageArch | aarch64 |
| PackageDescription | Coq is a formal proof management system. It allows for the development of theorems through first order logic that are mechanically checked by the machine. Sets of definitions and theorems can be saved as compiled modules and loaded into the system. This package provides the main Coq binary without an optional IDE, Coqide. |
| PackageMaintainer | Fedora Project |
| PackageName | coq |
| PackageRelease | 1.fc24 |
| PackageVersion | 8.5pl1 |
| SHA-1 | FDE70F6C2431380A36C304C8548167DC5E8F8CFB |
| SHA-256 | F29F0879F37FFAC6EA49C7DD2A17046CF51C53AC482C82870271FC6C3C4300D2 |
| hashlookup:children-total | 3933 |
| hashlookup:trust | 50 |
The searched file hash includes 3933 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/plugins/extraction/haskell.cmi |
| FileSize | 1281 |
| MD5 | 52C2C9E689612910B056712937C415AB |
| SHA-1 | 00024FB1262C827155ADB2EC66BF8998FAA57283 |
| SHA-256 | A3C04DD4ED4C215F81DA03A7CBFA54B395644158781728616689EBFFED3B3BC3 |
| SSDEEP | 24:dfCpABMoaGvot8nRPkfCZkdmMByR5dqBfE+U6XVME2s3WvdFUOiJEJ12jNvQw18:tqxo2Ax32i5dfyt3Wqu32how18 |
| TLSH | T1F721B75FE2A03603F24BE07B46ECA2B5DB09015319B2DB7596295424C5F8F8C8A0BF68 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/theories/Numbers/NatInt/NZAddOrder.glob |
| FileSize | 27187 |
| MD5 | E41A8C255D66CF2EB11ADC356C81F263 |
| RDS:package_id | 182052 |
| SHA-1 | 000A712D1D4A59A039832844D466052406FB72C9 |
| SHA-256 | F41938427CA986351192E3169980081FAE5B4C27231D4381A796D571F94DCC5D |
| SSDEEP | 192:Cdmz/C0KrdLuLSjtrUjE1dbkYzW+mLoh9zeTwhlhLqJ:1/C0KrdLuLSjtrIEnAYzW+mLobSwlhLE |
| TLSH | T109C2D77F2240827496A70EB96F8C5DDC03AE4F96995E1068014FB9C17FC791EA386F93 |
| insert-timestamp | 1679425910.0569463 |
| source | RDS.db |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/theories/Lists/.coq-native/NCoq_Lists_ListDec.cmi |
| FileSize | 3928 |
| MD5 | 973CA28AA6B691AEF8A8AD43BE11E479 |
| SHA-1 | 001ED1EB7B9E6214F8F0D799D632E4165932E773 |
| SHA-256 | 8F8EEA7E64182275989BF89FB9C463F9BEF458A267AFFC9DCEADEDAFEF82E6CF |
| SSDEEP | 96:bibUjHRnTHmXiZfyOL2Of+0yTlV1BqLs+/8Ai3WqOi2hY8:bioLRnTHmXyKOKX0yTLV+kzGhi2T |
| TLSH | T1B781FACD6624E24659CBC0FA00DD8012490922735EB7C8FED75D4AED9998DEFA703D8B |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/theories/Numbers/Natural/SpecViaZ/NSigNAxioms.vo |
| FileSize | 219178 |
| MD5 | 605BE9C0CD452FB53217EE433C65E0F6 |
| SHA-1 | 0028C4F1E8B9F7188F88075D443324CFF7D75007 |
| SHA-256 | 748677C9562083C2ED32303682620558A1603E8639C0368BC5AED33CF925D230 |
| SSDEEP | 3072:ct1y0tobB0rlpcTuE4h4qYL06GaZBuRN+nh2qEB8zS5EMBko0z6:C1yWo10rLE49EHTZBMw8qu8zOEO |
| TLSH | T19324E6A0BFC6DEE6CCFAC874F5A4BC9752404ACD32A1F1D243248B3A44DBE55299435E |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/plugins/extraction/.coq-native/NCoq_extraction_ExtrHaskellZInteger.cmxs |
| FileSize | 9776 |
| MD5 | 4E95BDD4572D54F3DE030058FBDF6D7B |
| SHA-1 | 00313CF1970F39FA930C30EE7E0C2DD8C23378C2 |
| SHA-256 | 9C7066E2C15C401CDCA8CC1CB2FC1A0368B87303C3489C2DFDD46414AB37E223 |
| SSDEEP | 96:ZRFMBWBPaMaDjyw68JfyOL2Of+0y6BqLs+/8Ai3WqOi2hxCcYyU+IRK+JAA3K2n8:ZRq8pZ2OGJKOKX0yW+kzGhi27IdZZ |
| TLSH | T1A212FA8FBA98E92FDC69947584EA437123B0B6055EE3C363980451A82F837F52F218D2 |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/theories/ZArith/BinInt.glob |
| FileSize | 254399 |
| MD5 | F58B32ED1FE4480AFCF1BEE59E4C0A08 |
| SHA-1 | 003F580DEF773D6C58B8CA74B7744D17E75300C7 |
| SHA-256 | 782C9D3AB53BD11DD34D45D7D9D49B4A75ECE37C23EBB70B82C2E92080773D5F |
| SSDEEP | 3072:vnCh2hcbaYZ44449LtLkkaUqq0brHieeeeejtuAq8Um4NPhfmDuuBq511111111O:PN8g7 |
| TLSH | T14C44A928912601BD606C1C74A77123A562F57CDAFE6A22B0BD8E475DBFF1A1C033BB45 |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/plugins/setoid_ring/Cring.vo |
| FileSize | 119140 |
| MD5 | 14185EF7C417C9795C01CADB524F54E5 |
| SHA-1 | 00517EF5512EA1BB816E309870985E3746B162B3 |
| SHA-256 | D723A3D3ECF280AE5C240F70473A645B38151711F55D89CA5029F660B4C64250 |
| SSDEEP | 1536:46cZrIyB2JJ3InKm5ILU3cbv5JvCjEJOdLNvSZi:T8syMJJYnPGAsTvCcW18i |
| TLSH | T158C3DDA4CE599A37C1BE493575BAA50913F136C26691BBBF21AC527C8EC320737D03C9 |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/pretyping/evarsolve.cmi |
| FileSize | 6816 |
| MD5 | 13437B3BDAAF0A308A1DD93B0F0EAEEE |
| SHA-1 | 005660A019CD41BBBEAAF365C30F50279A6B3A63 |
| SHA-256 | 9FEAB0BFDDD93A0F3E6B1CFD40B4784848069876C7C6325102567D9344042042 |
| SSDEEP | 192:O25ucgIAWuK1k11QLphmvHgK/08T4+Ghi2u:75ucghl0hmvpFCi2u |
| TLSH | T1BDE12ECD8954F4DA2656A56CC0ACD9833229477FCDA36E3B870D08F412A996DD312FCB |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/theories/Init/.coq-native/NCoq_Init_Tactics.cmi |
| FileSize | 2943 |
| MD5 | 2158DE74EE980B321E4FBF8A82A115B3 |
| SHA-1 | 009A43B32D08BECAEBC77B6597ED5728E252B302 |
| SHA-256 | 2805EF4E6998503F884FD435728B2646617E2898F2D046E3DD4C40D376C5AC9B |
| SSDEEP | 48:CDKrDj/3neAM/yOL2Of+0wFtlbBKPBL/0+PyRmOnrkbi3WqO232hW4w18:wcXefyOL2Of+0ynBqLs+/8Ai3WqOi2hJ |
| TLSH | T15C513BCEB74076072597C0FB45D880224E59521392F3C47DACA84BD88E9DEB96B03E9F |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/theories/Structures/.coq-native/NCoq_Structures_OrdersFacts.o |
| FileSize | 2272 |
| MD5 | FC01C0DB1543C4BA98DA2C1D7479872D |
| SHA-1 | 00A25DFB1B1CAACFA0AFF79A656DE9F86B0FD306 |
| SHA-256 | F5056186CDE44797F086B45DAC1957A89055AC79F8B7A30165325F42CB4FE3C9 |
| SSDEEP | 24:gwUyIelnejujVKBT1laamWpPScfdJCdrDSxlPXMU:PCSj8BD9pNsrWjPl |
| TLSH | T1F341465B6BA8CE59CEBDC6F061981B223380F1C974DB43078919F22C5F922DD6E72543 |