Index of /Linux/raspbian/raspbian/pool/main/c/coquelicot/


../
coquelicot_0.9.6-1.1.debian.tar.xz                 09-Aug-2018 22:06     34K
coquelicot_0.9.6-1.1.dsc                           09-Aug-2018 22:06    2393
coquelicot_0.9.6-1.1_all.deb                       09-Aug-2018 22:59    290K
coquelicot_0.9.6.orig.tar.gz                       20-Dec-2016 23:48    187K
coquelicot_3.2.0-8.debian.tar.xz                   26-Jan-2023 21:44    2372
coquelicot_3.2.0-8.dsc                             26-Jan-2023 21:44    2085
coquelicot_3.2.0.orig.tar.gz                       10-May-2022 03:11    271K
coquelicot_3.4.1-1.debian.tar.xz                   21-Jan-2024 04:16    2068
coquelicot_3.4.1-1.dsc                             21-Jan-2024 04:16    2085
coquelicot_3.4.1.orig.tar.gz                       21-Jan-2024 04:16    275K
libcoq-coquelicot_3.2.0-8+b3_armhf.deb             22-May-2023 19:08      3M
libcoq-coquelicot_3.4.1-1+b2_armhf.deb             02-Mar-2024 07:08      3M