| Key | Value |
|---|---|
| MD5 | 12B95175E1E8C683C9B4EFEAA247906F |
| PackageArch | x86_64 |
| PackageDescription | Proof assistant which allows to handle calculus assertions, check mechanically proofs of these assertions, helps to find formal proofs and extracts a certified program from the constructive proof of its formal specification. This package contains shared files and the command line interface. For a graphical interface install coq-ide. |
| PackageMaintainer | https://bugs.opensuse.org |
| PackageName | coq |
| PackageRelease | 1.6 |
| PackageVersion | 8.14.1 |
| SHA-1 | 8253F575B61B668384D632EAA37A4C9EC4C25EAB |
| SHA-256 | B59F0026EDACFA25B4755B8100ABE79DD5D1EF815D8AF5E5EE43AC05F7C0F2D4 |
| hashlookup:children-total | 1260 |
| hashlookup:trust | 50 |
The searched file hash includes 1260 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/theories/btauto/Algebra.vo |
| FileSize | 150248 |
| MD5 | 768BAFB0A1FF8FC397067FC1D9D89C0C |
| SHA-1 | 000872CD74CEF6438F94187069401DE299460DCE |
| SHA-256 | 21570BE7967415025536894BA19A156856C7C49A38D0AD75961FB760B9F0D8B0 |
| SSDEEP | 3072:/k+aJFzpnhn2EOs5jr/SxGx930tcCx9dumb:/CLnVhrx930OCEe |
| TLSH | T199E38E5AA644EDB1C4EF4EF4C728B1D03307458FD2BB92465919416C8ECB3FB386A6C6 |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/theories/Compat/.coq-native/NCoq_Compat_Coq813.cmxs |
| FileSize | 16768 |
| MD5 | E94DD4B9507D1762B46B11B6B855E259 |
| SHA-1 | 002056491B3093E1A0B8CE580CF000CEC332EA48 |
| SHA-256 | B76E3C7F1B3B44F3467D283B873E82323179A98355D434E05783609DC76A4BD4 |
| SSDEEP | 96:RRYw8BWB/hc3oqLMCABNM6+7mURrgpN3hA7WAUrVOUAI8gApRemvVgOAVvJkHz:R08wABa9NeNn9+eMA |
| TLSH | T1D572A50BFB99993DF63C02B6EAAF033062F6F50295F10233439465250DA32986F65D66 |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/theories/Sets/Powerset.vo |
| FileSize | 15674 |
| MD5 | C2D4416617E75D40D477B528384732EE |
| SHA-1 | 0021A2751DA6B829BCD053FE22120402BBD16FDD |
| SHA-256 | E1782BC8C9268FF85B3B4BF433BFD74229BC0CCF8DBDE14E5ED74B28623478EE |
| SSDEEP | 384:tBq2QI1dZQf3RytKu66GabUq4iegmMp9IlAYglOEenS1T:TbaPRytKyGSp9cGInS1T |
| TLSH | T1D662394DEE090D12F5D39EB896A4E3C036998CDE217AF3070515631C89EAADE652F34B |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/theories/Init/Notations.vo |
| FileSize | 9629 |
| MD5 | 211AE9633D0388303A575BA07F2605B4 |
| SHA-1 | 003362771D17F71A5FEA256F67E1463D5FF54ABD |
| SHA-256 | 36ECFBA080243C69D9A7BCDFD3FF95E173300E628B909EEE68E13E9F979EB187 |
| SSDEEP | 96:mvHwFo++eTOqF/m21ojr1Lf3PvcTQB4l+DFWK8nNjhIa0HrRMIm5Hq5TK7v+dHBW:Cw1vW1ffkTJlKHHFcCTK7v+/Nc |
| TLSH | T12B12D2FEF7152879CAC8DDB8EC2E5EE837D608C538634997970CCA673CA0766401A64D |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/theories/Numbers/Cyclic/Abstract/.coq-native/NCoq_Numbers_Cyclic_Abstract_CyclicAxioms.cmxs |
| FileSize | 431936 |
| MD5 | 2493BDE79DA349E064141CC7FC71406A |
| SHA-1 | 0044ABAD2CC7413316EC2CE768A89946E955EF49 |
| SHA-256 | E0DE3783A58CBDB142BD77D11370227942D697124807DB5B9C2C52F8C536F0B9 |
| SSDEEP | 6144:X2urCcrrFT6PREoRo36A+75dnRQcJfZ8:X2zdz |
| TLSH | T1A09442199E9ACE68D6E74279C03E4866556CE6FC4B508F07B28A726C1B0784C7BFD3C1 |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/theories/Reals/.coq-native/NCoq_Reals_AltSeries.cmxs |
| FileSize | 26976 |
| MD5 | 29C80D625A3E0A1A72F990941111814A |
| SHA-1 | 00473B980BFD7744E5A5F08E4B20F649038165B2 |
| SHA-256 | 7C42009CDF0432E8682CDA97EB2B860B2807589806C3D4F81B07DEDAE4583058 |
| SSDEEP | 768:VH8S3TRhddttM1rBH5pDblmcgKoNQynw:VpMJBH5pDblmcgKoNQynw |
| TLSH | T1C2C2E806F989C43DC723E5F899AB12BB1FA0B4082E761B5ADB04E519CF6361D970C1B7 |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/theories/Init/.coq-native/NCoq_Init_Logic.cmxs |
| FileSize | 517304 |
| MD5 | BD3828E27A957E91C4810E528611AA21 |
| SHA-1 | 004A092954FCEFAAD325D24A875590E41C19180C |
| SHA-256 | B838A6EDF1520A898B5C3376DD05B05E1B783993667004B0874AE21995B358AE |
| SSDEEP | 3072:TYAx7z2Adj2keJ2n5UY7qas5dSnrlAX3C5FxnGHiuRnc8MUfev4QbSmpanFOMxU9:cF0cJ2RqaW8rlAj91LfG4mS+anFOMzW |
| TLSH | T17FB4B613C9F88D6EDFFA81BA0767013262F0A4A6C642A71715C5B6343FC391A9F5E394 |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/user-contrib/Ltac2/.coq-native/NLtac2_List.cmxs |
| FileSize | 16752 |
| MD5 | 30521828C54932105FE8CA94C37F053A |
| SHA-1 | 005B1E157DF53E8EC1027C4A989369A872B9A2AA |
| SHA-256 | 79AC3FD022637BC8EAFB877CC67DE87F7ACCEE8D32751837B6E58880C615E332 |
| SSDEEP | 96:RBIytBWBNARE37mURrgpN3hA7WAUrVOUAIbgApwOAVvgkHX:Rf8vARuNeNn91A |
| TLSH | T17572D71BB3A8DE3DE57C42B9E4AB033131B1F511D4E247334354A2650CE369C2F7595A |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/theories/Reals/Ratan.vo |
| FileSize | 285080 |
| MD5 | F5CCB3CC832DAE7BC256DFC83EB283C8 |
| SHA-1 | 00755A2358DEFA2DD0869C318AF3DE6F9A79C153 |
| SHA-256 | 447112CAA7F39C2A4EB3E72B07A00C299CDB08B08F079BE5610789DCA5A84D24 |
| SSDEEP | 6144:RbOX7bat5EaVQewo4Iz/cV73g/hmSlmcuAeyqtW:gX7batyaVQe4Iz/cVchmmhZXKW |
| TLSH | T18C54AEE9D092AD75C8FE09F5E324F481B55308CF51BD1A819E3C506C868A2AF2C75FDA |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/theories/micromega/.coq-native/NCoq_micromega_Env.cmxs |
| FileSize | 24056 |
| MD5 | 76219F1E5166A8A88F44DA5334CFED05 |
| SHA-1 | 00B2FFF8BE9A7AE9482481FA1508255C1C603B19 |
| SHA-256 | CAEBCD56A62709E0271A1A32C2E4C98EE08B1D784A96C92494893FD0AFA6CBE8 |
| SSDEEP | 192:RWjqz8qkv+zviaASWT5K9WiSkFGlSzpNeNn9KfdI0Zgs2kY1xr2MOti:1zkv+zdM5KQyGlIeqfd3gs2kY1pI |
| TLSH | T183B2095AA29DC82EEB6251FCC05F05782278F5015A83176B50CE732F2ED238D5B867A3 |