淡江大學FTP伺服器

/檔案列表/Linux/Ubuntu/ubuntu/pool/universe/c/coq-mtac2/

File

Size

Last Modified

.. - Feb 14 2026 08:08:05 PM

coq-mtac2_1.4+8.18-1build3.debian.tar.xz 3KB Apr 08 2024 03:57:39 PM

coq-mtac2_1.4+8.18-1build3.dsc 2KB Apr 08 2024 03:57:39 PM

coq-mtac2_1.4+8.18.orig.tar.gz 246KB Dec 24 2023 01:16:58 AM

coq-mtac2_1.4+8.20-1build5.debian.tar.xz 3KB Feb 20 2025 02:58:53 AM

coq-mtac2_1.4+8.20-1build5.dsc 2KB Feb 20 2025 02:58:53 AM

coq-mtac2_1.4+8.20-1build6.debian.tar.xz 3KB Jun 20 2025 09:22:25 PM

coq-mtac2_1.4+8.20-1build6.dsc 2KB Jun 20 2025 09:22:25 PM

coq-mtac2_1.4+8.20-1build9.debian.tar.xz 3KB Mar 05 2026 01:33:30 AM

coq-mtac2_1.4+8.20-1build9.dsc 2KB Mar 05 2026 01:33:30 AM

coq-mtac2_1.4+8.20.orig.tar.gz 246KB Nov 24 2024 08:12:06 AM

libcoq-mtac2_1.4+8.18-1build3_amd64.deb 865KB Apr 08 2024 06:59:15 PM

libcoq-mtac2_1.4+8.20-1build5_amd64.deb 873KB Feb 20 2025 07:03:08 AM

libcoq-mtac2_1.4+8.20-1build6_amd64.deb 871KB Jun 21 2025 01:40:39 AM

libcoq-mtac2_1.4+8.20-1build6_arm64.deb 890KB Jun 21 2025 01:40:42 AM

libcoq-mtac2_1.4+8.20-1build9_amd64.deb 871KB Mar 05 2026 01:34:40 AM

libcoq-mtac2_1.4+8.20-1build9_amd64v3.deb 871KB Mar 05 2026 01:34:46 AM

libcoq-mtac2_1.4+8.20-1build9_arm64.deb 890KB Mar 05 2026 04:49:35 PM