淡江大學FTP伺服器

/檔案列表/Linux/Kali/kali/pool/main/c/coq-serapi/

File

Size

Last Modified

.. - Mar 14 2025 02:22:12 PM

coq-serapi_8.20.0+0.20.0-1+b2_amd64.deb 30311KB Feb 13 2025 01:22:58 PM

coq-serapi_8.20.0+0.20.0-1+b2_arm64.deb 35235KB Feb 13 2025 01:23:14 PM

coq-serapi_8.20.0+0.20.0-1+b3_amd64.deb 30311KB Feb 19 2025 09:17:12 AM

coq-serapi_8.20.0+0.20.0-1+b3_arm64.deb 35133KB Feb 19 2025 09:22:21 AM

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+... 17001KB Feb 13 2025 01:22:58 PM

libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1+... 17185KB Feb 13 2025 01:23:14 PM

libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1+... 16998KB Feb 19 2025 09:17:12 AM

libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1+... 17186KB Feb 19 2025 09:22:22 AM

libcoq-serapi-ocaml_8.20.0+0.20.0-1+b2_a... 6254KB Feb 13 2025 01:22:58 PM

libcoq-serapi-ocaml_8.20.0+0.20.0-1+b2_a... 6499KB Feb 13 2025 01:23:15 PM

libcoq-serapi-ocaml_8.20.0+0.20.0-1+b3_a... 6252KB Feb 19 2025 09:17:12 AM

libcoq-serapi-ocaml_8.20.0+0.20.0-1+b3_a... 6503KB Feb 19 2025 09:22:22 AM