Index of /trisquel-packages/pool/main/c/coq-mtac2/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
coq-mtac2_1.4+8.18-1.debian.tar.xz2.7 KiB2023-Dec-23 17:16
coq-mtac2_1.4+8.18-1.dsc2.1 KiB2023-Dec-23 17:16
coq-mtac2_1.4+8.18-1build3.debian.tar.xz2.9 KiB2024-Apr-08 07:57
coq-mtac2_1.4+8.18-1build3.dsc2.1 KiB2024-Apr-08 07:57
coq-mtac2_1.4+8.18.orig.tar.gz246.2 KiB2023-Dec-23 17:16
libcoq-mtac2_1.4+8.18-1_amd64.deb1.3 MiB2023-Dec-23 17:56
libcoq-mtac2_1.4+8.18-1_arm64.deb1.3 MiB2023-Dec-23 17:56
libcoq-mtac2_1.4+8.18-1_armhf.deb1.3 MiB2023-Dec-23 17:57
libcoq-mtac2_1.4+8.18-1_ppc64el.deb1.3 MiB2023-Dec-23 17:57
libcoq-mtac2_1.4+8.18-1_riscv64.deb1.3 MiB2023-Dec-23 17:57
libcoq-mtac2_1.4+8.18-1build3_amd64.deb864.7 KiB2024-Apr-08 10:59
libcoq-mtac2_1.4+8.18-1build3_arm64.deb885.3 KiB2024-Apr-08 13:14
libcoq-mtac2_1.4+8.18-1build3_armhf.deb867.6 KiB2024-Apr-08 13:15
libcoq-mtac2_1.4+8.18-1build3_ppc64el.deb872.6 KiB2024-Apr-08 13:15
libcoq-mtac2_1.4+8.18-1build3_riscv64.deb875.0 KiB2024-Apr-08 13:15