Welcome to deb.felsqualle.com

This server mirrors the following archives:

debian:    Debian main site, containing the package repository for bullseye, bookworm, trixie, forky (testing), and sid (unstable) (amd64, i386, source)

 Name                                                  Last modified      Size  
 Parent Directory                                                           -   
 libcoq-mathcomp-algebra-tactics_1.0.0-8+b6_amd64.deb  2023-02-14 10:29  224K  
 libcoq-mathcomp-algebra-tactics_1.0.0-8+b6_i386.deb   2023-02-14 10:29  224K  
 libcoq-mathcomp-algebra-tactics_1.2.4-1+b11_amd64.deb 2025-10-28 21:09  745K  
 libcoq-mathcomp-algebra-tactics_1.2.4-1+b5_amd64.deb  2025-06-17 11:18  745K  
 mathcomp-algebra-tactics_1.0.0-8.debian.tar.xz        2022-11-10 15:34  8.5K  
 mathcomp-algebra-tactics_1.0.0-8.dsc                  2022-11-10 15:34  2.2K  
 mathcomp-algebra-tactics_1.0.0.orig.tar.gz            2022-05-18 07:28   36K  
 mathcomp-algebra-tactics_1.2.4-1.debian.tar.xz        2025-02-17 16:42  8.8K  
 mathcomp-algebra-tactics_1.2.4-1.dsc                  2025-02-17 16:42  2.2K  
 mathcomp-algebra-tactics_1.2.4.orig.tar.gz            2025-02-17 16:42   58K