淡江大學FTP伺服器

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

Folder.. - May 31 2024 02:00:12 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-1.debian.tar.xzcoq-reglang_1.2.1-1.debian.tar.xz 8KB Jan 21 2024 04:13:22 AM
coq-reglang_1.2.1-1.dsccoq-reglang_1.2.1-1.dsc 2KB Jan 21 2024 04:13:22 AM
coq-reglang_1.2.1-3.debian.tar.xzcoq-reglang_1.2.1-3.debian.tar.xz 8KB Apr 26 2024 10:06:43 PM
coq-reglang_1.2.1-3.dsccoq-reglang_1.2.1-3.dsc 2KB Apr 26 2024 10:06:43 PM
coq-reglang_1.2.1.orig.tar.gzcoq-reglang_1.2.1.orig.tar.gz 68KB Jan 21 2024 04:13:22 AM
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-1+b1_amd64.deblibcoq-reglang_1.2.1-1+b1_amd64.deb 707KB Feb 16 2024 11:04:48 PM
libcoq-reglang_1.2.1-1+b1_arm64.deblibcoq-reglang_1.2.1-1+b1_arm64.deb 707KB Feb 17 2024 01:36:50 AM
libcoq-reglang_1.2.1-1+b1_i386.deblibcoq-reglang_1.2.1-1+b1_i386.deb 707KB Feb 16 2024 10:59:41 PM
libcoq-reglang_1.2.1-1+b1_ppc64el.deblibcoq-reglang_1.2.1-1+b1_ppc64el.deb 707KB Feb 16 2024 11:20:05 PM
libcoq-reglang_1.2.1-1+b1_s390x.deblibcoq-reglang_1.2.1-1+b1_s390x.deb 707KB Feb 16 2024 10:59:45 PM
libcoq-reglang_1.2.1-1+b2_armhf.deblibcoq-reglang_1.2.1-1+b2_armhf.deb 707KB Apr 01 2024 07:29:54 AM
libcoq-reglang_1.2.1-1+b2_s390x.deblibcoq-reglang_1.2.1-1+b2_s390x.deb 707KB Mar 20 2024 09:08:28 PM
libcoq-reglang_1.2.1-3+b1_amd64.deblibcoq-reglang_1.2.1-3+b1_amd64.deb 735KB Jun 05 2024 07:37:52 AM
libcoq-reglang_1.2.1-3+b1_arm64.deblibcoq-reglang_1.2.1-3+b1_arm64.deb 735KB Jun 05 2024 06:21:52 PM
libcoq-reglang_1.2.1-3+b1_i386.deblibcoq-reglang_1.2.1-3+b1_i386.deb 735KB Jun 05 2024 07:37:55 AM
libcoq-reglang_1.2.1-3+b1_riscv64.deblibcoq-reglang_1.2.1-3+b1_riscv64.deb 735KB Jun 05 2024 10:59:27 PM
libcoq-reglang_1.2.1-3_amd64.deblibcoq-reglang_1.2.1-3_amd64.deb 735KB Apr 30 2024 11:06:40 PM
libcoq-reglang_1.2.1-3_arm64.deblibcoq-reglang_1.2.1-3_arm64.deb 735KB Apr 30 2024 11:06:24 PM
libcoq-reglang_1.2.1-3_i386.deblibcoq-reglang_1.2.1-3_i386.deb 735KB Apr 30 2024 11:06:32 PM
libcoq-reglang_1.2.1-3_ppc64el.deblibcoq-reglang_1.2.1-3_ppc64el.deb 735KB Apr 30 2024 11:06:31 PM
libcoq-reglang_1.2.1-3_riscv64.deblibcoq-reglang_1.2.1-3_riscv64.deb 735KB May 01 2024 01:28:07 AM
單位聯絡：張維廷 Tel：26215656 分機 2628 更新日期：06/06/2024

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