Group Details - coq (pentium4)

3 packages found.

Arch Repo Name Version Bugs Build Date Last Updated Delete
pentium4 pentium4/community coq 8.16.1-1.0   2023-01-07 15:14:46 2023-01-07 15:16:42  
pentium4 pentium4/community coq-doc 8.16.1-1.0   2023-01-07 15:14:46 2023-01-07 15:16:42  
pentium4 pentium4/community coqide 8.16.1-1.0   2023-01-07 15:14:46 2023-01-07 15:16:42