Opened 12 years ago
Closed 12 years ago
#38971 closed update (fixed)
leiningen @1.6.1.1: update to 2.1.3
| Reported by: | kikuchy.h@… | Owned by: | ieure@… |
|---|---|---|---|
| Priority: | Normal | Milestone: | |
| Component: | ports | Version: | |
| Keywords: | haspatch | Cc: | cooljeanius (Eric Gallager) |
| Port: | leiningen |
Description
I'm attaching a patch to update leiningen to the latest version 2.1.3. It was installed successfully on my machine. I don't need any changes to "build.xml".
Attachments (1)
Change History (8)
Changed 12 years ago by kikuchy.h@…
| Attachment: | Portfile-leiningen-2.1.3.diff added |
|---|
comment:1 Changed 12 years ago by larryv (Lawrence Velázquez)
| Cc: | ieure removed |
|---|---|
| Owner: | changed from macports-tickets@… to ieure@… |
| Summary: | Leiningen@1.6.1.1: update to 2.1.3 → leiningen @1.6.1.1: update to 2.1.3 |
| Version: | 2.1.3 |
Thanks. The Cc field takes full email addresses.
comment:2 Changed 12 years ago by cooljeanius (Eric Gallager)
If it's hosted on GitHub, shouldn't it use the GitHub portgroup? I suppose that's an issue for another ticket though...
comment:3 follow-up: 4 Changed 12 years ago by kikuchy.h@…
larryv@…
Thank you for teaching me about the rule here. OK, I'll use full email address next time.
egall@…
Sorry, it's first time for me to make a ticket. I don't know about GitHub port group well. What should I do?
comment:4 follow-up: 5 Changed 12 years ago by larryv (Lawrence Velázquez)
Replying to kikuchy.h@…:
Sorry, it's first time for me to make a ticket. I don't know about GitHub port group well. What should I do?
You don’t have to concern yourself with that, but you can read about portgroups in the Guide if you want. Whether a particular port uses any is at the discretion of that port’s maintainer.
comment:5 Changed 12 years ago by kikuchy.h@…
Replying to larryv@…:
You don’t have to concern yourself with that, but you can read about portgroups in the Guide if you want. Whether a particular port uses any is at the discretion of that port’s maintainer.
Thank you for telling about portgroup. I'll post patches if I found some port to update.
comment:7 Changed 12 years ago by larryv (Lawrence Velázquez)
| Resolution: | → fixed |
|---|---|
| Status: | new → closed |
Maintainer timeout; updated in r105954, using github-1.0.
Portfile diff version 1.6.1.1 to 2.1.3