(sorry, sending this again because I forgot to CC the bugtracker)
Hi Julien.
Thank you for your thorough comments, I really appreciate it!
I hope that the quality of my patches increase in time so please bear
with me for a bit :)
On 13-02-19 12:04, Julien Lepiller wrote:
We cannot use auto-generated tarballs from github, because we found
that
they sometimes get regenerated in an unreproducible way, so it breaks
the
checksum test. You can use this instead:
(method git-fetch)
(uri (git-reference
(url "https://githu.com/mattam82/Coq-Equations.git")
(commit (string-append "v" version "-8.8"))))
and update the sha256 accordingly. As an added bonus, this means that
we
can always fetch from the software heritage in case the repo
disappears
one day :)
I was not aware of that. How can I get the sha256 hash in this case?
Normally I would do `guix download <url>`.