Filename Modification time Size coquelicot_3.2.0-8.debian.tar.xz 2023-01-26 13:44 CET 2372 B coquelicot_3.2.0-8.dsc 2023-01-26 13:44 CET 2085 B coquelicot_3.2.0.orig.tar.gz 2022-05-09 20:11 CEST 271 KiB coquelicot_3.4.3-1.debian.tar.xz 2025-02-17 17:37 CET 2276 B coquelicot_3.4.3-1.dsc 2025-02-17 17:37 CET 2100 B coquelicot_3.4.3.orig.tar.bz2 2025-02-17 17:37 CET 225 KiB coquelicot_3.4.4-4.debian.tar.xz 2026-07-29 08:40 CEST 4256 B coquelicot_3.4.4-4.dsc 2026-07-29 08:40 CEST 2107 B coquelicot_3.4.4.orig.tar.bz2 2025-10-30 08:18 CET 225 KiB libcoq-coquelicot_3.2.0-8+b1_amd64.deb 2023-02-13 08:44 CET 3180 KiB libcoq-coquelicot_3.2.0-8+b1_arm64.deb 2023-02-13 08:44 CET 3180 KiB libcoq-coquelicot_3.2.0-8+b1_armhf.deb 2023-02-13 08:44 CET 3180 KiB libcoq-coquelicot_3.2.0-8+b1_i386.deb 2023-02-13 08:44 CET 3180 KiB libcoq-coquelicot_3.2.0-8+b1_ppc64el.deb 2023-02-14 01:11 CET 3180 KiB libcoq-coquelicot_3.2.0-8+b1_s390x.deb 2023-02-13 11:25 CET 3180 KiB libcoq-coquelicot_3.4.3-1+b3_amd64.deb 2025-06-15 06:26 CEST 3284 KiB libcoq-coquelicot_3.4.3-1+b3_arm64.deb 2025-06-15 09:43 CEST 3284 KiB libcoq-coquelicot_3.4.3-1+b3_riscv64.deb 2025-06-17 23:30 CEST 3284 KiB libcoq-coquelicot_3.4.3-1+b3_s390x.deb 2025-06-18 00:53 CEST 3284 KiB libcoq-coquelicot_3.4.3-1+b4_ppc64el.deb 2025-06-15 10:54 CEST 3283 KiB libcoq-coquelicot_3.4.3-1+b11_riscv64.deb 2025-12-28 23:23 CET 3284 KiB libcoq-coquelicot_3.4.4-4+b1_amd64.deb 2026-07-31 23:26 CEST 3267 KiB libcoq-coquelicot_3.4.4-4_amd64.deb 2026-07-29 08:40 CEST 3266 KiB libcoq-coquelicot_3.4.4-4_arm64.deb 2026-07-29 09:05 CEST 3267 KiB libcoq-coquelicot_3.4.4-4_ppc64el.deb 2026-07-29 09:05 CEST 3266 KiB libcoq-coquelicot_3.4.4-4_s390x.deb 2026-07-29 09:05 CEST 3266 KiB