Great, thank you!
Yes, I'm also hoping that the package will migrate quickly and smoothly. But
the results so far (e. g. it builds on all release architectures) look
promising!
On 9/4/19 12:24 PM, Gianfranco Costamagna wrote:
> git was already correct, I sponsored it!
>
> lets hope it
control: owner -1 !control: tags -1 moreinfo
Hello Fabian,
I tried many times to update it, would you mind pushing your work directly on
the pkg-llvm repository?
In the meanwhile I'm having a look at your work
Gianfranco
Il martedì 27 agosto 2019, 19:39:28 CEST, Matthew Fernandez
ha
> On Aug 27, 2019, at 08:48, Fabian Wolff wrote:
>
> On 8/27/19 4:00 PM, Matthew Fernandez wrote:
>>> z3 (4.8.4-0.1) unstable; urgency=medium
>>
>> I am not a z3 dev, but the latest z3 release is 4.8.5. Is there a
>> particular motivation for uploading a 4.8.4-based release?
>
> Thanks for
On 8/27/19 4:00 PM, Matthew Fernandez wrote:
>> z3 (4.8.4-0.1) unstable; urgency=medium
>
> I am not a z3 dev, but the latest z3 release is 4.8.5. Is there a
> particular motivation for uploading a 4.8.4-based release?
Thanks for pointing this out; I did not notice this, because I was
using
> On Aug 27, 2019, at 06:27, Fabian Wolff wrote:
>
> Package: sponsorship-requests
> Severity: normal
> X-Debbugs-CC: m...@debian.org
> X-Debbugs-CC: locutusofb...@debian.org
>
> Dear mentors,
>
> I am looking for a sponsor for a non-maintainer upload of the z3 package.
>
> The z3 package
Package: sponsorship-requests
Severity: normal
X-Debbugs-CC: m...@debian.org
X-Debbugs-CC: locutusofb...@debian.org
Dear mentors,
I am looking for a sponsor for a non-maintainer upload of the z3 package.
The z3 package is several years out of date (see #909494), and it is maintained
in a
6 matches
Mail list logo
