../ coq-mtac2_1.4+8.16-2.debian.tar.xz 26-Jan-2023 12:44 2480 coq-mtac2_1.4+8.16-2.dsc 26-Jan-2023 12:44 2100 coq-mtac2_1.4+8.16.orig.tar.gz 06-Sep-2022 09:09 251070 coq-mtac2_1.4+8.18-1.debian.tar.xz 22-Dec-2023 11:07 2756 coq-mtac2_1.4+8.18-1.dsc 22-Dec-2023 11:07 2100 coq-mtac2_1.4+8.18.orig.tar.gz 22-Dec-2023 11:07 252158 coq-mtac2_1.4+8.19-1.debian.tar.xz 26-Apr-2024 14:06 2788 coq-mtac2_1.4+8.19-1.dsc 26-Apr-2024 14:06 2100 coq-mtac2_1.4+8.19.orig.tar.gz 26-Apr-2024 14:06 252242 libcoq-mtac2_1.4+8.16-2+b1_amd64.deb 13-Feb-2023 07:28 762732 libcoq-mtac2_1.4+8.16-2+b1_arm64.deb 13-Feb-2023 07:28 771848 libcoq-mtac2_1.4+8.16-2+b1_armhf.deb 13-Feb-2023 07:28 760920 libcoq-mtac2_1.4+8.16-2+b1_i386.deb 13-Feb-2023 07:34 750740 libcoq-mtac2_1.4+8.18-1_amd64.deb 23-Dec-2023 11:52 785092 libcoq-mtac2_1.4+8.18-1_arm64.deb 23-Dec-2023 11:52 795192 libcoq-mtac2_1.4+8.18-1_armhf.deb 23-Dec-2023 11:52 783812 libcoq-mtac2_1.4+8.18-1_i386.deb 23-Dec-2023 11:52 773416 libcoq-mtac2_1.4+8.19-1_amd64.deb 28-Apr-2024 15:11 796760 libcoq-mtac2_1.4+8.19-1_arm64.deb 28-Apr-2024 15:11 807184 libcoq-mtac2_1.4+8.19-1_armhf.deb 28-Apr-2024 15:16 795236 libcoq-mtac2_1.4+8.19-1_i386.deb 28-Apr-2024 15:11 785080 libcoq-mtac2_1.4+8.19-1_riscv64.deb 28-Apr-2024 15:47 800540