Group Details - coq (i686)

6 packages found.

Arch Repo Name Version Description Last Updated Flag Date
i686 Community-Testing coq 8.8.2-2.0 Formal proof management system 2019-01-15
i686 Community coq 8.8.2-1.0 Formal proof management system 2018-11-30
i686 Community-Testing coq-doc 8.8.2-2.0 HTML and PDF documentation for the Coq proof assistant 2019-01-15
i686 Community coq-doc 8.8.2-1.0 HTML and PDF documentation for the Coq proof assistant 2018-11-30
i686 Community coqide 8.8.2-1.0 GTK-based graphical interface for the Coq proof assistant 2018-11-30
i686 Community-Testing coqide 8.8.2-2.0 GTK-based graphical interface for the Coq proof assistant 2019-01-15