Group Details - coq (x86_64)
3 packages found.
| Arch | Repo | Name | Version | Description | Last Updated | Flag Date |
|---|---|---|---|---|---|---|
| x86_64 | Extra | coq | 8.19.2-1 | Formal proof management system | June 29, 2024 | Sept. 4, 2024 |
| x86_64 | Extra | coq-doc | 8.19.2-1 | HTML and PDF documentation for the Coq proof assistant | June 29, 2024 | Sept. 4, 2024 |
| x86_64 | Extra | coqide | 8.19.2-1 | GTK-based graphical interface for the Coq proof assistant | June 29, 2024 | Sept. 4, 2024 |