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	…
malloc.patch	…