distfiles/libgmp-6.1.2-2-mingw32-dll-10.tar.xz.md5
author Edouard Tisserant <edouard.tisserant@gmail.com>
Thu, 19 May 2022 18:21:12 +0200
changeset 45 20c1c8a59eab
parent 22 07ad3ba42d39
permissions -rw-r--r--
Makefile: Allow overriding revisions IDs through environment, to make it possible to build code comming from non HG repos.
42272c91de90179a88d96a883c90fe6f  libgmp-6.1.2-2-mingw32-dll-10.tar.xz