What do you need the hash for? Could you get the hash from the package system, for example:
> (require pkg/lib) > (pkg-info-checksum (hash-ref (installed-pkg-table) "z3")) "84059a4428454cc6edd57865befaedb1d29dedce" Sam On Thu, Jun 13, 2019 at 2:59 PM Eric Eide <ee...@cs.utah.edu> wrote: > > Matthew Flatt <mfl...@cs.utah.edu> writes: > > > The simplistic answer is that `git-checkout` doesn't support a `git > > archive`-like mode. And a practical answer is that no one is likely to > > implement it in the near term. :) > > Thanks for the explanation! > > As you might have guessed, my goal is to figure out how to insert a git commit > hash into a package installed in the "non-developer way." > > -- > ------------------------------------------------------------------------------- > Eric Eide <ee...@cs.utah.edu> . University of Utah School of > Computing > http://www.cs.utah.edu/~eeide/ . +1 (801) 585-5512 voice, +1 (801) 581-5843 > FAX > > -- > 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. > To view this discussion on the web visit > https://groups.google.com/d/msgid/racket-users/m1tvcttipk.fsf%40gris-dmz.flux.utah.edu. > For more options, visit https://groups.google.com/d/optout. -- 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. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/CAK%3DHD%2BYWp5JV%2BGD43MqNKVf3jZ%3DiRsywySOR6GGXHC0o%3DNX1Ug%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
