CVSROOT: /cvs Module name: ports Changes by: [email protected] 2026/02/09 17:19:18
Modified files:
math/z3 : Makefile
Log message:
math/z3: fixed typo in SHARED_LIBS
CVSROOT: /cvs Module name: ports Changes by: [email protected] 2026/02/09 17:19:18
Modified files:
math/z3 : Makefile
Log message:
math/z3: fixed typo in SHARED_LIBS