Processed: Re: Bug#922809: unblock: aac-tactics/8.8.0+1.gbp069dc3b-1

2019-03-30 Thread Debian Bug Tracking System
Processing commands for cont...@bugs.debian.org: > tags 922809 wontfix Bug #922809 [release.debian.org] unblock: aac-tactics/8.8.0+1.gbp069dc3b-1 Added tag(s) wontfix. > thanks Stopping processing here. Please contact me if you need assistance. -- 922809: https://bugs.debian.org/cgi-bin/bugrepor

Bug#922809: unblock: aac-tactics/8.8.0+1.gbp069dc3b-1

2019-03-30 Thread Paul Gevers
tags 922809 wontfix thanks Hi Benjamin, On Tue, 12 Mar 2019 20:55:31 -0400 Benjamin Barenblat wrote: > > Couldn't you just fix the FTBFS by patching the original version in > > Debian? That would make reviewing a lot easier. > > Perhaps, but unfortunately, I don’t have the time to write those p

Bug#922809: unblock: aac-tactics/8.8.0+1.gbp069dc3b-1

2019-03-12 Thread Benjamin Barenblat
On Saturday, March 9, 2019, at 3:17 PM EST, Paul Gevers wrote: > [...] I took a look at the times in the bug, and it seems you uploaded > the package *after* it got removed. > > Is it just me, or did you suggest a different time line? If so, why? No, it’s not just you – I believed that I had upl

Bug#922809: unblock: aac-tactics/8.8.0+1.gbp069dc3b-1

2019-03-09 Thread Paul Gevers
Control: tags -1 moreinfo On 21-02-2019 00:20, Benjamin Barenblat wrote: > I uploaded coq/8.9.0-1 to unstable shortly before the soft freeze > began. Unfortunately, this caused aac-tactics to FTBFS > (https://bugs.debian.org/919463) and be scheduled for autoremoval. I > uploaded a new aac-tactics,

Processed: Re: Bug#922809: unblock: aac-tactics/8.8.0+1.gbp069dc3b-1

2019-03-09 Thread Debian Bug Tracking System
Processing control commands: > tags -1 moreinfo Bug #922809 [release.debian.org] unblock: aac-tactics/8.8.0+1.gbp069dc3b-1 Added tag(s) moreinfo. -- 922809: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=922809 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems

Bug#922809: unblock: aac-tactics/8.8.0+1.gbp069dc3b-1

2019-02-20 Thread Benjamin Barenblat
Package: release.debian.org Severity: normal User: release.debian@packages.debian.org Usertags: unblock Please unblock package aac-tactics I uploaded coq/8.9.0-1 to unstable shortly before the soft freeze began. Unfortunately, this caused aac-tactics to FTBFS (https://bugs.debian.org/919463)