--- - branch: MAIN date: Wed Feb 21 10:50:35 UTC 2024 files: - new: '1.8' old: '1.7' path: pkgsrc/math/z3/Makefile.common pathrev: pkgsrc/math/z3/Makefile.common@1.8 type: modified - new: '1.5' old: '1.4' path: pkgsrc/math/z3/buildlink3.mk pathrev: pkgsrc/math/z3/buildlink3.mk@1.5 type: modified id: 20240221T105035Z.519611baff423cafa842efc85ce829cd902fe575 log: "z3: Requires a C++17 compiler\n" module: pkgsrc subject: 'CVS commit: pkgsrc/math/z3' unixtime: '1708512635' user: nia