Opened 8 years ago
Last modified 8 years ago
#51229 closed update
Update coq to 8.5p1 -- maintainer patch enclosed — at Initial Version
| Reported by: | pmetzger (Perry E. Metzger) | Owned by: | macports-tickets@… |
|---|---|---|---|
| Priority: | Normal | Milestone: | |
| Component: | ports | Version: | |
| Keywords: | haspatch maintainer | Cc: | |
| Port: | coq |
Description
Update coq to 8.5p1. No changes other than the version number and checksum.
Note: See
TracTickets for help on using
tickets.