Group Details - coq (i686)

3 packages found.

Arch Repo Name Version Bugs Build Date Last Updated Delete
i686 i686/community coq 8.11.0-1.0   2020-01-29 03:24:29 2020-04-05 13:27:49  
i686 i686/community coq-doc 8.11.0-1.0   2020-01-29 03:24:29 2020-04-05 13:27:49  
i686 i686/community coqide 8.11.0-1.0   2020-01-29 03:24:29 2020-04-05 08:54:07