Index of /pub/linux/ubuntu/ports/pool/universe/c/coq-mtac2
Name Last modified Size Description
Parent Directory -
coq-mtac2_1.4+8.16-2build2.debian.tar.xz 2023-02-17 16:29 2.5K
coq-mtac2_1.4+8.16-2build2.dsc 2023-02-17 16:29 2.0K
coq-mtac2_1.4+8.16.orig.tar.gz 2022-11-06 12:17 245K
coq-mtac2_1.4+8.17-1build1.debian.tar.xz 2023-07-26 14:19 2.6K
coq-mtac2_1.4+8.17-1build1.dsc 2023-07-26 14:19 2.0K
coq-mtac2_1.4+8.17.orig.tar.gz 2023-06-13 20:34 246K
coq-mtac2_1.4+8.18-1build3.debian.tar.xz 2024-04-08 16:57 2.9K
coq-mtac2_1.4+8.18-1build3.dsc 2024-04-08 16:57 2.1K
coq-mtac2_1.4+8.18.orig.tar.gz 2023-12-24 02:16 246K
coq-mtac2_1.4+8.19-2.debian.tar.xz 2024-08-04 20:34 2.8K
coq-mtac2_1.4+8.19-2.dsc 2024-08-04 20:34 1.8K
coq-mtac2_1.4+8.19-2build1.debian.tar.xz 2024-08-15 16:47 2.9K
coq-mtac2_1.4+8.19-2build1.dsc 2024-08-15 16:47 2.0K
coq-mtac2_1.4+8.19.orig.tar.gz 2024-05-02 20:53 246K
libcoq-mtac2_1.4+8.16-2build2_arm64.deb 2023-02-17 16:29 852K
libcoq-mtac2_1.4+8.16-2build2_armhf.deb 2023-02-17 16:29 835K
libcoq-mtac2_1.4+8.16-2build2_ppc64el.deb 2023-02-17 16:29 840K
libcoq-mtac2_1.4+8.16-2build2_riscv64.deb 2023-02-17 17:04 836K
libcoq-mtac2_1.4+8.16-2build2_s390x.deb 2023-02-17 16:29 843K
libcoq-mtac2_1.4+8.17-1build1_arm64.deb 2023-07-26 16:55 863K
libcoq-mtac2_1.4+8.17-1build1_armhf.deb 2023-07-26 16:55 845K
libcoq-mtac2_1.4+8.17-1build1_ppc64el.deb 2023-07-26 16:56 851K
libcoq-mtac2_1.4+8.17-1build1_riscv64.deb 2023-07-26 17:54 847K
libcoq-mtac2_1.4+8.17-1build1_s390x.deb 2023-07-26 16:56 854K
libcoq-mtac2_1.4+8.18-1build3_arm64.deb 2024-04-08 22:14 885K
libcoq-mtac2_1.4+8.18-1build3_armhf.deb 2024-04-08 22:15 868K
libcoq-mtac2_1.4+8.18-1build3_ppc64el.deb 2024-04-08 22:15 873K
libcoq-mtac2_1.4+8.18-1build3_riscv64.deb 2024-04-08 22:15 875K
libcoq-mtac2_1.4+8.18-1build3_s390x.deb 2024-04-08 22:15 875K
libcoq-mtac2_1.4+8.19-2_arm64.deb 2024-08-05 01:09 900K
libcoq-mtac2_1.4+8.19-2_armhf.deb 2024-08-05 01:09 882K
libcoq-mtac2_1.4+8.19-2_ppc64el.deb 2024-08-05 01:09 890K
libcoq-mtac2_1.4+8.19-2_riscv64.deb 2024-08-05 01:09 888K
libcoq-mtac2_1.4+8.19-2_s390x.deb 2024-08-05 01:09 889K
libcoq-mtac2_1.4+8.19-2build1_arm64.deb 2024-08-15 19:32 907K
libcoq-mtac2_1.4+8.19-2build1_ppc64el.deb 2024-08-15 19:32 896K
libcoq-mtac2_1.4+8.19-2build1_riscv64.deb 2024-08-15 20:55 898K
libcoq-mtac2_1.4+8.19-2build1_s390x.deb 2024-08-15 19:32 896K