---
- branch: MAIN
  date: Tue Feb 27 08:34:16 UTC 2018
  files:
  - new: '1.7'
    old: '1.6'
    path: pkgsrc/math/z3/Makefile
    pathrev: pkgsrc/math/z3/Makefile@1.7
    type: modified
  id: 20180227T083416Z.55cd7defc424bc19769855dfedf86dc48a0d9bdf
  log: |
    z3: forbid python 3.x

    First complains about indentation problems, then about reading
    non-ASCII bytes.
  module: pkgsrc
  subject: 'CVS commit: pkgsrc/math/z3'
  unixtime: '1519720456'
  user: wiz