x86_64 | extra | coq | 8.16.1-1 | Formal proof management system | 2022-12-06 |
x86_64 | extra | coq-doc | 8.16.1-1 | HTML and PDF documentation for the Coq proof assistant | 2022-12-06 |
x86_64 | extra | coqide | 8.16.1-1 | GTK-based graphical interface for the Coq proof assistant | 2022-12-06 |