According to §2.2 Package Sources
<https://docs.racket-lang.org/pkg/Package_Concepts.html#%28part._concept~3asource%29>,
for a Git package source in the syntax
‹scheme›://‹host›/.../‹repo›[.git][/][?path=‹path›][#‹rev›], "the package’s
checksum is the hash identifying ‹rev› if ‹rev› is a branch or tag,
otherwise ‹rev› itself serves as the checksum."


-Philip


On Thu, Jun 13, 2019 at 6:17 PM Eric Eide <[email protected]> wrote:

> Sam Tobin-Hochstadt <[email protected]> writes:
>
> > What do you need the hash for? Could you get the hash from the package
> > system, for example:
>
> I want to know the ("a") hash so that I can reliably reproduce outputs,
> diagnose crashes, etc.
>
> The package hash might work; thank you for pointing it out!  I'll have to
> investigate how I can easily navigate from a package hash to a particular
> version of the package.  (I.e., the moral equivalent of `git checkout
> <hash>`.)
>
> Eric.
>
> --
>
> -------------------------------------------------------------------------------
> 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/m1o931ruzr.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/CAH3z3gYpw81E2xJ1QaX%2BtgvSj-CZpFV-%3DP3%2BVvxQiDqU0c4qLA%40mail.gmail.com.
For more options, visit https://groups.google.com/d/optout.

Reply via email to