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 racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
