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 |