Bug#941031: marked as done (RFS: libinsane/1.0.1-1 [ITP] -- Library to access scanner)

2019-09-29 Thread Debian Bug Tracking System
Your message dated Sun, 29 Sep 2019 22:26:06 +0200
with message-id <20190929202606.gb25...@angband.pl>
and subject line Re: Bug#941031: RFS: libinsane/1.0.1-1 [ITP] -- Library to 
access scanner
has caused the Debian Bug report #941031,
regarding RFS: libinsane/1.0.1-1 [ITP] -- Library to access scanner
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 ow...@bugs.debian.org
immediately.)


-- 
941031: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=941031
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Package: sponsorship-requests
Severity: wishlist

Dear mentors,

I am looking for a sponsor for my package "libinsane"

 * Package name: libinsane
   Version : 1.0.1-1
   Upstream Author : https://groups.google.com/forum/#!forum/paperwork-gui
 * URL : https://gitlab.gnome.org/World/OpenPaperwork/libinsane
 * License : LGPL-3.0+
 * Vcs : https://salsa.debian.org/openpaperwork-team/libinsane
   Section : libs

It builds those binary packages:

  libinsane-dev - Library to access scanner - development files
  libinsane1 - Library to access scanner
  gir1.2-libinsane-1.0 - Library to access scanner - GObject bindings
  libinsane-doc - Library to access scanner - documentation

To access further information about this package, please visit the following 
URL:

  https://mentors.debian.net/package/libinsane

Alternatively, one can download the package with dget using this command:

  dget -x 
https://mentors.debian.net/debian/pool/main/libi/libinsane/libinsane_1.0.1-1.dsc

Changes since the last upload:

   * Initial release (Closes: #940962)

I took the liberty to forward to DD who offer sponsorship or help at some point.


Regards,

--
  Thomas Perret
--- End Message ---
--- Begin Message ---
On Mon, Sep 23, 2019 at 07:01:59PM +0200, Thomas Perret wrote:
>  * Package name: libinsane
>Version : 1.0.1-1
>Upstream Author : https://groups.google.com/forum/#!forum/paperwork-gui
>  * URL : https://gitlab.gnome.org/World/OpenPaperwork/libinsane

> It builds those binary packages:
> 
>   libinsane-dev - Library to access scanner - development files
>   libinsane1 - Library to access scanner
>   gir1.2-libinsane-1.0 - Library to access scanner - GObject bindings
>   libinsane-doc - Library to access scanner - documentation

✓

-- 
⢀⣴⠾⠻⢶⣦⠀ 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 ---


Bug#941367: marked as done (RFS: z3 4.8.6-1 -- theorem prover from Microsoft Research)

2019-09-29 Thread Debian Bug Tracking System
Your message dated Sun, 29 Sep 2019 22:08:48 +0200
with message-id <20190929200848.ga25...@angband.pl>
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 ow...@bugs.debian.org
immediately.)


-- 
941367: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=941367
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Package: sponsorship-requests
Severity: normal
X-Debbugs-CC: m...@debian.org, locutusofb...@debian.org, sylves...@debian.org, 
lebedev...@gmail.com

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   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   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 ---


Bug#941367: RFS: z3 4.8.6-1 -- theorem prover from Microsoft Research

2019-09-29 Thread Fabian Wolff
Package: sponsorship-requests
Severity: normal
X-Debbugs-CC: m...@debian.org, locutusofb...@debian.org, sylves...@debian.org, 
lebedev...@gmail.com

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   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



Bug#941355: marked as done (RFS: midisnoop/0.1.2+git20141108.bc30f600187e-1 [RC] -- MIDI monitor and prober)

2019-09-29 Thread Debian Bug Tracking System
Your message dated Sun, 29 Sep 2019 14:41:54 +0200
with message-id 
and subject line Re: Bug#941355: RFS: 
midisnoop/0.1.2+git20141108.bc30f600187e-1 [RC] -- MIDI monitor and prober
has caused the Debian Bug report #941355,
regarding RFS: midisnoop/0.1.2+git20141108.bc30f600187e-1 [RC] -- MIDI monitor 
and prober
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 ow...@bugs.debian.org
immediately.)


-- 
941355: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=941355
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Package: sponsorship-requests
Severity: important

Dear mentors,

I am looking for a sponsor for my package "midisnoop"

 * Package name: midisnoop
   Version : 0.1.2+git20141108.bc30f600187e-1
   Upstream Author : 2012 Devin Anderson 
 * URL : https://github.com/surfacepatterns/midisnoop
 * License : GPL-2+
 * Vcs : https://salsa.debian.org/multimedia-team/midisnoop
   Section : sound

