Group Details - coq (pentium4)

3 packages found.

Arch Repo Name Version Bugs Build Date Last Updated Delete
pentium4 pentium4/extra coq 8.16.1-1.1   2023-04-11 11:42:13 2023-04-18 19:12:39  
pentium4 pentium4/extra coq-doc 8.16.1-1.1   2023-04-11 11:42:13 2023-04-18 19:12:39  
pentium4 pentium4/extra coqide 8.16.1-1.1   2023-04-11 11:42:13 2023-04-18 19:12:39