- [2023-06-24] coq-relation-algebra 1.7.9-1 MIGRATED to testing (Debian testing watch)
- [2023-06-14] Accepted coq-relation-algebra 1.7.9-1 (source) into unstable (Julien Puydt)
- [2023-01-31] coq-relation-algebra 1.7.8-2 MIGRATED to testing (Debian testing watch)
- [2023-01-26] Accepted coq-relation-algebra 1.7.8-2 (source) into unstable (Julien Puydt)
- [2022-10-04] coq-relation-algebra 1.7.8-1 MIGRATED to testing (Debian testing watch)
- [2022-10-01] Accepted coq-relation-algebra 1.7.8-1 (source amd64) into unstable (Debian FTP Masters) (signed by: Julien Puydt)