Wed Mar 18 17:57:03 2020 UTC ()
Fix vector to element array conversion


(joerg)
diff -r1.1 -r1.2 pkgsrc/math/py-z3solver/distinfo
cvs diff -r1.1 -r1.2 pkgsrc/math/py-z3solver/Attic/distinfo (expand / switch to unified diff)

--- pkgsrc/math/py-z3solver/Attic/distinfo 2018/03/20 15:47:36 1.1
+++ pkgsrc/math/py-z3solver/Attic/distinfo 2020/03/18 17:57:02 1.2
@@ -1,8 +1,9 @@ @@ -1,8 +1,9 @@
1$NetBSD: distinfo,v 1.1 2018/03/20 15:47:36 khorben Exp $ 1$NetBSD: distinfo,v 1.2 2020/03/18 17:57:02 joerg Exp $
2 2
3SHA1 (z3-solver-4.5.1.0.post2.tar.gz) = 6cc67617079010179308cf8ffe5b0098d4152fdd 3SHA1 (z3-solver-4.5.1.0.post2.tar.gz) = 6cc67617079010179308cf8ffe5b0098d4152fdd
4RMD160 (z3-solver-4.5.1.0.post2.tar.gz) = 97055f883f7567a53517cceda915a4e34d058452 4RMD160 (z3-solver-4.5.1.0.post2.tar.gz) = 97055f883f7567a53517cceda915a4e34d058452
5SHA512 (z3-solver-4.5.1.0.post2.tar.gz) = babbca25de59638c52b91953030cd7af20d1e795af7da760f71bb43940116a4415fdf7208b967bf5eb54435780d21cdc7740faac9cf81cee59005f16f4af09a0 5SHA512 (z3-solver-4.5.1.0.post2.tar.gz) = babbca25de59638c52b91953030cd7af20d1e795af7da760f71bb43940116a4415fdf7208b967bf5eb54435780d21cdc7740faac9cf81cee59005f16f4af09a0
6Size (z3-solver-4.5.1.0.post2.tar.gz) = 3891600 bytes 6Size (z3-solver-4.5.1.0.post2.tar.gz) = 3891600 bytes
7SHA1 (patch-core_scripts_mk__util.py) = 45d2cd60977cfa6b89d9033586b8467af0a79cfd 7SHA1 (patch-core_scripts_mk__util.py) = 45d2cd60977cfa6b89d9033586b8467af0a79cfd
 8SHA1 (patch-core_src_util_lp_permutation__matrix.h) = 2ceb66d811664f5b1396137f3f40579b9c474496
8SHA1 (patch-core_src_util_stopwatch.h) = 3163302c46a6315530f9bfb25be93a1efed814a7 9SHA1 (patch-core_src_util_stopwatch.h) = 3163302c46a6315530f9bfb25be93a1efed814a7