---
- branch: MAIN
  date: Sat Jul 16 04:02:13 UTC 2016
  files:
  - new: '1.2'
    old: '1.1'
    path: pkgsrc/math/z3/distinfo
    pathrev: pkgsrc/math/z3/distinfo@1.2
    type: modified
  - new: '1.1'
    old: '0'
    path: pkgsrc/math/z3/patches/patch-src_util_debug.cpp
    pathrev: pkgsrc/math/z3/patches/patch-src_util_debug.cpp@1.1
    type: added
  - new: '1.1'
    old: '0'
    path: pkgsrc/math/z3/patches/patch-src_util_mpz.cpp
    pathrev: pkgsrc/math/z3/patches/patch-src_util_mpz.cpp@1.1
    type: added
  id: 20160716T040213Z.4d187b3ab9019554b0c82264299f56291455b208
  log: "gcc6 build fix\n"
  module: pkgsrc
  subject: 'CVS commit: pkgsrc/math/z3'
  unixtime: '1468641733'
  user: markd