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 |