general
- source
- mathcomp-algebra-tactics (optional, misc)
- version
- 1.1.1-2
- maint
- Debian OCaml Maintainers (a), Julien Puydt (u)
- std-ver
- 4.6.2
- VCS
- Git (browse)
news RSS
- [2023-07-21] mathcomp-algebra-tactics 1.1.1-2 MIGRATED to testing (Britney)
- [2023-07-05] Accepted 1.1.1-2 in unstable (medium) (Debian FTP Masters)
- [2023-06-24] mathcomp-algebra-tactics 1.1.1-1 MIGRATED to testing (Britney)
- [2023-06-15] Accepted 1.1.1-1 in unstable (medium) (Debian FTP Masters)
- [2022-11-19] mathcomp-algebra-tactics 1.0.0-8 MIGRATED to testing (Britney)
- [2022-11-10] Accepted 1.0.0-8 in unstable (medium) (Debian FTP Masters)
- [2022-10-26] Accepted 1.0.0-7 in unstable (medium) (Debian FTP Masters)
- [2022-07-10] mathcomp-algebra-tactics 1.0.0-6 MIGRATED to testing (Britney)
- [2022-07-05] Accepted 1.0.0-6 in unstable (medium) (Debian FTP Masters)
- [2022-06-13] Accepted 1.0.0-5 in unstable (medium) (Debian FTP Masters)
- [2022-06-13] Accepted 1.0.0-4 in unstable (medium) (Debian FTP Masters)
- [2022-06-02] Accepted 1.0.0-3 in unstable (medium) (Debian FTP Masters)
- [2022-05-28] mathcomp-algebra-tactics 1.0.0-2 MIGRATED to testing (Britney)
- [2022-05-22] Accepted 1.0.0-2 in unstable (medium) (Debian FTP Masters)
- [2022-05-18] Accepted 1.0.0-1 in unstable (medium) (Debian FTP Masters)
- [2022-05-16] Accepted 0.3.0-1 in unstable (medium) (Debian FTP Masters)
