Your message dated Sun, 29 Sep 2019 22:08:48 +0200
with message-id <[email protected]>
and subject line Re: Bug#941367: RFS: z3 4.8.6-1 -- theorem prover from
Microsoft Research
has caused the Debian Bug report #941367,
regarding RFS: z3 4.8.6-1 -- theorem prover from Microsoft Research
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact [email protected]
immediately.)
--
941367: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=941367
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: sponsorship-requests
Severity: normal
X-Debbugs-CC: [email protected], [email protected], [email protected],
[email protected]
Dear mentors,
I am looking for a sponsor for an upload of the z3 package.
The current maintainer, Michael Tautschnig, is apparently not active anymore,
because
he has not made an upload for this package for several years now, and didn't
respond
to any of my emails. Because I'd already made several non-maintainer uploads
for this
package in the past, I decided to add myself as co-maintainer (I have added
Michael in
the X-Debbugs-CC above just to be sure).
My changes are summarized in the latest changelog entry:
z3 (4.8.6-1) unstable; urgency=medium
* New upstream release.
* Make watch file more robust (match (z3|Z3) instead of just z3).
* Add myself to Uploaders in debian/control.
* Drop the libz3-cil package (not all build dependencies are available
in Debian; also see the discussion in #886590).
* Update/refresh patches.
* Drop python-z3 package and replace it with python3-z3
(Closes: #886590, #938876).
* Enable autopkgtest package testing and add several superficial and
non-superficial test cases.
* Add -fPIC to DEB_CXXFLAGS_MAINT_APPEND in an attempt to fix #940266.
* Try to make the build more reproducible.
-- Fabian Wolff <[email protected]> Sun, 29 Sep 2019 18:21:54 +0200
In particular, I've introduced the new python3-z3 package, so whoever decides to
sponsor this upload, please remember to also upload binaries, because the
package has
to go through the NEW queue.
My changes are on Salsa (I'll push to the actual repository once somebody has
given
me sufficient ("Maintainer") permissions to do so), and also on Mentors:
https://salsa.debian.org/wolff-guest/z3
https://mentors.debian.net/package/z3
Thanks for your help!
Best regards,
Fabian
--- End Message ---
--- Begin Message ---
On Sun, Sep 29, 2019 at 07:15:17PM +0200, Fabian Wolff wrote:
> The current maintainer, Michael Tautschnig, is apparently not active anymore,
> because
> he has not made an upload for this package for several years now, and didn't
> respond
> to any of my emails. Because I'd already made several non-maintainer uploads
> for this
> package in the past, I decided to add myself as co-maintainer (I have added
> Michael in
> the X-Debbugs-CC above just to be sure).
Sounds reasonable.
> z3 (4.8.6-1) unstable; urgency=medium
>
> * New upstream release.
> * Make watch file more robust (match (z3|Z3) instead of just z3).
> * Add myself to Uploaders in debian/control.
> * Drop the libz3-cil package (not all build dependencies are available
> in Debian; also see the discussion in #886590).
> * Update/refresh patches.
> * Drop python-z3 package and replace it with python3-z3
> (Closes: #886590, #938876).
> * Enable autopkgtest package testing and add several superficial and
> non-superficial test cases.
> * Add -fPIC to DEB_CXXFLAGS_MAINT_APPEND in an attempt to fix #940266.
> * Try to make the build more reproducible.
>
> -- Fabian Wolff <[email protected]> Sun, 29 Sep 2019 18:21:54 +0200
✓
> In particular, I've introduced the new python3-z3 package, so whoever decides
> to
> sponsor this upload, please remember to also upload binaries, because the
> package has
> to go through the NEW queue.
Aye, in NEW.
> My changes are on Salsa (I'll push to the actual repository once somebody has
> given
> me sufficient ("Maintainer") permissions to do so), and also on Mentors:
Not sure what repository do you plan (debian? llvm-team?).
Meow!
--
⢀⣴⠾⠻⢶⣦⠀ A MAP07 (Dead Simple) raspberry tincture recipe: 0.5l 95% alcohol,
⣾⠁⢠⠒⠀⣿⡁ 1kg raspberries, 0.4kg sugar; put into a big jar for 1 month.
⢿⡄⠘⠷⠚⠋⠀ Filter out and throw away the fruits (can dump them into a cake,
⠈⠳⣄⠀⠀⠀⠀ etc), let the drink age at least 3-6 months.
--- End Message ---
