淡江大學FTP伺服器

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

File

Size

Last Modified

.. - Jan 11 2025 03:12:41 PM

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-1_amd64.deb 121KB Nov 21 2024 07:31:47 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-1.debian.tar.xz 3KB Nov 21 2024 02:47:20 AM

paramcoq_1.1.3+coq8.20-1.dsc 2KB Nov 21 2024 02:47:20 AM

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