Opened 16 months ago
#66647 assigned defect
Maybe update Coq? 8.13 in Macports vs 8.16 upstream release
| Reported by: | barracuda156 | Owned by: | pmetzger (Perry E. Metzger) |
|---|---|---|---|
| Priority: | Normal | Milestone: | |
| Component: | ports | Version: | 2.8.0 |
| Keywords: | Cc: | ||
| Port: | coq |
Description
I have found some algebra-related ports which depend on Coq, and some seem to require at least 8.14. Maybe time to update it?
Note: See
TracTickets for help on using
tickets.