Opened 4 years ago

Closed 4 years ago

#51229 closed update (fixed)

Update coq to 8.5pl1 -- maintainer patch enclosed

Reported by: pmetzger (Perry E. Metzger) Owned by: macports-tickets@…
Priority: Normal Milestone:
Component: ports Version:
Keywords: haspatch maintainer Cc:
Port: coq

Description (last modified by mf2k (Frank Schima))

Update coq to 8.5pl1. No changes other than the version number and checksum.

Attachments (1)

coq.patch (872 bytes) - added by pmetzger (Perry E. Metzger) 4 years ago.
Patch to upgrade the Portfile

Download all attachments as: .zip

Change History (8)

comment:1 Changed 4 years ago by mf2k (Frank Schima)

Did you test this? It does not fetch for me. Your patch attempts to download p11 but you say p1 in the ticket. The homepage mentions pl1.

comment:2 Changed 4 years ago by pmetzger (Perry E. Metzger)

That makes no sense. I've just looked at my Portfile and my patch and it says p1, not p11. Could this have gotten corrupted on upload?

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

Attachment: coq.patch added

Patch to upgrade the Portfile

comment:3 Changed 4 years ago by pmetzger (Perry E. Metzger)

Okay, I find this incomprehensible but somehow the upload seems to get corrupted. I've replaced it and it still says p11 after uploading even though it says p1 in the file on my local machine. This is a big WTF, but please simply fix the p11 to say p1 and it should work. I'm at a loss as to why the patch has twice failed to upload correctly.

comment:4 Changed 4 years ago by pmetzger (Perry E. Metzger)

No, it's a font issue. It says p*l*1, not p11. The first letter is an "l" not a "1". Duh. Everything is fine. I don't get why the download it isn't working for you.

comment:5 Changed 4 years ago by mf2k (Frank Schima)

Sorry, I think the fault was on my end. I'll try to get to this again soon.

comment:6 Changed 4 years ago by mf2k (Frank Schima)

Description: modified (diff)
Summary: Update coq to 8.5p1 -- maintainer patch enclosedUpdate coq to 8.5pl1 -- maintainer patch enclosed
Version: 2.3.4

comment:7 Changed 4 years ago by mf2k (Frank Schima)

Resolution: fixed
Status: newclosed
Note: See TracTickets for help on using tickets.