Log message:
deepstate: depends on math/py-z3; bump revision

Log message:
deepstate*: put distinfo into each directory

This allows patches for only some of the packages.

Add patch for deepstate-hongfuzz to make this configure.

Log message:
deepstate: no longer download files during the build

With the update of math/py-smt to version 0.9.5, this package should no
longer download components past the "fetch" phase.

Bump PKGREVISION in the process.

Fixes pkg/56374.

Log message:
py-pysha3: mark as not for python 3.11

This was only ever intended for python < 3.6, but we do have some
users in pkgsrc on newer python versions.

Log message:
*: Revbump packages that use Python at runtime without a PKGNAME prefix

Log message:
archivers: Replace RMD160 checksums with BLAKE2s checksums

All checksums have been double-checked against existing RMD160 and
SHA512 hashes

Could not be committed due to merge conflict:
devel/py-traitlets/distinfo

The following distfiles were unfetchable (note: some may be only fetched
conditionally):

./devel/pvs/distinfo pvs-3.2-solaris.tgz
./devel/eclipse/distinfo eclipse-sourceBuild-srcIncluded-3.0.1.zip

Log message:
devel: Remove SHA1 hashes for distfiles

Log message:
(devel/deepstate) devel/py-smt -> math/py-smt, correct ?

Log message:
deepstate: needs py-smt

Log message:
alpha (obviously) does not have -m32