Index of /ubuntu/pool/universe/c/coq-mtac2/
../
coq-mtac2_1.4+8.16-2build2.debian.tar.xz 17-Feb-2023 14:29 2576
coq-mtac2_1.4+8.16-2build2.dsc 17-Feb-2023 14:29 2099
coq-mtac2_1.4+8.16.orig.tar.gz 06-Nov-2022 10:17 245K
coq-mtac2_1.4+8.17-1build1.debian.tar.xz 26-Jul-2023 12:19 2680
coq-mtac2_1.4+8.17-1build1.dsc 26-Jul-2023 12:19 2099
coq-mtac2_1.4+8.17-1build2.debian.tar.xz 06-Nov-2023 23:44 2700
coq-mtac2_1.4+8.17-1build2.dsc 06-Nov-2023 23:44 2099
coq-mtac2_1.4+8.17-1build3.debian.tar.xz 23-Nov-2023 07:05 2724
coq-mtac2_1.4+8.17-1build3.dsc 23-Nov-2023 07:05 2099
coq-mtac2_1.4+8.17-1build4.debian.tar.xz 23-Nov-2023 16:59 2732
coq-mtac2_1.4+8.17-1build4.dsc 23-Nov-2023 16:59 2099
coq-mtac2_1.4+8.17-1build5.debian.tar.xz 23-Dec-2023 19:47 2792
coq-mtac2_1.4+8.17-1build5.dsc 23-Dec-2023 19:47 2099
coq-mtac2_1.4+8.17.orig.tar.gz 13-Jun-2023 18:34 246K
coq-mtac2_1.4+8.18-1.debian.tar.xz 24-Dec-2023 00:16 2756
coq-mtac2_1.4+8.18-1.dsc 24-Dec-2023 00:16 2100
coq-mtac2_1.4+8.18-1build1.debian.tar.xz 24-Mar-2024 07:53 2868
coq-mtac2_1.4+8.18-1build1.dsc 24-Mar-2024 07:53 2215
coq-mtac2_1.4+8.18-1build2.debian.tar.xz 01-Apr-2024 01:36 2896
coq-mtac2_1.4+8.18-1build2.dsc 01-Apr-2024 01:36 2215
coq-mtac2_1.4+8.18-1build3.debian.tar.xz 08-Apr-2024 14:57 2952
coq-mtac2_1.4+8.18-1build3.dsc 08-Apr-2024 14:57 2178
coq-mtac2_1.4+8.18.orig.tar.gz 24-Dec-2023 00:16 246K
coq-mtac2_1.4+8.19-1.debian.tar.xz 02-May-2024 18:53 2788
coq-mtac2_1.4+8.19-1.dsc 02-May-2024 18:53 2100
coq-mtac2_1.4+8.19-1build1.debian.tar.xz 03-May-2024 03:28 2860
coq-mtac2_1.4+8.19-1build1.dsc 03-May-2024 03:28 2099
coq-mtac2_1.4+8.19-1build2.debian.tar.xz 15-Jun-2024 21:43 2872
coq-mtac2_1.4+8.19-1build2.dsc 15-Jun-2024 21:43 2099
coq-mtac2_1.4+8.19-2.debian.tar.xz 04-Aug-2024 18:34 2856
coq-mtac2_1.4+8.19-2.dsc 04-Aug-2024 18:34 1872
coq-mtac2_1.4+8.19-2build1.debian.tar.xz 15-Aug-2024 14:47 2924
coq-mtac2_1.4+8.19-2build1.dsc 15-Aug-2024 14:47 2099
coq-mtac2_1.4+8.19-2build2.debian.tar.xz 07-Sep-2024 14:08 2980
coq-mtac2_1.4+8.19-2build2.dsc 07-Sep-2024 14:08 2099
coq-mtac2_1.4+8.19-2build3.debian.tar.xz 08-Sep-2024 02:04 2992
coq-mtac2_1.4+8.19-2build3.dsc 08-Sep-2024 02:04 2099
coq-mtac2_1.4+8.19-3.debian.tar.xz 21-Nov-2024 01:47 4916
coq-mtac2_1.4+8.19-3.dsc 21-Nov-2024 01:47 2100
coq-mtac2_1.4+8.19.orig.tar.gz 02-May-2024 18:53 246K
coq-mtac2_1.4+8.20-1.debian.tar.xz 24-Nov-2024 07:12 2924
coq-mtac2_1.4+8.20-1.dsc 24-Nov-2024 07:12 2100
coq-mtac2_1.4+8.20-1build1.debian.tar.xz 24-Nov-2024 14:42 2988
coq-mtac2_1.4+8.20-1build1.dsc 24-Nov-2024 14:42 2099
coq-mtac2_1.4+8.20-1build2.debian.tar.xz 02-Feb-2025 14:27 3040
coq-mtac2_1.4+8.20-1build2.dsc 02-Feb-2025 14:27 2099
coq-mtac2_1.4+8.20-1build3.debian.tar.xz 14-Feb-2025 07:54 3092
coq-mtac2_1.4+8.20-1build3.dsc 14-Feb-2025 07:54 2099
coq-mtac2_1.4+8.20-1build4.debian.tar.xz 19-Feb-2025 09:07 3100
coq-mtac2_1.4+8.20-1build4.dsc 19-Feb-2025 09:07 2099
coq-mtac2_1.4+8.20-1build5.debian.tar.xz 20-Feb-2025 01:58 3120
coq-mtac2_1.4+8.20-1build5.dsc 20-Feb-2025 01:58 2099
coq-mtac2_1.4+8.20-1build6.debian.tar.xz 20-Jun-2025 20:22 3140
coq-mtac2_1.4+8.20-1build6.dsc 20-Jun-2025 20:22 2099
coq-mtac2_1.4+8.20.orig.tar.gz 24-Nov-2024 07:12 246K
libcoq-mtac2_1.4+8.16-2build2_amd64.deb 17-Feb-2023 14:29 831K
libcoq-mtac2_1.4+8.17-1build1_amd64.deb 26-Jul-2023 14:55 841K
libcoq-mtac2_1.4+8.17-1build2_amd64.deb 07-Nov-2023 17:46 841K
libcoq-mtac2_1.4+8.17-1build3_amd64.deb 23-Nov-2023 07:05 841K
libcoq-mtac2_1.4+8.17-1build4_amd64.deb 23-Nov-2023 16:59 841K
libcoq-mtac2_1.4+8.18-1_amd64.deb 24-Dec-2023 00:56 1M
libcoq-mtac2_1.4+8.18-1build1_amd64.deb 24-Mar-2024 14:47 865K
libcoq-mtac2_1.4+8.18-1build2_amd64.deb 01-Apr-2024 02:32 865K
libcoq-mtac2_1.4+8.18-1build3_amd64.deb 08-Apr-2024 17:59 865K
libcoq-mtac2_1.4+8.19-1_amd64.deb 03-May-2024 01:44 879K
libcoq-mtac2_1.4+8.19-1build1_amd64.deb 03-May-2024 03:28 879K
libcoq-mtac2_1.4+8.19-1build2_amd64.deb 16-Jun-2024 01:13 879K
libcoq-mtac2_1.4+8.19-2_amd64.deb 04-Aug-2024 23:09 879K
libcoq-mtac2_1.4+8.19-2build1_amd64.deb 15-Aug-2024 17:32 887K
libcoq-mtac2_1.4+8.19-2build2_amd64.deb 07-Sep-2024 15:10 887K
libcoq-mtac2_1.4+8.19-2build3_amd64.deb 08-Sep-2024 02:05 887K
libcoq-mtac2_1.4+8.19-3_amd64.deb 21-Nov-2024 10:11 872K
libcoq-mtac2_1.4+8.20-1_amd64.deb 24-Nov-2024 07:12 873K
libcoq-mtac2_1.4+8.20-1build1_amd64.deb 24-Nov-2024 14:42 872K
libcoq-mtac2_1.4+8.20-1build2_amd64.deb 02-Feb-2025 14:27 873K
libcoq-mtac2_1.4+8.20-1build3_amd64.deb 14-Feb-2025 15:30 873K
libcoq-mtac2_1.4+8.20-1build4_amd64.deb 19-Feb-2025 12:19 873K
libcoq-mtac2_1.4+8.20-1build5_amd64.deb 20-Feb-2025 06:03 873K
libcoq-mtac2_1.4+8.20-1build6_amd64.deb 21-Jun-2025 00:40 871K