Index of /ubuntu-ports/pool/universe/c/coqeal/
../ coqeal_2.0.1-1build5.debian.tar.xz 08-Apr-2024 16:57 2560 coqeal_2.0.1-1build5.dsc 08-Apr-2024 16:57 2249 coqeal_2.0.1.orig.tar.gz 21-Jan-2024 14:45 212K coqeal_2.0.3-1build6.debian.tar.xz 19-Feb-2025 16:52 2576 coqeal_2.0.3-1build6.dsc 19-Feb-2025 16:52 2170 coqeal_2.0.3.orig.tar.gz 19-Dec-2024 08:41 212K coqeal_2.1.0-1build3.debian.tar.xz 01-Sep-2025 04:42 2520 coqeal_2.1.0-1build3.dsc 01-Sep-2025 04:42 2170 coqeal_2.1.0-1build6.debian.tar.xz 06-Nov-2025 18:20 2572 coqeal_2.1.0-1build6.dsc 06-Nov-2025 18:20 2170 coqeal_2.1.0.orig.tar.gz 02-May-2025 01:23 221K libcoq-coqeal_2.0.1-1build5_arm64.deb 09-Apr-2024 17:28 5M libcoq-coqeal_2.0.1-1build5_armhf.deb 09-Apr-2024 16:42 5M libcoq-coqeal_2.0.1-1build5_ppc64el.deb 09-Apr-2024 16:42 5M libcoq-coqeal_2.0.1-1build5_riscv64.deb 09-Apr-2024 19:43 5M libcoq-coqeal_2.0.1-1build5_s390x.deb 09-Apr-2024 16:42 5M libcoq-coqeal_2.0.3-1build6_arm64.deb 21-Feb-2025 07:38 6M libcoq-coqeal_2.0.3-1build6_ppc64el.deb 21-Feb-2025 00:14 6M libcoq-coqeal_2.0.3-1build6_riscv64.deb 21-Feb-2025 18:52 6M libcoq-coqeal_2.0.3-1build6_s390x.deb 21-Feb-2025 00:14 6M libcoq-coqeal_2.1.0-1build3_arm64.deb 02-Sep-2025 22:04 6M libcoq-coqeal_2.1.0-1build3_ppc64el.deb 02-Sep-2025 22:05 6M libcoq-coqeal_2.1.0-1build3_riscv64.deb 04-Sep-2025 01:14 6M libcoq-coqeal_2.1.0-1build3_s390x.deb 02-Sep-2025 22:05 6M libcoq-coqeal_2.1.0-1build6_arm64.deb 08-Nov-2025 00:51 6M libcoq-coqeal_2.1.0-1build6_ppc64el.deb 08-Nov-2025 00:51 6M libcoq-coqeal_2.1.0-1build6_riscv64.deb 08-Nov-2025 15:46 6M libcoq-coqeal_2.1.0-1build6_s390x.deb 08-Nov-2025 00:52 6M