Opened 9 years ago
Closed 9 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)
Change History (8)
comment:1 Changed 9 years ago by mf2k (Frank Schima)
comment:2 Changed 9 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 9 years ago by pmetzger (Perry E. Metzger)
Patch to upgrade the Portfile
comment:3 Changed 9 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 9 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 9 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 9 years ago by mf2k (Frank Schima)
| Description: | modified (diff) |
|---|---|
| Summary: | Update coq to 8.5p1 -- maintainer patch enclosed → Update coq to 8.5pl1 -- maintainer patch enclosed |
| Version: | 2.3.4 |
comment:7 Changed 9 years ago by mf2k (Frank Schima)
| Resolution: | → fixed |
|---|---|
| Status: | new → closed |
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.