general
- source
- aac-tactics (source, math)
- version
- 8.19.0-1
- maint
- Debian OCaml Maintainers (a), Stéphane Glondu (u), Julien Puydt (u)
- std-ver
- 4.6.2
- VCS
- Git (browse)
todo
- The package should be updated to follow the last version of Debian Policy (Standards-Version 4.7.0 instead of 4.6.2).
testing migration
excuses:- Migration status for aac-tactics (8.17.0-1 to 8.17.0-2): BLOCKED: Rejected/violates migration policy/introduces a regression
- Issues preventing migration:
- aac-tactics unsatisfiable Build-Depends(-Arch) on ppc64el: coq (>= 8.17)
- missing build on ppc64el
- arch:ppc64el not built yet, autopkgtest delayed there
- autopkgtest for coq-relation-algebra: amd64: Test in progress, arm64: Test in progress, armhf: Test in progress, i386: Test in progress, s390x: Test in progress
- Too young, only 1 of 5 days old
- Build-Depends(-Arch): aac-tactics coq
- Depends: aac-tactics coq
news RSS
- [2024-04-27] Accepted 8.19.0-1 in unstable (medium) (Debian FTP Masters)
- [2024-01-23] aac-tactics 8.18.0-1 MIGRATED to testing (Britney)
- [2023-12-21] Accepted 8.18.0-1 in unstable (medium) (Debian FTP Masters)
- [2023-09-17] aac-tactics 8.17.0-3 MIGRATED to testing (Britney)
- [2023-09-12] Accepted 8.17.0-3 in unstable (medium) (Debian FTP Masters)
- [2023-06-24] aac-tactics 8.17.0-2 MIGRATED to testing (Britney)
- [2023-06-12] Accepted 8.17.0-2 in unstable (medium) (Debian FTP Masters)
- [2023-01-10] aac-tactics 8.17.0-1 MIGRATED to testing (Britney)
- [2023-01-04] Accepted 8.17.0-1 in unstable (medium) (Debian FTP Masters)
- [2022-09-17] aac-tactics 8.16.0-1 MIGRATED to testing (Britney)
- [2022-09-06] Accepted 8.16.0-1 in unstable (medium) (Debian FTP Masters)
- [2022-07-10] aac-tactics 8.15.1-6 MIGRATED to testing (Britney)
- [2022-06-12] Accepted 8.15.1-6 in unstable (medium) (Debian FTP Masters)
- [2022-06-01] Accepted 8.15.1-5 in unstable (medium) (Debian FTP Masters)
- [2022-05-28] aac-tactics 8.15.1-4 MIGRATED to testing (Britney)
- [2022-05-22] Accepted 8.15.1-4 in unstable (medium) (Debian FTP Masters)
- [2022-04-22] aac-tactics 8.15.1-3 MIGRATED to testing (Britney)
- [2022-04-17] Accepted 8.15.1-3 in unstable (medium) (Debian FTP Masters)
- [2022-04-13] Accepted 8.15.1-2 in unstable (medium) (Debian FTP Masters)
- [2022-04-04] Accepted 8.15.1-1 in unstable (medium) (Debian FTP Masters)
- [2022-02-11] aac-tactics 8.15.0-1 MIGRATED to testing (Britney)
- [2022-02-06] Accepted 8.15.0-1 in unstable (medium) (Debian FTP Masters)
- [2020-09-30] aac-tactics REMOVED from testing (Britney)
- [2020-03-24] aac-tactics 8.11.0-1 MIGRATED to testing (Britney)
- [2020-03-17] Accepted 8.11.0-1 in unstable (medium) (Debian FTP Masters)
- [2020-02-08] aac-tactics 8.9.0-1 MIGRATED to testing (Britney)
- [2020-02-02] Accepted 8.9.0-1 in unstable (medium) (Debian FTP Masters)
- [2019-02-18] Accepted 8.8.0+1.gbp069dc3b-1 in unstable (medium) (Benjamin Barenblat)
- [2019-02-16] aac-tactics REMOVED from testing (Britney)
- [2018-01-03] aac-tactics 8.6.1-2 MIGRATED to testing (Britney)
links
- homepage
- changelog / copyright
- buildd: logs, checks, clang
- debcheck: unstable testing stable
- lintian
- popcon
- debtags
- screenshots
-
RDF meta-data
- browse source code