淡江大學FTP伺服器

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

File

Size

Last Modified

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

coq-serapi_8.20.0+0.20.0-1+b4_amd64.deb 30321KB Jun 15 2025 09:53:14 AM

coq-serapi_8.20.0+0.20.0-1+b4_arm64.deb 35218KB Jun 15 2025 01:38:06 PM

coq-serapi_8.20.0+0.20.0-1+b4_ppc64el.deb 30285KB Jun 15 2025 02:18:28 PM

coq-serapi_8.20.0+0.20.0-1+b4_riscv64.deb 31454KB Jun 15 2025 02:23:32 PM

coq-serapi_8.20.0+0.20.0-1.debian.tar.xz 9KB Nov 20 2024 05:57:49 PM

coq-serapi_8.20.0+0.20.0-1.dsc 2KB Nov 20 2024 05:57:49 PM

coq-serapi_8.20.0+0.20.0.orig.tar.gz 178KB Nov 20 2024 05:57:49 PM

libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1+... 16990KB Jun 15 2025 09:53:14 AM

libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1+... 17167KB Jun 15 2025 01:38:06 PM

libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1+... 17353KB Jun 15 2025 02:18:28 PM

libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1+... 18885KB Jun 15 2025 02:23:32 PM

libcoq-serapi-ocaml_8.20.0+0.20.0-1+b4_a... 6249KB Jun 15 2025 09:53:14 AM

libcoq-serapi-ocaml_8.20.0+0.20.0-1+b4_a... 6499KB Jun 15 2025 01:38:06 PM

libcoq-serapi-ocaml_8.20.0+0.20.0-1+b4_p... 6270KB Jun 15 2025 02:18:28 PM

libcoq-serapi-ocaml_8.20.0+0.20.0-1+b4_r... 6459KB Jun 15 2025 02:23:32 PM