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                                                   -   
 coq-reduction-effects_0.1.4-3.debian.tar.xz   2023-01-25 07:47  1.5K  
 coq-reduction-effects_0.1.5-5.debian.tar.xz   2024-08-04 03:53  1.8K  
 coq-reduction-effects_0.1.6-1.debian.tar.xz   2025-10-29 08:39  1.9K  
 coq-reduction-effects_0.1.6-2.debian.tar.xz   2025-11-11 17:45  1.9K  
 coq-reduction-effects_0.1.5-5.dsc             2024-08-04 03:53  1.9K  
 coq-reduction-effects_0.1.4-3.dsc             2023-01-25 07:47  2.2K  
 coq-reduction-effects_0.1.6-2.dsc             2025-11-11 17:45  2.2K  
 coq-reduction-effects_0.1.6-1.dsc             2025-10-29 08:39  2.2K  
 coq-reduction-effects_0.1.4.orig.tar.gz       2022-08-13 05:08   10K  
 coq-reduction-effects_0.1.5.orig.tar.gz       2023-12-22 10:16   10K  
 coq-reduction-effects_0.1.6.orig.tar.gz       2025-10-29 08:39   10K  
 libcoq-reduction-effects_0.1.4-3+b1_i386.deb  2023-02-13 05:16   14K  
 libcoq-reduction-effects_0.1.4-3+b1_amd64.deb 2023-02-13 05:11   14K  
 libcoq-reduction-effects_0.1.5-5+b9_amd64.deb 2025-12-28 04:20   15K  
 libcoq-reduction-effects_0.1.5-5+b8_amd64.deb 2025-06-15 10:49   15K  
 libcoq-reduction-effects_0.1.6-2_amd64.deb    2025-11-11 17:45   15K