淡江大學FTP伺服器

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

File

Size

Last Modified

.. - Feb 10 2026 05:38:02 AM

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-1build7.debian.tar.xz 3KB Jan 06 2026 04:02:51 AM

coq-mtac2_1.4+8.20-1build7.dsc 2KB Jan 06 2026 04:02:51 AM

coq-mtac2_1.4+8.20-1build8.debian.tar.xz 3KB Jan 30 2026 03:54:59 AM

coq-mtac2_1.4+8.20-1build8.dsc 2KB Jan 30 2026 03:54:59 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-1build7_amd64.deb 871KB Jan 06 2026 08:08:56 AM

libcoq-mtac2_1.4+8.20-1build7_amd64v3.deb 871KB Jan 06 2026 08:09:09 AM

libcoq-mtac2_1.4+8.20-1build8_amd64.deb 871KB Jan 30 2026 05:03:16 PM

libcoq-mtac2_1.4+8.20-1build8_amd64v3.deb 871KB Jan 30 2026 05:03:44 PM