---
- branch: MAIN
  date: Tue Jan 23 20:01:04 UTC 2024
  files:
  - new: '1.7'
    old: '1.6'
    path: pkgsrc/math/py-z3/Makefile
    pathrev: pkgsrc/math/py-z3/Makefile@1.7
    type: modified
  - new: '1.3'
    old: '1.2'
    path: pkgsrc/math/py-z3/PLIST
    pathrev: pkgsrc/math/py-z3/PLIST@1.3
    type: modified
  - new: '1.20'
    old: '1.19'
    path: pkgsrc/math/z3/Makefile
    pathrev: pkgsrc/math/z3/Makefile@1.20
    type: modified
  - new: '1.7'
    old: '1.6'
    path: pkgsrc/math/z3/Makefile.common
    pathrev: pkgsrc/math/z3/Makefile.common@1.7
    type: modified
  - new: '1.17'
    old: '1.16'
    path: pkgsrc/math/z3/distinfo
    pathrev: pkgsrc/math/z3/distinfo@1.17
    type: modified
  id: 20240123T200104Z.6dbd7c5658ff9a17348b6472f429d80330d822de
  log: |
    z3 py-z3: updated to 4.12.5

    z3-4.12.5

    update release scripts and notes
    track quantifier instantiation method in proof hint
    prepare for release
    add status badge for windows build, remove windows build from Azure pipelines
    add Windows build
    free memory the clean way
    free memory the clean way
    encapsulate anum functionality
    add explicit move constructor to deal with unit test regression test-z3 algebraic on Windows/debug -
    encapsulate mpz a bit more
  module: pkgsrc
  subject: 'CVS commit: pkgsrc/math'
  unixtime: '1706040064'
  user: adam