- [2022-11-19] mathcomp-algebra-tactics 1.0.0-8 MIGRATED to testing (Debian testing watch)
- [2022-11-10] Accepted mathcomp-algebra-tactics 1.0.0-8 (source) into unstable (Julien Puydt)
- [2022-10-26] Accepted mathcomp-algebra-tactics 1.0.0-7 (source) into unstable (Julien Puydt)
- [2022-07-10] mathcomp-algebra-tactics 1.0.0-6 MIGRATED to testing (Debian testing watch)
- [2022-07-05] Accepted mathcomp-algebra-tactics 1.0.0-6 (source) into unstable (Julien Puydt)
- [2022-06-13] Accepted mathcomp-algebra-tactics 1.0.0-5 (source) into unstable (Julien Puydt)
- [2022-06-13] Accepted mathcomp-algebra-tactics 1.0.0-4 (source) into unstable (Julien Puydt)
- [2022-06-02] Accepted mathcomp-algebra-tactics 1.0.0-3 (source) into unstable (Julien Puydt)
- [2022-05-28] mathcomp-algebra-tactics 1.0.0-2 MIGRATED to testing (Debian testing watch)
- [2022-05-22] Accepted mathcomp-algebra-tactics 1.0.0-2 (source) into unstable (Julien Puydt)
- [2022-05-18] Accepted mathcomp-algebra-tactics 1.0.0-1 (source) into unstable (Julien Puydt)
- [2022-05-16] Accepted mathcomp-algebra-tactics 0.3.0-1 (source amd64) into unstable, unstable (Debian FTP Masters) (signed by: Julien Puydt)