DrDr versions of pulled repos?

[John Clements]

I have the distinct feeling that I’ve seen someone ask this question before, but I can’t find the answer in my e-mail, so I’m just going to ask it again. Is there an easy way to see which commit of (say) the htdp/ repo went into a particular DrDr build?

John

[Jay McCarthy]

You look at the `pkg-show` file:

http://drdr.racket-lang.org/52112/pkg-show

--
Jay McCarthy
Associate Professor @ CS @ UMass Lowell
http://jeapostrophe.github.io
Vincit qui se vincit.

On Thu, May 9, 2019 at 5:17 PM 'John Clements' via Racket Developers <racke...@googlegroups.com> wrote:

I have the distinct feeling that I’ve seen someone ask this question before, but I can’t find the answer in my e-mail, so I’m just going to ask it again. Is there an easy way to see which commit of (say) the htdp/ repo went into a particular DrDr build?

John

--
You received this message because you are subscribed to the Google Groups "Racket Developers" group.
To unsubscribe from this group and stop receiving emails from it, send an email to racket-dev+...@googlegroups.com.
To post to this group, send email to racke...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/racket-dev/5941c097-72a7-4ab7-9907-3cf4f262bf85%40mtasv.net.
For more options, visit https://groups.google.com/d/optout.

[John Clements]

Ah! got it. many thanks.

John

> To view this discussion on the web visit https://groups.google.com/d/msgid/racket-dev/CAJYbDanhEn1u%2BCJcisUVPsgq9mag9Kbt6KGCyKF%3DY9uKkgf7Xg%40mail.gmail.com.