Index of /ubuntu/pool/universe/c/coqeal/
../
coqeal_1.1.1-3build3.debian.tar.xz 17-Feb-2023 14:29 2256
coqeal_1.1.1-3build3.dsc 17-Feb-2023 14:29 2157
coqeal_1.1.1.orig.tar.gz 08-Jul-2022 18:34 214K
coqeal_1.1.3-1build1.debian.tar.xz 25-Jul-2023 00:37 2296
coqeal_1.1.3-1build1.dsc 25-Jul-2023 00:37 2178
coqeal_1.1.3-1build2.debian.tar.xz 05-Nov-2023 02:39 2312
coqeal_1.1.3-1build2.dsc 05-Nov-2023 02:39 2178
coqeal_1.1.3-1build3.debian.tar.xz 23-Nov-2023 07:05 2336
coqeal_1.1.3-1build3.dsc 23-Nov-2023 07:05 2178
coqeal_1.1.3-1build4.debian.tar.xz 24-Dec-2023 02:26 2392
coqeal_1.1.3-1build4.dsc 24-Dec-2023 02:26 2178
coqeal_1.1.3-1build5.debian.tar.xz 27-Dec-2023 10:31 2404
coqeal_1.1.3-1build5.dsc 27-Dec-2023 10:31 2178
coqeal_1.1.3.orig.tar.gz 21-Jun-2023 00:20 213K
coqeal_2.0.0-1.debian.tar.xz 28-Dec-2023 00:46 2284
coqeal_2.0.0-1.dsc 28-Dec-2023 00:46 2171
coqeal_2.0.0.orig.tar.gz 28-Dec-2023 00:46 211K
coqeal_2.0.1-1.debian.tar.xz 21-Jan-2024 12:45 2292
coqeal_2.0.1-1.dsc 21-Jan-2024 12:45 2171
coqeal_2.0.1-1build1.debian.tar.xz 28-Jan-2024 22:09 2372
coqeal_2.0.1-1build1.dsc 28-Jan-2024 22:09 2170
coqeal_2.0.1-1build2.debian.tar.xz 17-Feb-2024 07:37 2428
coqeal_2.0.1-1build2.dsc 17-Feb-2024 07:37 2170
coqeal_2.0.1-1build3.debian.tar.xz 24-Mar-2024 07:53 2516
coqeal_2.0.1-1build3.dsc 24-Mar-2024 07:53 2286
coqeal_2.0.1-1build4.debian.tar.xz 01-Apr-2024 01:36 2548
coqeal_2.0.1-1build4.dsc 01-Apr-2024 01:36 2286
coqeal_2.0.1-1build5.debian.tar.xz 08-Apr-2024 14:57 2560
coqeal_2.0.1-1build5.dsc 08-Apr-2024 14:57 2249
coqeal_2.0.1-1build6.debian.tar.xz 03-May-2024 03:28 2584
coqeal_2.0.1-1build6.dsc 03-May-2024 03:28 2249
coqeal_2.0.1.orig.tar.gz 21-Jan-2024 12:45 212K
coqeal_2.0.2-1.debian.tar.xz 03-May-2024 08:55 2316
coqeal_2.0.2-1.dsc 03-May-2024 08:55 2171
coqeal_2.0.2-1build1.debian.tar.xz 14-May-2024 01:39 2392
coqeal_2.0.2-1build1.dsc 14-May-2024 01:39 2170
coqeal_2.0.2-1build2.debian.tar.xz 21-May-2024 18:24 2404
coqeal_2.0.2-1build2.dsc 21-May-2024 18:24 2170
coqeal_2.0.2-1build3.debian.tar.xz 04-Jun-2024 05:28 2420
coqeal_2.0.2-1build3.dsc 04-Jun-2024 05:28 2170
coqeal_2.0.2-1build4.debian.tar.xz 15-Jun-2024 21:43 2432
coqeal_2.0.2-1build4.dsc 15-Jun-2024 21:43 2170
coqeal_2.0.2-1build5.debian.tar.xz 30-Jun-2024 18:29 2484
coqeal_2.0.2-1build5.dsc 30-Jun-2024 18:29 2170
coqeal_2.0.2-2.debian.tar.xz 04-Aug-2024 18:34 2372
coqeal_2.0.2-2.dsc 04-Aug-2024 18:34 1937
coqeal_2.0.2-2build1.debian.tar.xz 09-Aug-2024 20:49 2444
coqeal_2.0.2-2build1.dsc 09-Aug-2024 20:49 2170
coqeal_2.0.2-2build2.debian.tar.xz 15-Aug-2024 14:47 2468
coqeal_2.0.2-2build2.dsc 15-Aug-2024 14:47 2170
coqeal_2.0.2-2build3.debian.tar.xz 08-Sep-2024 14:59 2520
coqeal_2.0.2-2build3.dsc 08-Sep-2024 14:59 2170
coqeal_2.0.2-2build4.debian.tar.xz 12-Sep-2024 03:51 2532
coqeal_2.0.2-2build4.dsc 12-Sep-2024 03:51 2170
coqeal_2.0.2-2build5.debian.tar.xz 17-Sep-2024 23:56 2548
coqeal_2.0.2-2build5.dsc 17-Sep-2024 23:56 2170
coqeal_2.0.2-2build6.debian.tar.xz 20-Nov-2024 20:28 2572
coqeal_2.0.2-2build6.dsc 20-Nov-2024 20:28 2170
coqeal_2.0.2-2build7.debian.tar.xz 22-Nov-2024 01:48 2580
coqeal_2.0.2-2build7.dsc 22-Nov-2024 01:48 2170
coqeal_2.0.2.orig.tar.gz 03-May-2024 08:55 212K
coqeal_2.0.3-1.debian.tar.xz 19-Dec-2024 06:41 2392
coqeal_2.0.3-1.dsc 19-Dec-2024 06:41 2183
coqeal_2.0.3-1build1.debian.tar.xz 21-Dec-2024 06:51 2468
coqeal_2.0.3-1build1.dsc 21-Dec-2024 06:51 2170
coqeal_2.0.3-1build2.debian.tar.xz 23-Jan-2025 16:05 2520
coqeal_2.0.3-1build2.dsc 23-Jan-2025 16:05 2170
coqeal_2.0.3-1build3.debian.tar.xz 31-Jan-2025 15:45 2528
coqeal_2.0.3-1build3.dsc 31-Jan-2025 15:45 2170
coqeal_2.0.3-1build4.debian.tar.xz 13-Feb-2025 05:46 2556
coqeal_2.0.3-1build4.dsc 13-Feb-2025 05:46 2170
coqeal_2.0.3-1build5.debian.tar.xz 17-Feb-2025 18:21 2568
coqeal_2.0.3-1build5.dsc 17-Feb-2025 18:21 2170
coqeal_2.0.3-1build6.debian.tar.xz 19-Feb-2025 14:52 2576
coqeal_2.0.3-1build6.dsc 19-Feb-2025 14:52 2170
coqeal_2.0.3.orig.tar.gz 19-Dec-2024 06:41 212K
coqeal_2.1.0-1.debian.tar.xz 01-May-2025 23:23 2408
coqeal_2.1.0-1.dsc 01-May-2025 23:23 2184
coqeal_2.1.0-1build1.debian.tar.xz 28-May-2025 15:21 2492
coqeal_2.1.0-1build1.dsc 28-May-2025 15:21 2170
coqeal_2.1.0-1build2.debian.tar.xz 20-Jun-2025 00:20 2504
coqeal_2.1.0-1build2.dsc 20-Jun-2025 00:20 2170
coqeal_2.1.0-1build3.debian.tar.xz 01-Sep-2025 02:42 2520
coqeal_2.1.0-1build3.dsc 01-Sep-2025 02:42 2170
coqeal_2.1.0.orig.tar.gz 01-May-2025 23:23 221K
libcoq-coqeal_1.1.1-3build3_amd64.deb 17-Feb-2023 14:29 5M
libcoq-coqeal_1.1.3-1build1_amd64.deb 26-Jul-2023 14:55 5M
libcoq-coqeal_1.1.3-1build2_amd64.deb 16-Nov-2023 04:24 5M
libcoq-coqeal_1.1.3-1build3_amd64.deb 23-Nov-2023 07:05 5M
libcoq-coqeal_1.1.3-1build4_amd64.deb 24-Dec-2023 02:26 6M
libcoq-coqeal_2.0.0-1_amd64.deb 28-Dec-2023 00:46 7M
libcoq-coqeal_2.0.1-1build1_amd64.deb 28-Jan-2024 22:09 5M
libcoq-coqeal_2.0.1-1build2_amd64.deb 18-Feb-2024 02:15 5M
libcoq-coqeal_2.0.1-1build3_amd64.deb 25-Mar-2024 10:02 5M
libcoq-coqeal_2.0.1-1build4_amd64.deb 01-Apr-2024 02:32 5M
libcoq-coqeal_2.0.1-1build5_amd64.deb 09-Apr-2024 14:42 5M
libcoq-coqeal_2.0.2-1_amd64.deb 04-May-2024 02:33 6M
libcoq-coqeal_2.0.2-1build1_amd64.deb 14-May-2024 01:40 6M
libcoq-coqeal_2.0.2-1build2_amd64.deb 22-May-2024 00:18 6M
libcoq-coqeal_2.0.2-1build3_amd64.deb 06-Jun-2024 08:57 6M
libcoq-coqeal_2.0.2-1build4_amd64.deb 16-Jun-2024 09:12 6M
libcoq-coqeal_2.0.2-1build5_amd64.deb 30-Jun-2024 18:29 6M
libcoq-coqeal_2.0.2-2_amd64.deb 06-Aug-2024 00:36 6M
libcoq-coqeal_2.0.2-2build2_amd64.deb 08-Sep-2024 04:39 6M
libcoq-coqeal_2.0.2-2build3_amd64.deb 08-Sep-2024 14:59 6M
libcoq-coqeal_2.0.2-2build4_amd64.deb 13-Sep-2024 16:16 6M
libcoq-coqeal_2.0.2-2build5_amd64.deb 20-Sep-2024 11:15 6M
libcoq-coqeal_2.0.2-2build6_amd64.deb 20-Nov-2024 20:29 6M
libcoq-coqeal_2.0.2-2build7_amd64.deb 22-Nov-2024 01:48 6M
libcoq-coqeal_2.0.3-1_amd64.deb 19-Dec-2024 07:49 6M
libcoq-coqeal_2.0.3-1build1_amd64.deb 21-Dec-2024 07:57 6M
libcoq-coqeal_2.0.3-1build2_amd64.deb 26-Jan-2025 21:01 6M
libcoq-coqeal_2.0.3-1build3_amd64.deb 02-Feb-2025 15:58 6M
libcoq-coqeal_2.0.3-1build4_amd64.deb 16-Feb-2025 10:46 6M
libcoq-coqeal_2.0.3-1build5_amd64.deb 18-Feb-2025 02:28 6M
libcoq-coqeal_2.0.3-1build6_amd64.deb 21-Feb-2025 00:00 6M
libcoq-coqeal_2.1.0-1_amd64.deb 09-May-2025 09:03 6M
libcoq-coqeal_2.1.0-1build1_amd64.deb 29-May-2025 08:44 6M
libcoq-coqeal_2.1.0-1build2_amd64.deb 21-Jun-2025 06:24 6M
libcoq-coqeal_2.1.0-1build3_amd64.deb 02-Sep-2025 20:04 6M