淡江大學FTP伺服器

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

File

Size

Last Modified

.. - Feb 14 2026 08:08:05 PM

coq-hott_8.18-3build4.debian.tar.xz 3KB Apr 08 2024 03:57:41 PM

coq-hott_8.18-3build4.dsc 2KB Apr 08 2024 03:57:41 PM

coq-hott_8.18.orig.tar.gz 888KB Sep 04 2023 04:09:29 PM

coq-hott_9.0-1build1.debian.tar.xz 3KB Feb 19 2025 05:25:08 AM

coq-hott_9.0-1build1.dsc 2KB Feb 19 2025 05:25:08 AM

coq-hott_9.0-1build2.debian.tar.xz 3KB Jun 20 2025 09:22:27 PM

coq-hott_9.0-1build2.dsc 2KB Jun 20 2025 09:22:27 PM

coq-hott_9.0-1build5.debian.tar.xz 3KB Mar 04 2026 05:25:19 AM

coq-hott_9.0-1build5.dsc 2KB Mar 04 2026 05:25:19 AM

coq-hott_9.0.orig.tar.gz 1093KB Feb 18 2025 09:39:13 AM

libcoq-hott_8.18-3build4_amd64.deb 14120KB Apr 08 2024 03:57:46 PM

libcoq-hott_9.0-1build1_amd64.deb 16536KB Feb 19 2025 05:25:30 AM

libcoq-hott_9.0-1build2_amd64.deb 16487KB Jun 20 2025 09:23:36 PM

libcoq-hott_9.0-1build2_arm64.deb 16486KB Jun 20 2025 09:24:42 PM

libcoq-hott_9.0-1build5_amd64.deb 16486KB Mar 04 2026 05:26:26 AM

libcoq-hott_9.0-1build5_amd64v3.deb 16486KB Mar 04 2026 05:26:54 AM

libcoq-hott_9.0-1build5_arm64.deb 16486KB Mar 04 2026 05:27:17 AM