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 <[email protected]> wrote: > > Matthew Flatt <[email protected]> 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 <[email protected]> . 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 [email protected]. > 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 [email protected]. 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.
