Index of /Raspbian/raspbian/pool/main/c/coq-quickchick

Icon  Name                                               Last modified      Size  Description
[PARENTDIR] Parent Directory                                                        -   
[   ] quickchick_2.0.2-1+b2_armhf.deb                    2024-03-02 06:08   57K  
[   ] libcoq-quickchick_2.0.2-1+b2_armhf.deb             2024-03-02 06:08  1.6M  
[   ] coq-quickchick_2.0.2.orig.tar.gz                   2024-01-21 03:21  406K  
[TXT] coq-quickchick_2.0.2-1.dsc                         2024-01-21 03:21  2.2K  
[   ] coq-quickchick_2.0.2-1.debian.tar.xz               2024-01-21 03:21  3.0K  
[   ] quickchick_1.6.4-3+b3_armhf.deb                    2023-05-22 12:08   54K  
[   ] libcoq-quickchick_1.6.4-3+b3_armhf.deb             2023-05-22 12:08  1.5M  
[TXT] coq-quickchick_1.6.4-3.dsc                         2023-01-27 14:18  2.2K  
[   ] coq-quickchick_1.6.4-3.debian.tar.xz               2023-01-27 14:18  2.7K  
[   ] coq-quickchick_1.6.4.orig.tar.gz                   2022-08-15 14:38  379K
Apache/2.4.59 (Debian) Server at mirror.freedif.org Port 443