Group Details - coq (i686)

6 packages found.

Arch Repo Name Version Bugs Build Date Last Updated Delete
i686 i686/community coq 8.10.1-1.0   2019-12-06 12:47:07 2020-03-02 14:30:09  
i686 i686/community-testing coq 8.11.0-1.0   2020-01-29 03:24:29 2020-03-19 20:47:06  
i686 i686/community coq-doc 8.10.1-1.0   2019-12-06 12:47:07 2020-03-02 14:30:09  
i686 i686/community-testing coq-doc 8.11.0-1.0   2020-01-29 03:24:29 2020-03-19 20:47:06  
i686 i686/community coqide 8.10.1-1.1   2019-12-10 16:59:35 2020-03-02 14:30:09  
i686 i686/community-testing coqide 8.11.0-1.0   2020-01-29 03:24:29 2020-03-19 20:47:06