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 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+b2_amd64.deb 2025-03-18 19:46 CET 3283 KiB libcoq-coquelicot_3.4.3-1+b2_arm64.deb 2025-03-18 20:17 CET 3283 KiB libcoq-coquelicot_3.4.3-1+b2_riscv64.deb 2025-03-19 08:37 CET 3283 KiB libcoq-coquelicot_3.4.3-1+b2_s390x.deb 2025-03-18 21:13 CET 3283 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_ppc64el.deb 2025-03-18 20:06 CET 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