Opened 8 years ago

Closed 8 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) 8 years ago.

Download all attachments as: .zip

Change History (3)

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

Attachment: coq.patch added

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

Owner: changed from macports-tickets@… to larryv
Status: newaccepted
Summary: Upgrade coq to 8.5pl3coq @8.5pl2: update to 8.5pl3
Type: defectupdate
Version: 2.3.4

Thanks!

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

Resolution: fixed
Status: acceptedclosed

In 0da44e8/macports-ports:

coq: Update to 8.5pl3

Closes: #52843

Note: See TracTickets for help on using tickets.