At Thu, 25 Apr 2019 15:02:31 -0700, Matthew Butterick wrote: > 1) HEAD and HEADCS don't work — they rely on the snapshot servers > (Northwestern and Utah, respectively), which apparently (?) do not have > "natipkg" builds (??)
The Utah variant turns out to end in "-natipkg-precise" instead of just "-natipkg", where "precise" is the Linux distribution used to build. And Northwestern's is "-natipkg-wheezy" for the analogous reason. I'm not sure whether it's better to keep the distro part of the name to reflect build information or to drop the distro part to make the names the same. -- 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.
