淡江大學FTP伺服器

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

File

Size

Last Modified

.. - May 12 2025 04:11:42 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_8.19-2build3.debian.tar.xz 3KB Sep 07 2024 11:43:56 PM

coq-hott_8.19-2build3.dsc 2KB Sep 07 2024 11:43:56 PM

coq-hott_8.19.orig.tar.gz 961KB May 02 2024 07:53:15 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.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_8.19-2build3_amd64.deb 15815KB Sep 07 2024 11:44:00 PM

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