淡江大學FTP伺服器

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

File

Size

Last Modified

.. - Jun 16 2025 01:20:54 AM

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

libcoq-paramcoq_1.1.3+coq8.19-2build2_am... 121KB Sep 07 2024 11:44:00 PM

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

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.19-2build2.debian.ta... 3KB Sep 07 2024 11:43:55 PM

paramcoq_1.1.3+coq8.19-2build2.dsc 2KB Sep 07 2024 11:43:55 PM

paramcoq_1.1.3+coq8.19.orig.tar.gz 45KB May 03 2024 09:49:49 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.orig.tar.gz 45KB Nov 21 2024 02:47:20 AM