pkgsrc/math/z3
joerg e7465fb09a Explicitly read files as unicode for Python 3. The content is converted
using the system locale with Python 3.6 otherwise, falling back to
ASCII.
2020-05-31 20:49:32 +00:00
..
patches Explicitly read files as unicode for Python 3. The content is converted 2020-05-31 20:49:32 +00:00
buildlink3.mk
DESCR
distinfo Explicitly read files as unicode for Python 3. The content is converted 2020-05-31 20:49:32 +00:00
Makefile
Makefile.common
options.mk
PLIST