Group Details - coq (i686)
3 packages found.
| Arch | Repo | Name | Version | Bugs | Build Date | Last Updated | Delete |
|---|---|---|---|---|---|---|---|
| i686 | i686/community | coq | 8.16.1-1.0 | 2023-01-07 14:36:43 | 2023-01-07 15:15:59 | ||
| i686 | i686/community | coq-doc | 8.16.1-1.0 | 2023-01-07 14:36:43 | 2023-01-07 15:15:59 | ||
| i686 | i686/community | coqide | 8.16.1-1.0 | 2023-01-07 14:36:43 | 2023-01-07 15:15:59 |