It builds those binary packages:

  midisnoop - MIDI monitor and prober

To access further information about this package, please visit the
following URL:

  https://mentors.debian.net/package/midisnoop

Alternatively, one can download the package with dget using this command:

  dget -x 
https://mentors.debian.net/debian/pool/main/m/midisnoop/midisnoop_0.1.2+git20141108.bc30f600187e-1.dsc

Changes since the last upload:

   [ Ondřej Nový ]
   * d/copyright: Use https protocol in Format field
   * d/control: Set Vcs-* to salsa.debian.org
 .
   [ Felipe Sateler ]
   * Change maintainer address to debian-multime...@lists.debian.org
 .
   [ Ondřej Nový ]
   * Use debhelper-compat instead of debian/compat
 .
   [ Dmitry Eremin-Solenikov ]
   * New upstream version 0.1.2+git20141108.bc30f600187e
   * Update to qt5 (Closes: #875047)
   * Refresh debian patches
   * Add 0005-src-engine.h-another-qt5-fix.patch to fix compilation with qt5
   * d/gbp.conf: disable pristine tar for snapshot builds
   * d/control: Bump Standards-Version to 4.4.0 (no changes needed)
   * Switch to python3 (Closes: #937045)
   * d/control: add myself to uploaders


-- 
With best wishes
Dmitry
--- End Message ---
--- Begin Message ---
Hi,

On 2019/09/29 13:52, Dmitry Eremin-Solenikov wrote:
> Package: sponsorship-requests
> Severity: important
> 
> Dear mentors,
> 
> I am looking for a sponsor for my package "midisnoop"
> 
>  * Package name: midisnoop
>Version : 0.1.2+git20141108.bc30f600187e-1
>Upstream Author : 2012 Devin Anderson 
>  * URL : https://github.com/surfacepatterns/midisnoop
>  * License : GPL-2+
>  * Vcs : https://salsa.debian.org/multimedia-team/midisnoop
>Section : sound
> 
> It builds those binary packages:
> 
>   midisnoop - MIDI monitor and prober

Uploaded

-- 

⢀⣴⠾⠻⢶⣦⠀
⣾⠁⢠⠒⠀⣿⡁ Kyle Robbertze
⢿⡄⠘⠷⠚⠋⠀ Debian Developer
⠈⠳⣄ https://wiki.debian.org/KyleRobbertze--- End Message ---


Bug#941355: RFS: midisnoop/0.1.2+git20141108.bc30f600187e-1 [RC] -- MIDI monitor and prober

2019-09-29 Thread Dmitry Eremin-Solenikov
Package: sponsorship-requests
Severity: important

Dear mentors,

I am looking for a sponsor for my package "midisnoop"

 * Package name: midisnoop
   Version : 0.1.2+git20141108.bc30f600187e-1
   Upstream Author : 2012 Devin Anderson 
 * URL : https://github.com/surfacepatterns/midisnoop
 * License : GPL-2+
 * Vcs : https://salsa.debian.org/multimedia-team/midisnoop
   Section : sound

It builds those binary packages:

  midisnoop - MIDI monitor and prober

To access further information about this package, please visit the
following URL:

  https://mentors.debian.net/package/midisnoop

Alternatively, one can download the package with dget using this command:

  dget -x 
https://mentors.debian.net/debian/pool/main/m/midisnoop/midisnoop_0.1.2+git20141108.bc30f600187e-1.dsc

Changes since the last upload:

   [ Ondřej Nový ]
   * d/copyright: Use https protocol in Format field
   * d/control: Set Vcs-* to salsa.debian.org
 .
   [ Felipe Sateler ]
   * Change maintainer address to debian-multime...@lists.debian.org
 .
   [ Ondřej Nový ]
   * Use debhelper-compat instead of debian/compat
 .
   [ Dmitry Eremin-Solenikov ]
   * New upstream version 0.1.2+git20141108.bc30f600187e
   * Update to qt5 (Closes: #875047)
   * Refresh debian patches
   * Add 0005-src-engine.h-another-qt5-fix.patch to fix compilation with qt5
   * d/gbp.conf: disable pristine tar for snapshot builds
   * d/control: Bump Standards-Version to 4.4.0 (no changes needed)
   * Switch to python3 (Closes: #937045)
   * d/control: add myself to uploaders


-- 
With best wishes
Dmitry