File Name  ↓	File Size  ↓	Date  ↓
Parent directory/	-	-
coquelicot_0.9.2-2.debian.tar.gz	26.0 KiB	2013-Jun-17 05:33
coquelicot_0.9.2-2.dsc	2.2 KiB	2013-Jun-17 05:33
coquelicot_0.9.2-2_all.deb	274.3 KiB	2013-Jun-17 06:33
coquelicot_0.9.2.orig.tar.gz	170.7 KiB	2013-Jun-17 05:33
coquelicot_0.9.5-1.debian.tar.xz	33.6 KiB	2015-Oct-23 15:36
coquelicot_0.9.5-1.dsc	2.3 KiB	2015-Oct-23 15:36
coquelicot_0.9.5-1_all.deb	315.0 KiB	2015-Oct-23 18:51
coquelicot_0.9.5.orig.tar.gz	182.8 KiB	2015-Oct-23 15:36
coquelicot_0.9.6-1ubuntu1.debian.tar.xz	33.8 KiB	2018-Mar-02 04:53
coquelicot_0.9.6-1ubuntu1.dsc	2.2 KiB	2018-Mar-02 04:53
coquelicot_0.9.6-1ubuntu1_all.deb	287.5 KiB	2018-Mar-02 04:53
coquelicot_0.9.6.orig.tar.gz	187.1 KiB	2016-Dec-20 17:18
coquelicot_3.4.1-1build5.debian.tar.xz	2.3 KiB	2024-Apr-08 01:57
coquelicot_3.4.1-1build5.dsc	2.1 KiB	2024-Apr-08 01:57
coquelicot_3.4.1.orig.tar.gz	274.9 KiB	2024-Jan-20 17:35
coquelicot_3.4.3-1build1.debian.tar.xz	2.3 KiB	2025-Feb-19 01:52
coquelicot_3.4.3-1build1.dsc	2.0 KiB	2025-Feb-19 01:52
coquelicot_3.4.3-1build10.debian.tar.xz	2.5 KiB	2026-Mar-07 13:00
coquelicot_3.4.3-1build10.dsc	2.0 KiB	2026-Mar-07 13:00
coquelicot_3.4.3-1build5.debian.tar.xz	2.4 KiB	2025-Aug-31 13:42
coquelicot_3.4.3-1build5.dsc	2.0 KiB	2025-Aug-31 13:42
coquelicot_3.4.3.orig.tar.bz2	224.9 KiB	2025-Feb-17 19:39
coquelicot_3.4.4-5.debian.tar.xz	4.2 KiB	2026-Aug-12 18:17
coquelicot_3.4.4-5.dsc	2.1 KiB	2026-Aug-12 18:17
coquelicot_3.4.4.orig.tar.bz2	224.9 KiB	2026-Jul-29 05:15
libcoq-coquelicot_3.4.1-1build5_amd64.deb	3.6 MiB	2024-Apr-08 08:36
libcoq-coquelicot_3.4.3-1build10_amd64.deb	3.7 MiB	2026-Mar-07 13:01
libcoq-coquelicot_3.4.3-1build10_amd64v3.deb	3.7 MiB	2026-Mar-07 13:02
libcoq-coquelicot_3.4.3-1build10_arm64.deb	3.7 MiB	2026-Mar-07 13:03
libcoq-coquelicot_3.4.3-1build1_amd64.deb	3.7 MiB	2025-Feb-19 22:20
libcoq-coquelicot_3.4.3-1build5_amd64.deb	3.7 MiB	2025-Sep-01 13:52
libcoq-coquelicot_3.4.3-1build5_arm64.deb	3.7 MiB	2025-Sep-01 13:52