Revision 7b9fdf852c1c69085b9ac85faeefe67b093d66c6 authored by Valentin Churavy on 10 September 2023, 01:51:57 UTC, committed by GitHub on 10 September 2023, 01:51:57 UTC
1 parent bbbcc4f
Raw File
gmp.version
## jll artifact
GMP_JLL_NAME := GMP

## source build
GMP_VER := 6.2.1
back to top