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

Icon  Name                                               Last modified      Size  Description
[PARENTDIR] Parent Directory                                                        -   
[   ] coq-quickchick_1.6.4-3.debian.tar.xz               2023-01-27 14:18  2.7K  
[TXT] coq-quickchick_1.6.4-3.dsc                         2023-01-27 14:18  2.2K  
[   ] coq-quickchick_1.6.4.orig.tar.gz                   2022-08-15 14:38  379K  
[   ] coq-quickchick_2.0.3-3.debian.tar.xz               2024-08-04 14:22  2.8K  
[TXT] coq-quickchick_2.0.3-3.dsc                         2024-08-04 14:22  2.0K  
[   ] coq-quickchick_2.0.3.orig.tar.gz                   2024-05-01 05:09  402K  
[   ] libcoq-quickchick_1.6.4-3+b3_armhf.deb             2023-05-22 12:08  1.5M  
[   ] quickchick_1.6.4-3+b3_armhf.deb                    2023-05-22 12:08   54K
Apache/2.4.62 (Debian) Server at de.freedif.org Port 443