Ricardo M. Correia 8912beda2d replace: fix URL and hash ...

The old URL wasn't available anymore.

There is a minor version change but it's only an unimportant change to
the Makefile and some changes to the documentation.

(cherry picked from commit 908569cf06beed517f5f0f3038ab044aae2e5d76)

2021-06-05 23:43:33 +00:00

..

default.nix

replace: fix URL and hash

2021-06-05 23:43:33 +00:00

malloc.patch

…