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

[ICO]NameLast modifiedSizeDescriptionMetadata

[DIR]Parent Directory  -   
[   ]coquelicot_0.9.6-1.1.debian.tar.xz09-Aug-2018 13:06 34K  Details
[TXT]coquelicot_0.9.6-1.1.dsc09-Aug-2018 13:06 2.3K  Details
[   ]coquelicot_0.9.6-1.1_all.deb09-Aug-2018 13:59 290K  Details
[   ]coquelicot_0.9.6.orig.tar.gz20-Dec-2016 14:48 187K  Details
[   ]coquelicot_3.2.0-8.debian.tar.xz26-Jan-2023 12:44 2.3K  Details
[TXT]coquelicot_3.2.0-8.dsc26-Jan-2023 12:44 2.0K  Details
[   ]coquelicot_3.2.0.orig.tar.gz09-May-2022 18:11 271K  Details
[   ]coquelicot_3.4.1-3.debian.tar.xz04-Aug-2024 06:53 2.1K  Details
[TXT]coquelicot_3.4.1-3.dsc04-Aug-2024 06:53 1.8K  Details
[   ]coquelicot_3.4.1.orig.tar.gz20-Jan-2024 19:16 275K  Details
[   ]libcoq-coquelicot_3.2.0-8+b3_armhf.deb22-May-2023 10:08 3.1M  Details

Apache/2.4.62 (Debian) Server at raspbian.raspberrypi.com Port 80

MirrorBrain powered by Apache