[MacPorts] #51229: Update coq to 8.5p1 -- maintainer patch enclosed
#51229: Update coq to 8.5p1 -- maintainer patch enclosed ---------------------------------+-------------------------------- Reporter: perry@… | Owner: macports-tickets@… Type: update | Status: new Priority: Normal | Milestone: Component: ports | Version: 2.3.4 Keywords: haspatch maintainer | Port: coq ---------------------------------+-------------------------------- Update coq to 8.5p1. No changes other than the version number and checksum. -- Ticket URL: <https://trac.macports.org/ticket/51229> MacPorts <https://www.macports.org/> Ports system for OS X
#51229: Update coq to 8.5p1 -- maintainer patch enclosed ----------------------+--------------------------------- Reporter: perry@… | Owner: macports-tickets@… Type: update | Status: new Priority: Normal | Milestone: Component: ports | Version: 2.3.4 Resolution: | Keywords: haspatch maintainer Port: coq | ----------------------+--------------------------------- Comment (by mf2k@…): 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. -- Ticket URL: <https://trac.macports.org/ticket/51229#comment:1> MacPorts <https://www.macports.org/> Ports system for OS X
#51229: Update coq to 8.5p1 -- maintainer patch enclosed ----------------------+--------------------------------- Reporter: perry@… | Owner: macports-tickets@… Type: update | Status: new Priority: Normal | Milestone: Component: ports | Version: 2.3.4 Resolution: | Keywords: haspatch maintainer Port: coq | ----------------------+--------------------------------- Comment (by perry@…): 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? -- Ticket URL: <https://trac.macports.org/ticket/51229#comment:2> MacPorts <https://www.macports.org/> Ports system for OS X
#51229: Update coq to 8.5p1 -- maintainer patch enclosed ----------------------+--------------------------------- Reporter: perry@… | Owner: macports-tickets@… Type: update | Status: new Priority: Normal | Milestone: Component: ports | Version: 2.3.4 Resolution: | Keywords: haspatch maintainer Port: coq | ----------------------+--------------------------------- Comment (by perry@…): 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. -- Ticket URL: <https://trac.macports.org/ticket/51229#comment:3> MacPorts <https://www.macports.org/> Ports system for OS X
#51229: Update coq to 8.5p1 -- maintainer patch enclosed ----------------------+--------------------------------- Reporter: perry@… | Owner: macports-tickets@… Type: update | Status: new Priority: Normal | Milestone: Component: ports | Version: 2.3.4 Resolution: | Keywords: haspatch maintainer Port: coq | ----------------------+--------------------------------- Comment (by perry@…): 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. -- Ticket URL: <https://trac.macports.org/ticket/51229#comment:4> MacPorts <https://www.macports.org/> Ports system for OS X
#51229: Update coq to 8.5p1 -- maintainer patch enclosed ----------------------+--------------------------------- Reporter: perry@… | Owner: macports-tickets@… Type: update | Status: new Priority: Normal | Milestone: Component: ports | Version: 2.3.4 Resolution: | Keywords: haspatch maintainer Port: coq | ----------------------+--------------------------------- Comment (by mf2k@…): Sorry, I think the fault was on my end. I'll try to get to this again soon. -- Ticket URL: <https://trac.macports.org/ticket/51229#comment:5> MacPorts <https://www.macports.org/> Ports system for OS X
#51229: Update coq to 8.5pl1 -- maintainer patch enclosed ----------------------+--------------------------------- Reporter: perry@… | Owner: macports-tickets@… Type: update | Status: new Priority: Normal | Milestone: Component: ports | Version: Resolution: | Keywords: haspatch maintainer Port: coq | ----------------------+--------------------------------- Changes (by mf2k@…): * version: 2.3.4 => Old description:
Update coq to 8.5p1. No changes other than the version number and checksum.
New description: Update coq to 8.5pl1. No changes other than the version number and checksum. -- -- Ticket URL: <https://trac.macports.org/ticket/51229#comment:6> MacPorts <https://www.macports.org/> Ports system for OS X
#51229: Update coq to 8.5pl1 -- maintainer patch enclosed ----------------------+--------------------------------- Reporter: perry@… | Owner: macports-tickets@… Type: update | Status: closed Priority: Normal | Milestone: Component: ports | Version: Resolution: fixed | Keywords: haspatch maintainer Port: coq | ----------------------+--------------------------------- Changes (by mf2k@…): * status: new => closed * resolution: => fixed Comment: r148091 -- Ticket URL: <https://trac.macports.org/ticket/51229#comment:7> MacPorts <https://www.macports.org/> Ports system for OS X
participants (1)
-
MacPorts