Subject: CVS commit: pkgsrc/math/z3
From: Havard Eidnes
Date: 2024-03-31 00:10:48
Message id: 20240330231048.4E82DFA2C@cvs.NetBSD.org
Log Message:
math/z3: add mk/atomic64.mk, to make this build on NetBSD/macppc.
Files:
RevisionActionfile
1.21modifypkgsrc/math/z3/Makefile