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