淡江大學FTP伺服器

/檔案列表/Linux/Ubuntu/ubuntu/pool/universe/c/coq-corn/

File

Size

Last Modified

.. - May 12 2025 04:11:42 PM

coq-corn_8.18.0-1build3.debian.tar.xz 4KB Apr 08 2024 03:57:38 PM

coq-corn_8.18.0-1build3.dsc 2KB Apr 08 2024 03:57:38 PM

coq-corn_8.18.0.orig.tar.gz 1289KB Dec 25 2023 01:26:57 AM

coq-corn_8.19.0+ds1-1build5.debian.tar.xz 4KB Sep 08 2024 11:03:49 AM

coq-corn_8.19.0+ds1-1build5.dsc 2KB Sep 08 2024 11:03:49 AM

coq-corn_8.19.0+ds1.orig.tar.gz 1290KB May 12 2024 07:49:26 AM

coq-corn_8.20.0-1build1.debian.tar.xz 4KB Feb 19 2025 03:52:07 PM

coq-corn_8.20.0-1build1.dsc 2KB Feb 19 2025 03:52:07 PM

coq-corn_8.20.0-1build3.debian.tar.xz 4KB May 28 2025 04:21:35 PM

coq-corn_8.20.0-1build3.dsc 2KB May 28 2025 04:21:35 PM

coq-corn_8.20.0.orig.tar.gz 1290KB Feb 18 2025 09:39:14 AM

libcoq-corn_8.18.0-1build3_amd64.deb 15027KB Apr 08 2024 10:36:30 PM

libcoq-corn_8.19.0+ds1-1build5_amd64.deb 14889KB Sep 08 2024 11:03:49 AM

libcoq-corn_8.20.0-1build1_amd64.deb 14853KB Feb 19 2025 07:16:15 PM

libcoq-corn_8.20.0-1build3_amd64.deb 14793KB May 28 2025 06:17:37 PM