On 02/17/2016 10:39 AM, Brian Adkins wrote:
On Wednesday, February 17, 2016 at 10:35:44 AM UTC-5, Brian Adkins wrote:
On Wednesday, February 17, 2016 at 10:20:21 AM UTC-5, Neil Van Dyke wrote:
Brian Adkins wrote on 02/17/2016 10:04 AM:
http://www.neilvandyke.org/racket-html-parsing/
takes me to Neil's page with a more recent history: PLaneT 3:0 — 2015-04-24 and
the following require:
(require (planet neil/html-parsing:3:0))
Which package do I want?
You might prefer that one, from PLaneT, since that's the one I support.
(I think what happened with the other one is that someone was
experimenting with the new package system catalog early on, and used my
`html-parsing` package as an exercise. Eventually I'll move my packages
to the new system, but there are complications I need to find time to
deal with.)
Neil V.
1) May I suggest we remove the out of date html-parsing package from the main
package catalog? Had I not had the hiccup with the catalog server, I likely
would've installed the out of date package and not realize what I'd done.
I expect most newbies assume that https://pkgs.racket-lang.org/ is where you go
for packages, so if they find html-parsing there they probably think they've
found the correct one.
2) I'm not familiar with planet. What is the equivalent of "raco pkg install
html-parsing" in the planet world? Also, what is the equivalent of (require
(prefix-in h: html-parsing)) for the planet required (i.e. prefixing).
Thanks!
Brian
Also, is there a website where I can browse planet packages and get more info?
I tried:
https://planet.racket-lang.org/
but got a 503 Service Unavailable message. Since Ben mentioned in another
thread that the package catalog was back online, I figured the above 503 is
unrelated to the earlier problem.
planet.racket-lang.org is now back up too.
Ryan
--
You received this message because you are subscribed to the Google Groups "Racket
Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
For more options, visit https://groups.google.com/d/optout.