Index of /debian/pool/main/c/coquelicot

 Name                                   Last modified      Size  Description
 Parent Directory                                            -   
 coquelicot_3.2.0-8.debian.tar.xz       2023-01-26 07:44  2.3K  
 coquelicot_3.2.0-8.dsc                 2023-01-26 07:44  2.0K  
 coquelicot_3.2.0.orig.tar.gz           2022-05-09 14:11  271K  
 coquelicot_3.4.3-1.debian.tar.xz       2025-02-17 11:37  2.2K  
 coquelicot_3.4.3-1.dsc                 2025-02-17 11:37  2.1K  
 coquelicot_3.4.3.orig.tar.bz2          2025-02-17 11:37  225K  
 coquelicot_3.4.4-1.debian.tar.xz       2025-10-30 03:18  2.3K  
 coquelicot_3.4.4-1.dsc                 2025-10-30 03:18  2.1K  
 coquelicot_3.4.4-2.debian.tar.xz       2025-11-11 14:52  2.3K  
 coquelicot_3.4.4-2.dsc                 2025-11-11 14:52  2.1K  
 coquelicot_3.4.4.orig.tar.bz2          2025-10-30 03:18  225K  
 libcoq-coquelicot_3.2.0-8+b1_amd64.deb 2023-02-13 02:44  3.1M  
 libcoq-coquelicot_3.2.0-8+b1_i386.deb  2023-02-13 02:44  3.1M  
 libcoq-coquelicot_3.4.3-1+b3_amd64.deb 2025-06-15 00:26  3.2M  
 libcoq-coquelicot_3.4.3-1+b9_amd64.deb 2025-10-28 16:48  3.2M  
 libcoq-coquelicot_3.4.4-2_amd64.deb    2025-11-11 14:52  3.2M