Hi,
> thanks for the patches!
> (feel free to ping directly in case of RC bug fixes if you need a sponsor!)
>
at the end I'm uploading it with a new couple of casts (and patches forwarded
upstream).
I hope I did the cast correctly, the build is fine now.
G.
diff -Nru z3-4.4.1/debian/changelog
Control: tags -1 +pending
On Wed, 14 Sep 2016 18:20:38 +0200 Fabian Wolff wrote:
> Control: tags -1 + upstream patch fixed-upstream
>
Hi,
the following debdiff is being build-tested and uploaded on deferred/2
thanks for the patches!
(feel free to ping directly in case of
Control: tags -1 + upstream patch fixed-upstream
Hi,
the following patch fixes this issue:
--- a/src/util/mpz.cpp
+++ b/src/util/mpz.cpp
@@ -134,7 +134,7 @@
#endif
mpz one(1);
-set(m_two64, UINT64_MAX);
+set(m_two64, static_cast(UINT64_MAX));
add(m_two64, one, m_two64);
Source: z3
Version: 4.4.1-0.2
Severity: serious
Tags: stretch sid
User: debian...@lists.debian.org
Usertags: qa-ftbfs-20160828 qa-ftbfs
Justification: FTBFS on amd64
Hi,
During a rebuild of all packages in sid, your package failed to build on
amd64.
Relevant part (hopefully):
> make[2]:
4 matches
Mail list logo