淡江大學FTP伺服器

/檔案列表/Linux/Debian/debian/pool/main/c/coq-unimath/

File

Size

Last Modified

.. - May 04 2025 05:10:09 PM

coq-unimath_20220816-2.debian.tar.xz 2KB Jan 25 2023 07:55:54 PM

coq-unimath_20220816-2.dsc 2KB Jan 25 2023 07:55:54 PM

coq-unimath_20220816.orig.tar.gz 1940KB Aug 22 2022 08:11:16 PM

coq-unimath_20240923-2.debian.tar.xz 2KB Nov 25 2024 09:32:03 PM

coq-unimath_20240923-2.dsc 2KB Nov 25 2024 09:32:03 PM

coq-unimath_20240923.orig.tar.gz 3525KB Nov 20 2024 06:02:49 PM

libcoq-unimath_20220816-2+b1_amd64.deb 39847KB Feb 13 2023 04:59:43 PM

libcoq-unimath_20220816-2+b1_arm64.deb 39803KB Feb 13 2023 10:58:25 PM

libcoq-unimath_20220816-2+b1_armhf.deb 39827KB Feb 14 2023 02:56:59 AM

libcoq-unimath_20220816-2+b1_i386.deb 39949KB Feb 13 2023 04:59:42 PM

libcoq-unimath_20220816-2+b1_ppc64el.deb 39829KB Feb 13 2023 11:44:36 PM

libcoq-unimath_20220816-2+b1_s390x.deb 39838KB Feb 13 2023 05:44:58 PM

libcoq-unimath_20240923-2+b4_amd64.deb 50653KB Jun 15 2025 07:45:33 PM

libcoq-unimath_20240923-2+b4_arm64.deb 50655KB Jun 15 2025 07:40:31 PM

libcoq-unimath_20240923-2+b4_ppc64el.deb 50657KB Jun 15 2025 07:45:34 PM

libcoq-unimath_20240923-2+b4_riscv64.deb 50653KB Jun 17 2025 01:29:37 AM

libcoq-unimath_20240923-2+b4_s390x.deb 50652KB Jun 17 2025 01:34:38 AM