Name Last modified Size
Parent Directory -
coquelicot_0.9.2-4.debian.tar.gz 01-Sep-2014 19:24 27K
coquelicot_0.9.2-4.dsc 01-Sep-2014 19:24 2.2K
coquelicot_0.9.2-4_all.deb 01-Sep-2014 19:24 266K
coquelicot_0.9.2.orig.tar.gz 21-Apr-2013 21:03 171K
coquelicot_0.9.6-1.debian.tar.xz 20-Dec-2016 16:48 34K
coquelicot_0.9.6-1.dsc 20-Dec-2016 16:48 2.4K
coquelicot_0.9.6-1_all.deb 20-Dec-2016 16:48 290K
coquelicot_0.9.6.orig.tar.gz 20-Dec-2016 16:48 187K
coquelicot_3.2.0-2.debian.tar.xz 17-May-2022 23:00 2.1K
coquelicot_3.2.0-2.dsc 17-May-2022 23:00 2.0K
coquelicot_3.2.0-3.debian.tar.xz 23-May-2022 15:15 2.2K
coquelicot_3.2.0-3.dsc 23-May-2022 15:15 2.0K
coquelicot_3.2.0-8.debian.tar.xz 26-Jan-2023 14:44 2.3K
coquelicot_3.2.0-8.dsc 26-Jan-2023 14:44 2.0K
coquelicot_3.2.0.orig.tar.gz 09-May-2022 21:11 271K
coquelicot_3.3.1-1.debian.tar.xz 14-Jun-2023 16:57 1.8K
coquelicot_3.3.1-1.dsc 14-Jun-2023 16:57 2.0K
coquelicot_3.3.1.orig.tar.gz 14-Jun-2023 16:57 273K
coquelicot_3.4.1-1.debian.tar.xz 20-Jan-2024 21:16 2.0K
coquelicot_3.4.1-1.dsc 20-Jan-2024 21:16 2.0K
coquelicot_3.4.1-2.debian.tar.xz 26-Apr-2024 17:06 2.0K
coquelicot_3.4.1-2.dsc 26-Apr-2024 17:06 2.0K
coquelicot_3.4.1.orig.tar.gz 20-Jan-2024 21:16 275K
libcoq-coquelicot_3.2.0-2_amd64.deb 17-May-2022 23:55 3.1M
libcoq-coquelicot_3.2.0-2_arm64.deb 17-May-2022 23:55 3.1M
libcoq-coquelicot_3.2.0-2_armhf.deb 17-May-2022 23:55 3.1M
libcoq-coquelicot_3.2.0-2_i386.deb 17-May-2022 23:55 3.1M
libcoq-coquelicot_3.2.0-2_ppc64el.deb 17-May-2022 23:55 3.1M
libcoq-coquelicot_3.2.0-2_s390x.deb 17-May-2022 23:55 3.1M
libcoq-coquelicot_3.2.0-3_amd64.deb 23-May-2022 15:40 3.1M
libcoq-coquelicot_3.2.0-3_arm64.deb 23-May-2022 15:40 3.1M
libcoq-coquelicot_3.2.0-3_armhf.deb 23-May-2022 15:40 3.1M
libcoq-coquelicot_3.2.0-3_i386.deb 23-May-2022 15:56 3.1M
libcoq-coquelicot_3.2.0-3_ppc64el.deb 23-May-2022 15:56 3.1M
libcoq-coquelicot_3.2.0-3_s390x.deb 23-May-2022 16:42 3.1M
libcoq-coquelicot_3.2.0-8+b1_amd64.deb 13-Feb-2023 09:44 3.1M
libcoq-coquelicot_3.2.0-8+b1_arm64.deb 13-Feb-2023 09:44 3.1M
libcoq-coquelicot_3.2.0-8+b1_armhf.deb 13-Feb-2023 09:44 3.1M
libcoq-coquelicot_3.2.0-8+b1_i386.deb 13-Feb-2023 09:44 3.1M
libcoq-coquelicot_3.2.0-8+b1_ppc64el.deb 14-Feb-2023 02:11 3.1M
libcoq-coquelicot_3.2.0-8+b1_s390x.deb 13-Feb-2023 12:25 3.1M
libcoq-coquelicot_3.3.1-1+b1_amd64.deb 23-Jul-2023 10:41 3.1M
libcoq-coquelicot_3.3.1-1+b1_arm64.deb 23-Jul-2023 11:12 3.1M
libcoq-coquelicot_3.3.1-1+b1_armhf.deb 23-Jul-2023 11:12 3.1M
libcoq-coquelicot_3.3.1-1+b1_i386.deb 23-Jul-2023 10:57 3.1M
libcoq-coquelicot_3.3.1-1+b1_ppc64el.deb 23-Jul-2023 11:42 3.1M
libcoq-coquelicot_3.3.1-1+b1_s390x.deb 24-Jul-2023 02:15 3.1M
libcoq-coquelicot_3.3.1-1_amd64.deb 15-Jun-2023 01:27 3.1M
libcoq-coquelicot_3.3.1-1_arm64.deb 15-Jun-2023 01:43 3.1M
libcoq-coquelicot_3.3.1-1_armhf.deb 15-Jun-2023 01:27 3.1M
libcoq-coquelicot_3.3.1-1_i386.deb 15-Jun-2023 01:12 3.1M
libcoq-coquelicot_3.3.1-1_ppc64el.deb 19-Jun-2023 06:41 3.1M
libcoq-coquelicot_3.3.1-1_s390x.deb 15-Jun-2023 00:11 3.1M
libcoq-coquelicot_3.4.1-1+b1_amd64.deb 16-Feb-2024 17:09 3.1M
libcoq-coquelicot_3.4.1-1+b1_arm64.deb 16-Feb-2024 19:36 3.1M
libcoq-coquelicot_3.4.1-1+b1_i386.deb 16-Feb-2024 17:09 3.1M
libcoq-coquelicot_3.4.1-1+b1_ppc64el.deb 16-Feb-2024 17:20 3.1M
libcoq-coquelicot_3.4.1-1+b1_s390x.deb 16-Feb-2024 17:04 3.1M
libcoq-coquelicot_3.4.1-1+b2_armhf.deb 01-Apr-2024 21:50 3.1M
libcoq-coquelicot_3.4.1-1+b2_s390x.deb 20-Mar-2024 15:13 3.1M
libcoq-coquelicot_3.4.1-2+b1_amd64.deb 05-Jun-2024 02:43 3.2M
libcoq-coquelicot_3.4.1-2+b1_arm64.deb 05-Jun-2024 13:21 3.2M
libcoq-coquelicot_3.4.1-2+b1_i386.deb 05-Jun-2024 02:42 3.2M
libcoq-coquelicot_3.4.1-2_amd64.deb 30-Apr-2024 18:06 3.2M
libcoq-coquelicot_3.4.1-2_arm64.deb 30-Apr-2024 18:11 3.2M
libcoq-coquelicot_3.4.1-2_i386.deb 30-Apr-2024 18:06 3.2M
libcoq-coquelicot_3.4.1-2_ppc64el.deb 30-Apr-2024 18:11 3.2M
libcoq-coquelicot_3.4.1-2_riscv64.deb 30-Apr-2024 21:28 3.2M
Apache/2.2 Server at debian.noc.ntua.gr Port 80