Index of /ubuntu-ports/pool/universe/c/coquelicot
Name Last modified Size Description
Parent Directory -
coquelicot_0.9.2-2_all.deb 2013-06-17 14:33 274K
coquelicot_0.9.5-1_all.deb 2015-10-24 02:51 315K
coquelicot_0.9.6-1ubuntu1_all.deb 2018-03-02 11:53 287K
libcoq-coquelicot_3.4.1-1build5_arm64.deb 2024-04-08 16:36 3.6M
libcoq-coquelicot_3.4.1-1build5_armhf.deb 2024-04-08 16:36 3.6M
libcoq-coquelicot_3.4.1-1build5_ppc64el.deb 2024-04-08 16:36 3.6M
libcoq-coquelicot_3.4.1-1build5_riscv64.deb 2024-04-09 07:15 3.6M
libcoq-coquelicot_3.4.1-1build5_s390x.deb 2024-04-08 16:36 3.6M
libcoq-coquelicot_3.4.1-3build6_arm64.deb 2024-09-20 01:39 3.7M
libcoq-coquelicot_3.4.1-3build6_ppc64el.deb 2024-09-20 03:35 3.7M
libcoq-coquelicot_3.4.1-3build6_riscv64.deb 2024-09-20 12:37 3.7M
libcoq-coquelicot_3.4.1-3build6_s390x.deb 2024-09-20 01:39 3.7M
libcoq-coquelicot_3.4.3-1build1_arm64.deb 2025-02-20 16:13 3.7M
libcoq-coquelicot_3.4.3-1build1_ppc64el.deb 2025-02-20 05:20 3.7M
libcoq-coquelicot_3.4.3-1build1_riscv64.deb 2025-02-20 18:00 3.7M
libcoq-coquelicot_3.4.3-1build1_s390x.deb 2025-02-20 05:21 3.7M
libcoq-coquelicot_3.4.3-1build2_arm64.deb 2025-05-08 17:28 3.7M
libcoq-coquelicot_3.4.3-1build2_ppc64el.deb 2025-05-08 17:29 3.7M
libcoq-coquelicot_3.4.3-1build2_riscv64.deb 2025-05-08 19:10 3.7M
libcoq-coquelicot_3.4.3-1build2_s390x.deb 2025-05-08 17:29 3.7M
Apache/2.4.58 (Ubuntu) Server at de.aminet.net Port 80