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
Raw File
gmp.version
# -*- makefile -*-
## jll artifact
GMP_JLL_NAME := GMP

## source build
GMP_VER := 6.3.0
back to top