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.1-1.debian.tar.xz 2024-01-20 20:16 CET 2068 B coquelicot_3.4.1-1.dsc 2024-01-20 20:16 CET 2085 B coquelicot_3.4.1.orig.tar.gz 2024-01-20 20:16 CET 275 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.1-1+b1_amd64.deb 2024-02-16 16:09 CET 3201 KiB libcoq-coquelicot_3.4.1-1+b1_arm64.deb 2024-02-16 18:36 CET 3200 KiB libcoq-coquelicot_3.4.1-1+b1_armhf.deb 2024-02-16 15:09 CET 3200 KiB libcoq-coquelicot_3.4.1-1+b1_i386.deb 2024-02-16 16:09 CET 3200 KiB libcoq-coquelicot_3.4.1-1+b1_ppc64el.deb 2024-02-16 16:20 CET 3200 KiB libcoq-coquelicot_3.4.1-1+b1_riscv64.deb 2024-02-18 02:49 CET 3201 KiB libcoq-coquelicot_3.4.1-1+b1_s390x.deb 2024-02-16 16:04 CET 3201 KiB libcoq-coquelicot_3.4.1-1+b2_amd64.deb 2024-03-20 14:23 CET 3200 KiB libcoq-coquelicot_3.4.1-1+b2_arm64.deb 2024-03-20 14:13 CET 3200 KiB libcoq-coquelicot_3.4.1-1+b2_i386.deb 2024-03-20 14:08 CET 3200 KiB libcoq-coquelicot_3.4.1-1+b2_ppc64el.deb 2024-03-20 14:08 CET 3200 KiB libcoq-coquelicot_3.4.1-1+b2_s390x.deb 2024-03-20 14:13 CET 3200 KiB