Opened 15 years ago
Closed 15 years ago
#21415 closed update (fixed)
coq-8.2 Upgrade to coq8.2pl1
| Reported by: | kiyoshi.coquser@… | Owned by: | reilles@… |
|---|---|---|---|
| Priority: | Normal | Milestone: | |
| Component: | ports | Version: | 1.8.0 |
| Keywords: | Cc: | roederja | |
| Port: | coq |
Description
Coq 8.2pl1 has been released: http://coq.inria.fr/coq-82pl1-is-out
I have attached a Portfile patch.
This includes variants proposed in the Ticket #19255.
To avoid doc-variant build error, latex_fliter patch is required.
Attachments (2)
Change History (7)
Changed 15 years ago by kiyoshi.coquser@…
| Attachment: | patch-doc-tools-latex_filter.diff added |
|---|
comment:1 Changed 15 years ago by blb@…
| Owner: | changed from macports-tickets@… to reilles@… |
|---|
comment:3 follow-up: 4 Changed 15 years ago by roederja
I can't apply the patch, I get patch: malformed patch at line 54
Changed 15 years ago by kiyoshi.coquser@…
| Attachment: | Portfile.diff added |
|---|
Coq 8.2pl1 patch (revised)
comment:4 Changed 15 years ago by kiyoshi.coquser@…
Replying to jann@…:
I can't apply the patch, I get patch: malformed patch at line 54
Oh, sorry. I have revised Portfile.diff. Please try it.
comment:5 Changed 15 years ago by roederja
| Resolution: | → fixed |
|---|---|
| Status: | new → closed |
Committed in r58218 . Thnaks. What was wrong with the patch file ?
Note: See
TracTickets for help on using
tickets.
latex_filter patch