---
- branch: MAIN
  date: Sun Sep 25 11:01:34 UTC 2022
  files:
  - new: '1.17'
    old: '1.16'
    path: pkgsrc/math/z3/Makefile
    pathrev: pkgsrc/math/z3/Makefile@1.17
    type: modified
  - new: '1.13'
    old: '1.12'
    path: pkgsrc/math/z3/distinfo
    pathrev: pkgsrc/math/z3/distinfo@1.13
    type: modified
  - new: '1.1'
    old: '0'
    path: pkgsrc/math/z3/patches/patch-src_parsers_util_scanner.cpp
    pathrev: pkgsrc/math/z3/patches/patch-src_parsers_util_scanner.cpp@1.1
    type: added
  - new: '1.1'
    old: '0'
    path: pkgsrc/math/z3/patches/patch-src_parsers_util_scanner.h
    pathrev: pkgsrc/math/z3/patches/patch-src_parsers_util_scanner.h@1.1
    type: added
  - new: '1.3'
    old: '0'
    path: pkgsrc/math/z3/patches/patch-src_util_mpz.cpp
    pathrev: pkgsrc/math/z3/patches/patch-src_util_mpz.cpp@1.3
    type: added
  id: 20220925T110134Z.384e518393fd2c8a1ffc86e212cecdf8474afd53
  log: |
    math/z3: make this build on NetBSD/macppc 9.99.99.

    Fixes two issues:
     * <immintrin.h> is only available on amd64 and i386 (I think...)
     * The scanner depends on signed chars a number of places.  Sprinkle
       "signed" a minimal set of places to make this explicit, to deal
       with powerpc where "char" == "unsigned char".
    Bump PKGREVISION.
  module: pkgsrc
  subject: 'CVS commit: pkgsrc/math/z3'
  unixtime: '1664103694'
  user: he