淡江大學FTP伺服器

/檔案列表/Linux/Debian/debian/pool/main/c/coq-reglang/

Folder.. - Dec 09 2025 03:00:10 AM
coq-reglang_1.1.3-2.debian.tar.xzcoq-reglang_1.1.3-2.debian.tar.xz 8KB Jan 26 2023 08:44:45 PM
coq-reglang_1.1.3-2.dsccoq-reglang_1.1.3-2.dsc 2KB Jan 26 2023 08:44:45 PM
coq-reglang_1.1.3.orig.tar.gzcoq-reglang_1.1.3.orig.tar.gz 65KB Jul 16 2022 05:06:38 AM
coq-reglang_1.2.1-4.debian.tar.xzcoq-reglang_1.2.1-4.debian.tar.xz 8KB Aug 04 2024 02:22:00 PM
coq-reglang_1.2.1-4.dsccoq-reglang_1.2.1-4.dsc 2KB Aug 04 2024 02:22:00 PM
coq-reglang_1.2.1.orig.tar.gzcoq-reglang_1.2.1.orig.tar.gz 68KB Jan 21 2024 04:13:22 AM
coq-reglang_1.2.2-1.debian.tar.xzcoq-reglang_1.2.2-1.debian.tar.xz 9KB Oct 30 2025 03:18:25 PM
coq-reglang_1.2.2-1.dsccoq-reglang_1.2.2-1.dsc 2KB Oct 30 2025 03:18:25 PM
coq-reglang_1.2.2-2.debian.tar.xzcoq-reglang_1.2.2-2.debian.tar.xz 9KB Nov 12 2025 03:47:04 AM
coq-reglang_1.2.2-2.dsccoq-reglang_1.2.2-2.dsc 2KB Nov 12 2025 03:47:04 AM
coq-reglang_1.2.2.orig.tar.gzcoq-reglang_1.2.2.orig.tar.gz 68KB Oct 30 2025 03:18:25 PM
libcoq-reglang_1.1.3-2+b1_amd64.deblibcoq-reglang_1.1.3-2+b1_amd64.deb 708KB Feb 13 2023 03:28:44 PM
libcoq-reglang_1.1.3-2+b1_arm64.deblibcoq-reglang_1.1.3-2+b1_arm64.deb 707KB Feb 13 2023 03:28:46 PM
libcoq-reglang_1.1.3-2+b1_armhf.deblibcoq-reglang_1.1.3-2+b1_armhf.deb 707KB Feb 13 2023 03:28:46 PM
libcoq-reglang_1.1.3-2+b1_i386.deblibcoq-reglang_1.1.3-2+b1_i386.deb 707KB Feb 13 2023 03:39:03 PM
libcoq-reglang_1.1.3-2+b1_ppc64el.deblibcoq-reglang_1.1.3-2+b1_ppc64el.deb 707KB Feb 14 2023 07:55:38 AM
libcoq-reglang_1.1.3-2+b1_s390x.deblibcoq-reglang_1.1.3-2+b1_s390x.deb 707KB Feb 13 2023 06:20:11 PM
libcoq-reglang_1.2.1-4+b13_arm64.deblibcoq-reglang_1.2.1-4+b13_arm64.deb 855KB Jun 15 2025 03:38:48 PM
libcoq-reglang_1.2.1-4+b13_ppc64el.deblibcoq-reglang_1.2.1-4+b13_ppc64el.deb 855KB Jun 15 2025 04:44:04 PM
libcoq-reglang_1.2.1-4+b13_riscv64.deblibcoq-reglang_1.2.1-4+b13_riscv64.deb 855KB Jun 18 2025 05:40:08 AM
libcoq-reglang_1.2.1-4+b14_amd64.deblibcoq-reglang_1.2.1-4+b14_amd64.deb 855KB Jun 15 2025 12:21:41 PM
libcoq-reglang_1.2.1-4+b14_s390x.deblibcoq-reglang_1.2.1-4+b14_s390x.deb 855KB Jun 18 2025 06:48:00 AM
libcoq-reglang_1.2.1-4+b19_arm64.deblibcoq-reglang_1.2.1-4+b19_arm64.deb 855KB Oct 29 2025 04:48:49 AM
libcoq-reglang_1.2.1-4+b19_ppc64el.deblibcoq-reglang_1.2.1-4+b19_ppc64el.deb 855KB Oct 29 2025 04:43:39 AM
libcoq-reglang_1.2.1-4+b19_riscv64.deblibcoq-reglang_1.2.1-4+b19_riscv64.deb 855KB Oct 29 2025 05:24:17 PM
libcoq-reglang_1.2.1-4+b20_amd64.deblibcoq-reglang_1.2.1-4+b20_amd64.deb 855KB Oct 29 2025 04:48:46 AM
libcoq-reglang_1.2.1-4+b20_s390x.deblibcoq-reglang_1.2.1-4+b20_s390x.deb 855KB Oct 29 2025 04:48:48 AM
libcoq-reglang_1.2.2-1_arm64.deblibcoq-reglang_1.2.2-1_arm64.deb 872KB Oct 30 2025 11:10:34 PM
libcoq-reglang_1.2.2-1_ppc64el.deblibcoq-reglang_1.2.2-1_ppc64el.deb 872KB Oct 31 2025 04:57:56 AM
libcoq-reglang_1.2.2-1_s390x.deblibcoq-reglang_1.2.2-1_s390x.deb 872KB Oct 31 2025 07:44:01 PM
libcoq-reglang_1.2.2-2_amd64.deblibcoq-reglang_1.2.2-2_amd64.deb 939KB Nov 12 2025 03:47:04 AM
單位聯絡：張維廷 Tel：26215656 分機 2628 更新日期：12/15/2025

Copyright 2009 淡江大學資訊處 建議最佳瀏覽器為IE6.0 以上版本，最佳視窗解析度為1024x768