---
- branch: MAIN
  date: Tue Mar 20 15:47:36 UTC 2018
  files:
  - new: '1.1'
    old: '0'
    path: pkgsrc/math/py-z3solver/DESCR
    pathrev: pkgsrc/math/py-z3solver/DESCR@1.1
    type: added
  - new: '1.1'
    old: '0'
    path: pkgsrc/math/py-z3solver/Makefile
    pathrev: pkgsrc/math/py-z3solver/Makefile@1.1
    type: added
  - new: '1.1'
    old: '0'
    path: pkgsrc/math/py-z3solver/PLIST
    pathrev: pkgsrc/math/py-z3solver/PLIST@1.1
    type: added
  - new: '1.1'
    old: '0'
    path: pkgsrc/math/py-z3solver/distinfo
    pathrev: pkgsrc/math/py-z3solver/distinfo@1.1
    type: added
  - new: '1.1'
    old: '0'
    path: pkgsrc/math/py-z3solver/patches/patch-core_scripts_mk__util.py
    pathrev: pkgsrc/math/py-z3solver/patches/patch-core_scripts_mk__util.py@1.1
    type: added
  - new: '1.1'
    old: '0'
    path: pkgsrc/math/py-z3solver/patches/patch-core_src_util_stopwatch.h
    pathrev: pkgsrc/math/py-z3solver/patches/patch-core_src_util_stopwatch.h@1.1
    type: added
  id: 20180320T154736Z.57f54d25b5c0a3c68b120c32d6b2215fc96d7c05
  log: |
    Import math/py-z3solver version 4.5.0.1

    Z3 is a theorem prover from Microsoft Research with support for bitvectors,
    booleans, arrays, floating point numbers, strings, and other data types.

    This is a fork of the original Z3. Unfortunately it conflicts with the math/z3
    package as a result.
  module: pkgsrc
  subject: 'CVS commit: pkgsrc/math/py-z3solver'
  unixtime: '1521560856'
  user: khorben