Opened 7 years ago

Closed 7 years ago

#52843 closed update (fixed)

coq @8.5pl2: update to 8.5pl3

Reported by: pmetzger (Perry E. Metzger) Owned by: larryv (Lawrence Velázquez)
Priority: Normal Milestone:
Component: ports Version:
Keywords: haspatch maintainer Cc:
Port: coq

Description

Please upgrade coq to 8.5pl3. I am the maintainer, and have included a patch, which does nothing but bump the version number and change the checksums.

Attachments (1)

coq.patch​ (875 bytes) - added by pmetzger (Perry E. Metzger) 7 years ago.

Download all attachments as: .zip

Change History (3)

Changed 7 years ago by pmetzger (Perry E. Metzger)

Attachment: coq.patch​ added

comment:1 Changed 7 years ago by larryv (Lawrence Velázquez)

Owner: changed from macports-tickets@… to larryv
Status: new → accepted
Summary: Upgrade coq to 8.5pl3 → coq @8.5pl2: update to 8.5pl3
Type: defect → update
Version: 2.3.4

Thanks!

comment:2 Changed 7 years ago by larryv (Lawrence Velázquez)

Resolution: → fixed
Status: accepted → closed

In 0da44e8/macports-ports:

coq: Update to 8.5pl3

Closes: #52843

Note: See TracTickets for help on using tickets.