淡江大學FTP伺服器

/檔案列表/Linux/Ubuntu/ubuntu/pool/universe/p/paramcoq/

File

Size

Last Modified

.. - Dec 12 2025 05:12:26 AM

libcoq-paramcoq_1.1.3+coq8.18-1build2_am... 127KB Apr 01 2024 02:51:32 PM

libcoq-paramcoq_1.1.3+coq8.20-1build3_am... 121KB Feb 19 2025 05:25:33 AM

libcoq-paramcoq_1.1.3+coq8.20-1build4_am... 121KB Jun 20 2025 09:23:36 PM

paramcoq_1.1.3+coq8.18-1build2.debian.ta... 3KB Apr 01 2024 01:43:08 PM

paramcoq_1.1.3+coq8.18-1build2.dsc 2KB Apr 01 2024 01:43:08 PM

paramcoq_1.1.3+coq8.18.orig.tar.gz 45KB Dec 23 2023 01:26:53 AM

paramcoq_1.1.3+coq8.20-1build3.debian.ta... 3KB Feb 19 2025 05:25:06 AM

paramcoq_1.1.3+coq8.20-1build3.dsc 2KB Feb 19 2025 05:25:06 AM

paramcoq_1.1.3+coq8.20-1build4.debian.ta... 3KB Jun 20 2025 09:22:26 PM

paramcoq_1.1.3+coq8.20-1build4.dsc 2KB Jun 20 2025 09:22:26 PM

paramcoq_1.1.3+coq8.20.orig.tar.gz 45KB Nov 21 2024 02:47:20 AM