Re: [racket-users] Package not updating after push?
Awesome, thanks! On Tue, Feb 12, 2019 at 10:49 AM Jay McCarthy wrote: > > There was an internal error, but it is fixed now. Thanks! > > On Mon, Feb 11, 2019 at 5:37 PM David Storrs wrote: > > > > I've pushed some enhancements to the struct-plus-plus package but the > > package server is not picking them up. I've updated the version > > number in info.rkt and I've done "Rescan all my packages" twice. What > > should I do? > > > > -- > > 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. > > > > -- > -=[ Jay McCarthy http://jeapostrophe.github.io]=- > -=[ Associate ProfessorPLT @ CS @ UMass Lowell ]=- > -=[ Moses 1:33: And worlds without number have I created; ]=- -- 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.
Re: [racket-users] Package not updating after push?
There was an internal error, but it is fixed now. Thanks! On Mon, Feb 11, 2019 at 5:37 PM David Storrs wrote: > > I've pushed some enhancements to the struct-plus-plus package but the > package server is not picking them up. I've updated the version > number in info.rkt and I've done "Rescan all my packages" twice. What > should I do? > > -- > 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. -- -=[ Jay McCarthy http://jeapostrophe.github.io]=- -=[ Associate ProfessorPLT @ CS @ UMass Lowell ]=- -=[ Moses 1:33: And worlds without number have I created; ]=- -- 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.
[racket-users] Package not updating after push?
I've pushed some enhancements to the struct-plus-plus package but the package server is not picking them up. I've updated the version number in info.rkt and I've done "Rescan all my packages" twice. What should I do? -- 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.