#18320 closed request (fixed)
pure-gsl: make a port
| Reported by: | ryandesign (Ryan Carsten Schmidt) | Owned by: | ryandesign (Ryan Carsten Schmidt) |
|---|---|---|---|
| Priority: | Normal | Milestone: | |
| Component: | ports | Version: | 1.7.0 |
| Keywords: | Cc: | ||
| Port: | pure-gsl |
Description
Make a port for pure-gsl.
Change History (3)
comment:1 Changed 15 years ago by ryandesign (Ryan Carsten Schmidt)
| Resolution: | → fixed |
|---|---|
| Status: | new → closed |
comment:2 Changed 15 years ago by jmroot (Joshua Root)
| Type: | enhancement → request |
|---|
Note: See
TracTickets for help on using
tickets.
Committed in r46298. Very similar to pure-ffi port on which I based it.