Index of /ubuntu/pool/universe/c/coqeal/
../
coqeal_1.1.0-1.debian.tar.xz 07-Jul-2022 05:24 2068
coqeal_1.1.0-1.dsc 07-Jul-2022 05:24 2153
coqeal_1.1.0.orig.tar.gz 07-Jul-2022 05:24 218807
coqeal_1.1.1-1.debian.tar.xz 08-Jul-2022 11:34 2080
coqeal_1.1.1-1.dsc 08-Jul-2022 11:34 2153
coqeal_1.1.1-1build1.debian.tar.xz 30-Aug-2022 10:48 2164
coqeal_1.1.1-1build1.dsc 30-Aug-2022 10:48 2152
coqeal_1.1.1-2.debian.tar.xz 06-Nov-2022 03:17 2104
coqeal_1.1.1-2.dsc 06-Nov-2022 03:17 2153
coqeal_1.1.1-2build1.debian.tar.xz 25-Nov-2022 18:40 2188
coqeal_1.1.1-2build1.dsc 25-Nov-2022 18:40 2152
coqeal_1.1.1-2build2.debian.tar.xz 03-Dec-2022 19:54 2208
coqeal_1.1.1-2build2.dsc 03-Dec-2022 19:54 2152
coqeal_1.1.1-2build3.debian.tar.xz 31-Dec-2022 12:04 2224
coqeal_1.1.1-2build3.dsc 31-Dec-2022 12:04 2152
coqeal_1.1.1-2build4.debian.tar.xz 27-Jan-2023 09:04 2236
coqeal_1.1.1-2build4.dsc 27-Jan-2023 09:04 2152
coqeal_1.1.1-3.debian.tar.xz 27-Jan-2023 23:34 2160
coqeal_1.1.1-3.dsc 27-Jan-2023 23:34 2158
coqeal_1.1.1-3build3.debian.tar.xz 17-Feb-2023 07:29 2256
coqeal_1.1.1-3build3.dsc 17-Feb-2023 07:29 2157
coqeal_1.1.1-3build4.debian.tar.xz 13-Jun-2023 09:04 2276
coqeal_1.1.1-3build4.dsc 13-Jun-2023 09:04 2157
coqeal_1.1.1.orig.tar.gz 08-Jul-2022 11:34 218742
coqeal_1.1.3-1.debian.tar.xz 20-Jun-2023 17:20 2224
coqeal_1.1.3-1.dsc 20-Jun-2023 17:20 2179
coqeal_1.1.3-1build1.debian.tar.xz 24-Jul-2023 17:37 2296
coqeal_1.1.3-1build1.dsc 24-Jul-2023 17:37 2178
coqeal_1.1.3.orig.tar.gz 20-Jun-2023 17:20 217753
coqeal_2.0.1-1build2.debian.tar.xz 17-Feb-2024 00:37 2428
coqeal_2.0.1-1build2.dsc 17-Feb-2024 00:37 2170
coqeal_2.0.1-1build3.debian.tar.xz 24-Mar-2024 00:53 2516
coqeal_2.0.1-1build3.dsc 24-Mar-2024 00:53 2286
coqeal_2.0.1.orig.tar.gz 21-Jan-2024 05:45 216810
libcoq-coqeal_1.1.1-1_amd64.deb 19-Jul-2022 13:15 5341292
libcoq-coqeal_1.1.1-1build1_amd64.deb 30-Aug-2022 12:29 5341386
libcoq-coqeal_1.1.1-2_amd64.deb 06-Nov-2022 03:23 5341428
libcoq-coqeal_1.1.1-2build1_amd64.deb 26-Nov-2022 17:43 5313402
libcoq-coqeal_1.1.1-2build2_amd64.deb 03-Dec-2022 19:54 5313174
libcoq-coqeal_1.1.1-2build3_amd64.deb 31-Dec-2022 12:04 5313244
libcoq-coqeal_1.1.1-2build4_amd64.deb 27-Jan-2023 09:04 5313268
libcoq-coqeal_1.1.1-3_amd64.deb 27-Jan-2023 23:34 5313210
libcoq-coqeal_1.1.1-3build3_amd64.deb 17-Feb-2023 07:29 5309448
libcoq-coqeal_1.1.3-1_amd64.deb 20-Jun-2023 17:50 5290304
libcoq-coqeal_1.1.3-1build1_amd64.deb 26-Jul-2023 07:55 5290298
libcoq-coqeal_2.0.1-1build2_amd64.deb 17-Feb-2024 19:15 5511044
libcoq-coqeal_2.0.1-1build3_amd64.deb 25-Mar-2024 03:02 5511146