淡江大學FTP伺服器

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

File

Size

Last Modified

.. - Feb 10 2026 05:38:02 AM

coq-unimath_20231010-1build3.debian.tar.xz 2KB Apr 08 2024 03:57:40 PM

coq-unimath_20231010-1build3.dsc 2KB Apr 08 2024 03:57:40 PM

coq-unimath_20231010.orig.tar.gz 2825KB Dec 23 2023 07:27:09 AM

coq-unimath_20240923-2build3.debian.tar.xz 2KB Feb 19 2025 05:25:07 AM

coq-unimath_20240923-2build3.dsc 2KB Feb 19 2025 05:25:07 AM

coq-unimath_20240923-2build4.debian.tar.xz 2KB Jun 20 2025 09:22:26 PM

coq-unimath_20240923-2build4.dsc 2KB Jun 20 2025 09:22:26 PM

coq-unimath_20240923-2build5.debian.tar.xz 2KB Jan 06 2026 04:02:53 AM

coq-unimath_20240923-2build5.dsc 2KB Jan 06 2026 04:02:53 AM

coq-unimath_20240923-2build6.debian.tar.xz 2KB Jan 30 2026 03:54:59 AM

coq-unimath_20240923-2build6.dsc 2KB Jan 30 2026 03:54:59 AM

coq-unimath_20240923.orig.tar.gz 3525KB Nov 21 2024 02:47:26 AM

libcoq-unimath_20231010-1build3_amd64.deb 47616KB Apr 08 2024 09:14:24 PM

libcoq-unimath_20240923-2build3_amd64.deb 58024KB Feb 19 2025 08:22:19 AM

libcoq-unimath_20240923-2build4_amd64.deb 57777KB Jun 20 2025 11:15:16 PM

libcoq-unimath_20240923-2build5_amd64.deb 57777KB Jan 06 2026 04:07:26 AM

libcoq-unimath_20240923-2build5_amd64v3.deb 57777KB Jan 06 2026 04:07:38 AM

libcoq-unimath_20240923-2build6_amd64.deb 57777KB Jan 30 2026 08:03:51 AM

libcoq-unimath_20240923-2build6_amd64v3.deb 57777KB Jan 30 2026 08:05:47 AM