On 1/11/21 3:45 AM, Stuart Prescott wrote:
>> In any case, I've changed my upload to a QA upload now and reuploaded
>> it to Salsa and Mentors.
>
> I see bartm beat me to uploading it.
Are you sure? I didn't receive any emails about an upload, and the
tracker doesn't say anything about a recent u
Hi Stuart,
thanks for having a look at the package!
But no, I do not currently intend to adopt this package. I just
thought I'd try and help with the freeze preparation by fixing the RC
bug in this package.
The reason I created the repository in the Science Team area is that I
have write access
On Mon, 13 Jan 2020 06:21:56 +0100 Helmut Grohne wrote:
> Source: z3
> Version: 4.8.7-3
> Severity: serious
>
> z3 cannot be built on buildds, because its Build-Depends cannot be
> satisfied on buildds. Failing to build on buildds is a serious problem.
It builds now on all but three architecture
ld be better to unpackage said package version.
> Given that 4.8.6 is ready to be packaged thanks to the work of
> Fabian Wolff, it may be good to proceed with that.
thanks for pointing this out to me.
4.8.6 is ready and uploaded, but because it introduced the new python3-z3
package,
it's sti
Hi Jonathan,
On Fri, 29 Jun 2018 22:21:54 +0100, Jonathan Wiltshire wrote:
> Would you like to co-maintain? If so, please add yourself to uploaders and
> prepare a maintainer upload (rather than NMU). I added you to the
> repository members in anticipation.
Thanks. In principle, I'd be interested
Hi,
since there has not been any progress on this for a while now, I have
decided to prepare a non-maintainer upload myself, including the
latest upstream release, 1.1.24, as well as some minor maintenance
work.
Jonathan, could you have a look at this? Of course I won't upload a
NMU without your
ae6e663bf0da02aecd319407150e8c85993066db
Author: Fabian Wolff
Date: Mon Aug 21 22:39:11 2017 +0200
Add build-dependency on latexmk
diff --git a/debian/changelog b/debian/changelog
index 0d1fb66..94d1f86 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -5,6 +5,7 @@ squirrel3 (3.1-5) UNRELEASED; urgency=medium
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);
Control: tags = patch fixed-upstream
Hi,
the issue here is that GCC 6 defaults to -std=gnu++14. Since C++11,
std::basic_ios no longer provides an implicit void* operator but only
an explicit bool operator. Therefore, the problem can be fixed with
this patch:
--- a/src/util/debug.cpp
+++ b/src/ut
d7119816ccf21340a6f2b659409b36996ae0afcc
Author: Fabian Wolff
Date: Fri Jul 22 13:33:16 2016 +0200
Delete symbols file to fix a FTBFS with GCC 6
diff --git a/debian/changelog b/debian/changelog
index 0799887..dab0e6b 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+squirrel3 (3.1-4) UNRELEASED
ed1ef7a724a3fe1ae98bf95b46a9383ee1a044aa
Author: Fabian Wolff
Date: Wed Jun 29 15:57:05 2016 +0200
Add texlive-generic-extra as build dependency to fix FTBFS with new sphinx
version
diff --git a/debian/changelog b/debian/changelog
index 48a8b64..d704145 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,8 +1,10
11 matches
Mail list logo
