Index of /ubuntu/pool/universe/c/coqeal/
../
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-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.orig.tar.gz 08-Jul-2022 11:34 218742
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-1build5.debian.tar.xz 08-Apr-2024 07:57 2560
coqeal_2.0.1-1build5.dsc 08-Apr-2024 07:57 2249
coqeal_2.0.1-1build6.debian.tar.xz 02-May-2024 20:28 2584
coqeal_2.0.1-1build6.dsc 02-May-2024 20:28 2249
coqeal_2.0.1.orig.tar.gz 21-Jan-2024 05:45 216810
coqeal_2.0.2-1.debian.tar.xz 03-May-2024 01:55 2316
coqeal_2.0.2-1.dsc 03-May-2024 01:55 2171
coqeal_2.0.2-1build1.debian.tar.xz 13-May-2024 18:39 2392
coqeal_2.0.2-1build1.dsc 13-May-2024 18:39 2170
coqeal_2.0.2-1build2.debian.tar.xz 21-May-2024 11:24 2404
coqeal_2.0.2-1build2.dsc 21-May-2024 11:24 2170
coqeal_2.0.2-1build3.debian.tar.xz 03-Jun-2024 22:28 2420
coqeal_2.0.2-1build3.dsc 03-Jun-2024 22:28 2170
coqeal_2.0.2-1build4.debian.tar.xz 15-Jun-2024 14:43 2432
coqeal_2.0.2-1build4.dsc 15-Jun-2024 14:43 2170
coqeal_2.0.2-1build5.debian.tar.xz 30-Jun-2024 11:29 2484
coqeal_2.0.2-1build5.dsc 30-Jun-2024 11:29 2170
coqeal_2.0.2-2.debian.tar.xz 04-Aug-2024 11:34 2372
coqeal_2.0.2-2.dsc 04-Aug-2024 11:34 1937
coqeal_2.0.2-2build1.debian.tar.xz 09-Aug-2024 13:49 2444
coqeal_2.0.2-2build1.dsc 09-Aug-2024 13:49 2170
coqeal_2.0.2-2build2.debian.tar.xz 15-Aug-2024 07:47 2468
coqeal_2.0.2-2build2.dsc 15-Aug-2024 07:47 2170
coqeal_2.0.2-2build3.debian.tar.xz 08-Sep-2024 07:59 2520
coqeal_2.0.2-2build3.dsc 08-Sep-2024 07:59 2170
coqeal_2.0.2-2build4.debian.tar.xz 11-Sep-2024 20:51 2532
coqeal_2.0.2-2build4.dsc 11-Sep-2024 20:51 2170
coqeal_2.0.2-2build5.debian.tar.xz 17-Sep-2024 16:56 2548
coqeal_2.0.2-2build5.dsc 17-Sep-2024 16:56 2170
coqeal_2.0.2-2build6.debian.tar.xz 20-Nov-2024 13:28 2572
coqeal_2.0.2-2build6.dsc 20-Nov-2024 13:28 2170
coqeal_2.0.2-2build7.debian.tar.xz 21-Nov-2024 18:48 2580
coqeal_2.0.2-2build7.dsc 21-Nov-2024 18:48 2170
coqeal_2.0.2.orig.tar.gz 03-May-2024 01:55 217033
coqeal_2.0.3-1.debian.tar.xz 18-Dec-2024 23:41 2392
coqeal_2.0.3-1.dsc 18-Dec-2024 23:41 2183
coqeal_2.0.3-1build1.debian.tar.xz 20-Dec-2024 23:51 2468
coqeal_2.0.3-1build1.dsc 20-Dec-2024 23:51 2170
coqeal_2.0.3.orig.tar.gz 18-Dec-2024 23:41 217009
libcoq-coqeal_1.1.1-1build1_amd64.deb 30-Aug-2022 12:29 5341386
libcoq-coqeal_1.1.1-3build3_amd64.deb 17-Feb-2023 07:29 5309448
libcoq-coqeal_1.1.3-1build1_amd64.deb 26-Jul-2023 07:55 5290298
libcoq-coqeal_2.0.1-1build5_amd64.deb 09-Apr-2024 07:42 5510748
libcoq-coqeal_2.0.2-1_amd64.deb 03-May-2024 19:33 6031516
libcoq-coqeal_2.0.2-1build1_amd64.deb 13-May-2024 18:40 6031242
libcoq-coqeal_2.0.2-1build2_amd64.deb 21-May-2024 17:18 6031018
libcoq-coqeal_2.0.2-1build3_amd64.deb 06-Jun-2024 01:57 6031686
libcoq-coqeal_2.0.2-1build4_amd64.deb 16-Jun-2024 02:12 6005766
libcoq-coqeal_2.0.2-1build5_amd64.deb 30-Jun-2024 11:29 6006290
libcoq-coqeal_2.0.2-2_amd64.deb 05-Aug-2024 17:36 6005546
libcoq-coqeal_2.0.2-2build2_amd64.deb 07-Sep-2024 21:39 6004712
libcoq-coqeal_2.0.2-2build3_amd64.deb 08-Sep-2024 07:59 6004910
libcoq-coqeal_2.0.2-2build4_amd64.deb 13-Sep-2024 09:16 6004692
libcoq-coqeal_2.0.2-2build5_amd64.deb 20-Sep-2024 04:15 6004802
libcoq-coqeal_2.0.2-2build6_amd64.deb 20-Nov-2024 13:29 6004986
libcoq-coqeal_2.0.2-2build7_amd64.deb 21-Nov-2024 18:48 5926900
libcoq-coqeal_2.0.3-1_amd64.deb 19-Dec-2024 00:49 5926892
libcoq-coqeal_2.0.3-1build1_amd64.deb 21-Dec-2024 00:57 6317098