Group Details - coq (pentium4)

6 packages found.

Arch Repo Name Version Bugs Build Date Last Updated Delete
pentium4 pentium4/community coq 8.10.1-1.0   2019-12-06 12:48:25 2020-03-10 09:52:50  
pentium4 pentium4/community-testing coq 8.11.0-1.0   2020-01-29 03:24:05 2020-03-19 20:49:18  
pentium4 pentium4/community coq-doc 8.10.1-1.0   2019-12-06 12:48:25 2020-03-10 09:52:50  
pentium4 pentium4/community-testing coq-doc 8.11.0-1.0   2020-01-29 03:24:05 2020-03-19 20:49:18  
pentium4 pentium4/community coqide 8.10.1-1.1   2019-12-10 16:35:20 2020-03-10 09:52:50  
pentium4 pentium4/community-testing coqide 8.11.0-1.0   2020-01-29 03:24:05 2020-03-19 20:49:18