Group Details - coq (i686)
3 packages found.
| Arch | Repo | Name | Version | Bugs | Build Date | Last Updated | Delete |
|---|---|---|---|---|---|---|---|
| i686 | i686/extra | coq | 8.16.1-1.1 | 2023-04-11 11:41:40 | 2023-04-18 19:37:46 | ||
| i686 | i686/extra | coq-doc | 8.16.1-1.1 | 2023-04-11 11:41:40 | 2023-04-18 19:37:46 | ||
| i686 | i686/extra | coqide | 8.16.1-1.1 | 2023-04-11 11:41:40 | 2023-04-18 19:37:46 |