淡江大學FTP伺服器

/檔案列表/Linux/Debian/debian/pool/main/r/rocq-stdlib/

File

Size

Last Modified

.. - Mar 26 2026 07:00:12 PM

libcoq-stdlib_9.0.0-3+b1_arm64.deb 19074KB Feb 15 2026 07:13:56 PM

libcoq-stdlib_9.0.0-3+b1_armhf.deb 19073KB Feb 15 2026 05:47:39 PM

libcoq-stdlib_9.0.0-3+b1_i386.deb 19070KB Feb 15 2026 05:47:38 PM

libcoq-stdlib_9.0.0-3+b1_ppc64el.deb 19085KB Feb 15 2026 05:37:33 PM

libcoq-stdlib_9.0.0-3+b1_s390x.deb 19071KB Feb 15 2026 05:37:33 PM

libcoq-stdlib_9.0.0-3+b2_amd64.deb 19075KB Feb 16 2026 03:11:07 AM

libcoq-stdlib_9.0.0-3+b3_riscv64.deb 19072KB Feb 16 2026 05:57:19 AM

rocq-stdlib_9.0.0-3.debian.tar.xz 2KB Nov 12 2025 01:34:46 AM

rocq-stdlib_9.0.0-3.dsc 2KB Nov 12 2025 01:34:46 AM

rocq-stdlib_9.0.0.orig.tar.gz 1784KB Sep 18 2025 12:06:56 AM