--- - branch: MAIN date: Tue Mar 20 15:50:45 UTC 2018 files: - new: '1.375' old: '1.374' path: pkgsrc/math/Makefile pathrev: pkgsrc/math/Makefile@1.375 type: modified id: 20180320T155045Z.5c48285b7b4d50ec41d61433e56129eee21872d0 log: "Add py-z3solver\n" module: pkgsrc subject: 'CVS commit: pkgsrc/math' unixtime: '1521561045' user: khorben