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
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
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
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)
4 matches
Mail list logo
