Revision 024678ddabe7c9d8e5e4c3d326c0bdb9cabdcfc5 authored by d-netto on 21 March 2024, 21:44:47 UTC, committed by Diogo Netto on 22 March 2024, 22:44:38 UTC
1 parent c712a7c
gmp.version
# -*- makefile -*-
## jll artifact
GMP_JLL_NAME := GMP
## source build
GMP_VER := 6.3.0
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...