Index of /sites/archive.raspbian.org/raspbian/pool/main/c/coqeal/

Icon  Name                                              Last modified      Size  
[PARENTDIR] Parent Directory                                                       -   
[   ] coqeal_1.1.1-3.debian.tar.xz                      2023-01-27 16:30  2.1K  
[TXT] coqeal_1.1.1-3.dsc                                2023-01-27 16:30  2.1K  
[   ] coqeal_1.1.1.orig.tar.gz                          2022-07-08 08:23  214K  
[   ] coqeal_2.0.2-2.debian.tar.xz                      2024-08-04 07:53  2.3K  
[TXT] coqeal_2.0.2-2.dsc                                2024-08-04 07:53  1.9K  
[   ] coqeal_2.0.2.orig.tar.gz                          2024-04-26 15:17  212K  
[   ] libcoq-coqeal_1.1.1-3+b2_armhf.deb                2023-05-23 01:56  4.4M