Group Details - coq (i686)
3 packages found.
Arch | Repo | Name | Version | Description | Last Updated | Flag Date |
---|---|---|---|---|---|---|
i686 | Extra | coq | 8.16.1-1.1 | Formal proof management system | 2023-06-04 | |
i686 | Extra | coq-doc | 8.16.1-1.1 | HTML and PDF documentation for the Coq proof assistant | 2023-06-04 | |
i686 | Extra | coqide | 8.16.1-1.1 | GTK-based graphical interface for the Coq proof assistant | 2023-06-04 |