Group Details - coq (pentium4)

3 packages found.

Arch Repo Name Version Bugs Build Date Last Updated Delete
pentium4 pentium4/community coq 8.12.0-2.0   2020-08-30 01:54:18 2020-09-06 03:23:06  
pentium4 pentium4/community coq-doc 8.12.0-2.0   2020-08-30 01:54:18 2020-09-06 03:23:06  
pentium4 pentium4/community coqide 8.12.0-2.0   2020-08-30 01:54:18 2020-09-06 03:23:06