[racket] Need some help with planet package

From: C K Kashyap (ckkashyap at gmail.com)
Date: Sat Nov 15 00:24:34 EST 2014

I am trying to use midi.rkt from
I did the following -

1.  sudo raco planet url clements midi.plt 1 1
2. curl -O url (the url I got form the step 1)
3. I renamed the downloaded file to midi.plt
4. sudo raco planet fileinject midi  midi.plt  1 1

After this I could see the package listed when I did raco planet show.

However I have no clue wrt the "require" I need to do in my racket file.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20141115/b62d542a/attachment.html>

Posted on the users mailing list.