Index of /pool/universe/c/coqeal/

../
coqeal_1.1.1-3build3.debian.tar.xz                 17-Feb-2023 16:29    2256
coqeal_1.1.1-3build3.dsc                           17-Feb-2023 16:29    2157
coqeal_1.1.1.orig.tar.gz                           08-Jul-2022 20:34    214K
coqeal_1.1.3-1build1.debian.tar.xz                 25-Jul-2023 02:37    2296
coqeal_1.1.3-1build1.dsc                           25-Jul-2023 02:37    2178
coqeal_1.1.3.orig.tar.gz                           21-Jun-2023 02:20    213K
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.2-1build1.debian.tar.xz                 14-May-2024 03:39    2392
coqeal_2.0.2-1build1.dsc                           14-May-2024 03:39    2170
coqeal_2.0.2.orig.tar.gz                           03-May-2024 10:55    212K
libcoq-coqeal_1.1.1-3build3_arm64.deb              17-Feb-2023 16:29      5M
libcoq-coqeal_1.1.1-3build3_armhf.deb              17-Feb-2023 16:29      5M
libcoq-coqeal_1.1.1-3build3_ppc64el.deb            17-Feb-2023 16:29      5M
libcoq-coqeal_1.1.1-3build3_riscv64.deb            17-Feb-2023 17:04      5M
libcoq-coqeal_1.1.1-3build3_s390x.deb              17-Feb-2023 16:29      5M
libcoq-coqeal_1.1.3-1build1_arm64.deb              26-Jul-2023 16:55      5M
libcoq-coqeal_1.1.3-1build1_armhf.deb              26-Jul-2023 16:55      5M
libcoq-coqeal_1.1.3-1build1_ppc64el.deb            26-Jul-2023 16:55      5M
libcoq-coqeal_1.1.3-1build1_riscv64.deb            26-Jul-2023 17:54      5M
libcoq-coqeal_1.1.3-1build1_s390x.deb              26-Jul-2023 16:56      5M
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.2-1build1_arm64.deb              14-May-2024 04:24      6M
libcoq-coqeal_2.0.2-1build1_ppc64el.deb            14-May-2024 04:24      6M
libcoq-coqeal_2.0.2-1build1_riscv64.deb            14-May-2024 05:16      6M