1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
|
z3 (4.4.1-1~deb10u1) buster; urgency=medium
* Non-maintainer upload.
* Rebuild for buster.
-- Andreas Beckmann <anbe@debian.org> Sat, 24 Aug 2019 12:18:35 +0200
z3 (4.4.1-1) unstable; urgency=medium
[ Gianfranco Costamagna ]
* Team Upload
* Upload to unstable
[ Andreas Beckmann ]
* Do not set the SONAME of libz3java.so to libz3.so.4. (Closes: #842892)
-- Gianfranco Costamagna <locutusofborg@debian.org> Sat, 17 Aug 2019 11:05:53 +0200
z3 (4.4.1-0.5~exp1) experimental; urgency=medium
* Package moved to salsa (Closes: #926939)
* Standards-Version updated to 4.2.1
* Fix priority-extra-is-replaced-by-priority-optional warning
* Moved under the llvm umbrella
-- Sylvestre Ledru <sylvestre@debian.org> Tue, 16 Apr 2019 14:30:31 +0200
z3 (4.4.1-0.4) unstable; urgency=medium
* Non-maintainer upload.
* Remove the incorrect Multi-Arch: same of python-z3,
thanks to Helmut Grohne. (Closes: #874237)
-- Adrian Bunk <bunk@debian.org> Sun, 09 Sep 2018 22:28:32 +0300
z3 (4.4.1-0.3) unstable; urgency=medium
* Non-maintainer upload.
[ Fabian Wolff ]
* debian/patches/f02d273ee39ae047222e362c37213d29135dc661.patch:
Fix build failure with new gnu++14 standard. (Closes: #835754)
* debian/patches/27399309009314f56cdfbd8333f287b1a9b7a3a6.patch:
Fix build failure with new compiler and clang. (Closes: #835743)
[ Gianfranco Costamagna ]
* debian/patches/fix-build.patch: tweak the casts a little bit
more to really fix 835743.
-- Gianfranco Costamagna <locutusofborg@debian.org> Sun, 25 Sep 2016 23:06:24 +0200
z3 (4.4.1-0.2) unstable; urgency=medium
* Non-maintainer upload.
* Add patch kfreebsd.patch to attempt to fix a FTBFS on kfreebsd-*.
* Adjust avoid-ocamlopt.patch to remove all calls to ocamlopt.
* Build libz3-cil only where Mono is available.
* Build libz3-jni and libz3-java only where Java is available.
* Remove enable-dotnet.patch and recreate its effect with sed in
debian/rules depending on whether Mono is available or not.
* Disable some tests that might fail on some platforms.
Forwarded: https://github.com/Z3Prover/z3/issues/687
* Enable hardening flags for libz3-ocaml-dev.
-- Fabian Wolff <fabi.wolff@arcor.de> Tue, 19 Jul 2016 23:02:19 +0200
z3 (4.4.1-0.1) unstable; urgency=medium
* Non-maintainer upload.
* New upstream release.
* Remove patches that were fixed upstream:
- signed_char01
- signed_char02
- signed_char03
- signed_char04
- disable_test
- disable_test2
- disable_test3
- disable_test4 (upstream issue has been closed:
https://github.com/Z3Prover/z3/issues/210)
- fix_conflict
* Migrate remaining patches to DEP-3 format.
* Rewrite typos.patch to apply to new version of z3.
* Add patch fix-dotnet-version.patch to fix a FTBFS with Mono caused
by an apparently unsupported version of the .NET framework
(Closes: #808695).
* Add patch disable-tests.patch to disable three potentially failing
tests in src/test/main.cpp.
* Install shared libraries into new libz3-4 package (Closes: #819884).
* Remove ${shlibs:Depends} and ${misc:Pre-Depends} substitution
variables from libz3-dev entry in debian/control.
* Install python files directly into /usr/lib/python2.7/dist-packages/
(Closes: #802272).
* Clean up debian/rules.
* Remove unnecessary version restriction of build dependency
cli-common-dev.
* Fix debian/copyright: Change MIT to Expat and delete file block that
no longer applies (copyright of hamiltonian.py changed).
* Move libz3-ocaml-dev into section ocaml.
* Add preinst scripts to remove directories from older versions to allow
debhelper to install symlinks (Closes: #823573).
* Enable hardening flags in debian/rules.
-- Fabian Wolff <fabi.wolff@arcor.de> Wed, 13 Jul 2016 17:33:19 +0200
z3 (4.4.0-5) unstable; urgency=low
* Add fixes for tests previously failing on ARM, PowerPC
-- Michael Tautschnig <mt@debian.org> Sun, 04 Oct 2015 10:57:27 +0100
z3 (4.4.0-4) unstable; urgency=low
* Add libz3-jni package to split out arch-specific files from java package.
(Closes: #797515)
* Don't claim multi-arch compatibilty of libz3-cil. (Closes: #797514)
* ocamlopt isn't universally available, and never actually used in the build
process.
-- Michael Tautschnig <mt@debian.org> Fri, 04 Sep 2015 13:55:20 +0100
z3 (4.4.0-3) unstable; urgency=low
* De-duplicate files in python-z3, depend on libz3-dev instead
* Added bindings for java, OCaml, and .NET
* Use multi-arch library locations
-- Michael Tautschnig <mt@debian.org> Thu, 27 Aug 2015 15:18:46 +0100
z3 (4.4.0-2) unstable; urgency=low
* Added __init__.py. Thanks Andrea Villa for the hints. (Closes: #791604)
* Use emmintrin.h conditionally only (Closes: #789881)
-- Michael Tautschnig <mt@debian.org> Tue, 07 Jul 2015 08:08:48 +0100
z3 (4.4.0-1) unstable; urgency=low
* Initial release (Closes: #786807)
* Includes patches from unstable branch up to 6a50f10b8b
-- Michael Tautschnig <mt@debian.org> Wed, 17 Jun 2015 21:40:44 +0100
|
