Index of /debian/pool/main/c/coqeal/
../
coqeal_1.1.1-3.debian.tar.xz 28-Jan-2023 00:30 2160
coqeal_1.1.1-3.dsc 28-Jan-2023 00:30 2158
coqeal_1.1.1.orig.tar.gz 08-Jul-2022 15:23 218742
coqeal_2.0.1-1.debian.tar.xz 21-Jan-2024 03:52 2292
coqeal_2.0.1-1.dsc 21-Jan-2024 03:52 2171
coqeal_2.0.1.orig.tar.gz 21-Jan-2024 03:52 216810
coqeal_2.0.2-1.debian.tar.xz 26-Apr-2024 22:17 2316
coqeal_2.0.2-1.dsc 26-Apr-2024 22:17 2171
coqeal_2.0.2-2.debian.tar.xz 04-Aug-2024 14:53 2372
coqeal_2.0.2-2.dsc 04-Aug-2024 14:53 1937
coqeal_2.0.2.orig.tar.gz 26-Apr-2024 22:17 217033
coqeal_2.0.3-1.debian.tar.xz 19-Dec-2024 00:13 2392
coqeal_2.0.3-1.dsc 19-Dec-2024 00:13 2183
coqeal_2.0.3.orig.tar.gz 19-Dec-2024 00:13 217009
coqeal_2.1.0-1.debian.tar.xz 18-Mar-2025 20:33 2408
coqeal_2.1.0-1.dsc 18-Mar-2025 20:33 2184
coqeal_2.1.0.orig.tar.gz 18-Mar-2025 20:33 226713
coqeal_2.1.1-1.debian.tar.xz 30-Oct-2025 17:09 2456
coqeal_2.1.1-1.dsc 30-Oct-2025 17:09 2156
coqeal_2.1.1-2.debian.tar.xz 12-Nov-2025 04:22 2500
coqeal_2.1.1-2.dsc 12-Nov-2025 04:22 2163
coqeal_2.1.1.orig.tar.gz 30-Oct-2025 17:09 227388
libcoq-coqeal_1.1.1-3+b1_amd64.deb 14-Feb-2023 14:27 4620840
libcoq-coqeal_2.0.1-1+b1_amd64.deb 17-Feb-2024 00:11 4788900
libcoq-coqeal_2.0.2-1+b1_amd64.deb 05-Jun-2024 09:03 5221968
libcoq-coqeal_2.0.2-1+b2_amd64.deb 15-Jun-2024 23:07 5221376
libcoq-coqeal_2.0.2-1+b3_amd64.deb 25-Jun-2024 17:58 5221916
libcoq-coqeal_2.0.2-1_amd64.deb 02-May-2024 23:30 5221100
libcoq-coqeal_2.0.2-2+b1_amd64.deb 11-Aug-2024 13:45 5223796
libcoq-coqeal_2.0.2-2+b2_amd64.deb 21-Aug-2024 17:57 5222816
libcoq-coqeal_2.0.2-2+b3_amd64.deb 31-Aug-2024 14:06 5222188
libcoq-coqeal_2.0.2-2+b4_amd64.deb 17-Sep-2024 21:38 5222012
libcoq-coqeal_2.0.2-2+b5_amd64.deb 13-Oct-2024 20:51 5223024
libcoq-coqeal_2.0.2-2+b7_amd64.deb 21-Nov-2024 09:04 5145512
libcoq-coqeal_2.0.2-2_amd64.deb 05-Aug-2024 05:02 5221712
libcoq-coqeal_2.0.3-1+b1_amd64.deb 20-Dec-2024 05:20 5449964
libcoq-coqeal_2.0.3-1+b2_amd64.deb 15-Jan-2025 15:53 5446932
libcoq-coqeal_2.0.3-1+b3_amd64.deb 30-Jan-2025 15:52 5448124
libcoq-coqeal_2.0.3-1_amd64.deb 19-Dec-2024 00:43 5143812
libcoq-coqeal_2.1.0-1+b1_amd64.deb 15-Jun-2025 19:15 5576408
libcoq-coqeal_2.1.0-1+b2_amd64.deb 26-Aug-2025 21:12 5575848
libcoq-coqeal_2.1.0-1+b3_amd64.deb 12-Sep-2025 07:14 5575728
libcoq-coqeal_2.1.0-1+b4_amd64.deb 16-Sep-2025 20:50 5575140
libcoq-coqeal_2.1.0-1+b5_amd64.deb 24-Sep-2025 20:33 5575144
libcoq-coqeal_2.1.0-1+b6_amd64.deb 17-Oct-2025 21:38 5575408
libcoq-coqeal_2.1.0-1+b7_amd64.deb 29-Oct-2025 06:12 5574896
libcoq-coqeal_2.1.0-1+b8_amd64.deb 28-Dec-2025 15:17 5576928
libcoq-coqeal_2.1.0-1_amd64.deb 19-Mar-2025 03:37 5575176
libcoq-coqeal_2.1.1-1_amd64.deb 30-Oct-2025 17:09 6408564
libcoq-coqeal_2.1.1-2_amd64.deb 12-Nov-2025 04:22 8402932