淡江大學FTP伺服器

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

File

Size

Last Modified

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

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_20240331-2build3.debian.tar.xz 2KB Sep 07 2024 11:43:55 PM

coq-unimath_20240331-2build3.dsc 2KB Sep 07 2024 11:43:55 PM

coq-unimath_20240331.orig.tar.gz 3246KB May 02 2024 08:38:56 PM

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.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_20240331-2build3_amd64.deb 55257KB Sep 08 2024 12:34:38 AM

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