Opened 16 years ago

Closed 16 years ago

Last modified 16 years ago

#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.

http://pure-lang.googlecode.com/

Change History (3)

comment:1 Changed 16 years ago by ryandesign (Ryan Carsten Schmidt)

Resolution: fixed
Status: newclosed

Committed in r46298. Very similar to pure-ffi port on which I based it.

comment:2 Changed 16 years ago by jmroot (Joshua Root)

Type: enhancementrequest

comment:3 Changed 16 years ago by (none)

Milestone: Port Requests

Milestone Port Requests deleted

Note: See TracTickets for help on using tickets.