Group Details - coq (i686)

3 packages found.

Arch Repo Name Version Bugs Build Date Last Updated Delete
i686 i686/community coq 8.12.0-2.0   2020-08-30 01:49:06 2020-09-06 03:21:28  
i686 i686/community coq-doc 8.12.0-2.0   2020-08-30 01:49:06 2020-09-06 03:21:28  
i686 i686/community coqide 8.12.0-2.0   2020-08-30 01:49:06 2020-09-06 03:21:28