| Key | Value |
|---|---|
| MD5 | 30F1794F62ED7C3EC346212F938A2F45 |
| 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 | 4.fc23 |
| PackageVersion | 8.4pl6 |
| SHA-1 | 008E9387ECC1ADEBDC9652A57B95D57FEC753697 |
| SHA-256 | 107062DDF62B2028B2B00CCFC3DE8DF5F8543796C25C1E1ED860ECFCF8F0317B |
| hashlookup:children-total | 1413 |
| hashlookup:trust | 50 |
The searched file hash includes 1413 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/bin/coq-tex |
| FileSize | 611568 |
| MD5 | 504575F16E9C5EBBAAABF899F248A062 |
| SHA-1 | 001F92E2C81BEF82732E81AE6061D62BC69169BD |
| SHA-256 | AB1AA24B0B5241FB02486B58CEE89BFD39288B4194A102FBD5F8E0F499F7D272 |
| SSDEEP | 12288:hVLzsz/Pqo7Hu/aPHJ8GlEVNmdviGmwzKWBvgYyOOWqr41xD:hVLzA6AiyJ8GlEVNmdviGmwzKWBvgYy0 |
| TLSH | T187D42AB775DC7C69D2C6D7B28B9897E0B17FF58D4362422A38032388E5C76D54E322A1 |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/theories/Arith/Between.vo |
| FileSize | 26725 |
| MD5 | 2D678ABC25AE69FE5F300FF956563A18 |
| SHA-1 | 0023355E6C5370CD249EACF967050D217C570E06 |
| SHA-256 | E2187BBF05ADC8E759FFDD4FF80430C72A95A7B00D597D467F62811E20618DA6 |
| SSDEEP | 768:+jRlCXnQi4Yq1WS4J1GuQzAqpHlA7dnpeHLth:8kD45Z4XeS7dnoBh |
| TLSH | T1B2C2B726E58C5CA5D9EF2CFFBB6DE35AC744448C53B7A3A1480C234B6FC458F0A1449A |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/theories/Reals/DiscrR.v |
| FileSize | 2382 |
| MD5 | 6CE97FECA424ADD661C5540449E98573 |
| SHA-1 | 0027704A5592977C30F4D4FB946512327B6217E2 |
| SHA-256 | 2EF09C418BA0F2BED1E626E704B4DACC7ACCC59FE7442C9D6D756BEF57544EBC |
| SSDEEP | 48:eJc3acigUJZ0ZmgBP9PNPI/ZbxzSzeKZttyT2ZyPGKZttyc:eJc31i1J6ZmgBPzPGdyXAT2ZyPPXAc |
| TLSH | T16E41BB91BD9E0F1591F0B9BCAF47F0C6F908845BE740C69CB68CB5A40F1CA7A264DE94 |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/tactics/tactics.cma |
| FileSize | 2711410 |
| MD5 | A09A1E75E5209C8ECDE3CD1EF57AE1BF |
| SHA-1 | 0035C06D9E76E6BBDDB86D66594DCA349CAB31CF |
| SHA-256 | 6CEE3C0ADFB52ABC571F56FFB389D6283B159BB6143D5C3F9BA2ABF030DC9539 |
| SSDEEP | 49152:tcEkw2uPdJcJaXc5si+g7McUPG4CUOehQBZGjw/zad7cNY/gjJVVebbOghWA7fan:+EC9G38 |
| TLSH | T195C5080DB728D871C4A409BACCE59ECA9324997D6B537FEB01490B5489C735F6F08B8B |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/theories/Numbers/Integer/SpecViaZ/ZSigZAxioms.v |
| FileSize | 12020 |
| MD5 | A97F4FAFFA4C0F1D84891914488C60F9 |
| SHA-1 | 0047296A537B8A08FB8E894592F7C22BC144BC5A |
| SHA-256 | 8CBF0A7ABB5DF6346A2DE122FE52288F3A300CB53C8F6775D87115E81CB10738 |
| SSDEEP | 192:McFI2ZAFvGFSaEs59FUKACw+FXm8xSZB7k7UNNa6Ra65kFYO3WVrpT+5rLxNfKFP:McFI2Z+GFSaEs59FSCw+FXlkfawaj7Sl |
| TLSH | T10742000097C7DF166EEFB271EE0139D1A0146E4CB7BA8B0DE44D7756A6AE06438A1C8D |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/toplevel/command.cmi |
| FileSize | 9225 |
| MD5 | EAC3EA41AEAC73F4D1F730B421978F27 |
| SHA-1 | 00516B2B78290B27E0FFEBEE4F3E4E4E66F13C9E |
| SHA-256 | F03D8E183D03DB0720B4921CE7B14993BC2E8ED33F5D33DCB80FBCFB6F924876 |
| SSDEEP | 192:BpdnsiqeY2VsyEJybMTB+oaYRw86Jv7QQk:H9SeKOMTBd/6OQk |
| TLSH | T12E122FCC9896F4F5118AA89DC16CCC9312215FBF886B5D77035C0AE5529A05DDB33ECB |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/interp/coqlib.cmi |
| FileSize | 7329 |
| MD5 | 547E0E878CEB5C1DB799AD9CE1EC97B6 |
| SHA-1 | 007AE01F57787E6A0EDA82FF92FCF531808D350E |
| SHA-256 | 1925F8CAF1C928AF4B0EAC2073B81F8F7E731DBA3E1ED7CD60FF3B25EB055AB4 |
| SSDEEP | 96:1Ik2b48eqI42gPnaZw7KuCMya2KOvvoIgeOTnb1VFOyC9yXZ1EJDmIJ0wA78:PABRI42gyPiZ5IefDbXFOhLJhH |
| TLSH | T1C3E1D9EC8C25A0E1648D2C5CC1988EB7E765AF7E4CB34D3B025C04E552AF95DE323A87 |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/plugins/omega/g_omega.cmi |
| FileSize | 3575 |
| MD5 | 62B75698BC495A5452281696CF55ED95 |
| SHA-1 | 0098C7051DFED8DF48506233BB64B8F3D49817F5 |
| SHA-256 | F1E530A0B7735252DFB63998F77550069CBAD978F40FD30DDFDE98671CD5399B |
| SSDEEP | 96:ByvOtw9QtTC3azdoZEEJD3xukfKg1anRNjZ2AD8:y9Q5kayJrxr+Qx |
| TLSH | T159711A89F398357066E7D4AAC21040B28CA1C3D38363C27F63F502869A5E48ADB93B5D |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/plugins/cc/g_congruence.cmi |
| FileSize | 2963 |
| MD5 | 15546163CC7EBF1C8CADF37E7E332A9B |
| SHA-1 | 00D60CC2E7F437633B6C12EC60A3C4E024C7CC02 |
| SHA-256 | 67993043F2E566A08BE84358C38102F6F55B00DAF4A961DE4B12BD958D703655 |
| SSDEEP | 48:vLlHFM7UDixulSegqkXIr7ccZrc7ZmGww36kDC/N7zAEyAOFx8pormnUdHMZcKVk:vLllMwiQlTX3/d4ZEEJDYVg1tSnAsZcv |
| TLSH | T14A511888F398397995E3D5A7866045B39CA1D3C38393C13F13F903C1966D9C5EE4BA08 |
| Key | Value |
|---|---|
| FileName | share/doc/coq/COPYRIGHT |
| FileSize | 662 |
| MD5 | FF9EFE6148FC17EC0A83A15B8A17178F |
| SHA-1 | 00ED8BE5D7B41C34EFC63397307A796AEA0E45C3 |
| SHA-256 | C7B5B416B909E358CB79DF8B13291D6CA52B68E61EACA744B46DF8C6A04C5298 |
| SSDEEP | 12:LJPe8QXpfLuMd/miu6aoWyBTvHiZ7CLpdGIva6uWAFxNI30hBga8kbn:LJ9QZTu6q3oWsbiZ7CLpdGI1un8kYFkb |
| TLSH | T1E401D313A6A82BA52BB14052501502C0B7DC5BDF9264D571BDAC811D9746E3C8BF331F |
| tar:gname | bin |
| tar:uname | root |