--- - branch: MAIN date: Sun Aug 1 14:47:25 UTC 2021 files: - new: '1.5' old: '1.4' path: pkgsrc/devel/deepstate/Makefile pathrev: pkgsrc/devel/deepstate/Makefile@1.5 type: modified id: 20210801T144725Z.8c1110d56a3714eb84d658d7a2337a3282dec742 log: | (devel/deepstate) devel/py-smt -> math/py-smt, correct ? module: pkgsrc subject: 'CVS commit: pkgsrc/devel/deepstate' unixtime: '1627829245' user: mef