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) and be scheduled for autoremoval. I uploaded a new aac-tactics, fixing the build, but the autoremoval timer ran out before it was migrated. aac-tactics is a leaf package, so allowing it to migrate is unlikely to produce instability in the new release. Would you consider an unblock? unblock aac-tactics/8.8.0+1.gbp069dc3b-1 -- System Information: Debian Release: 9.8 APT prefers stable-updates APT policy: (500, 'stable-updates'), (500, 'stable') Architecture: amd64 (x86_64) Kernel: Linux 4.19.0-0.bpo.2-amd64 (SMP w/8 CPU cores) Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8), LANGUAGE=en_US.UTF-8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/dash Init: systemd (via /run/systemd/system)
