Group Details - coq (i686)

3 packages found.

Arch Repo Name Version Bugs Build Date Last Updated Delete
i686 i686/extra coq 8.16.1-1.1   2023-04-11 11:41:40 2023-04-18 19:37:46  
i686 i686/extra coq-doc 8.16.1-1.1   2023-04-11 11:41:40 2023-04-18 19:37:46  
i686 i686/extra coqide 8.16.1-1.1   2023-04-11 11:41:40 2023-04-18 19:37:46