淡江大學FTP伺服器

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

File

Size

Last Modified

.. - Sep 01 2025 03:26:39 PM

coq-serapi_8.20.0+0.20.0-1build3.debian.... 9KB Feb 19 2025 05:25:08 AM

coq-serapi_8.20.0+0.20.0-1build3.dsc 2KB Feb 19 2025 05:25:08 AM

coq-serapi_8.20.0+0.20.0-1build3_amd64.deb 33916KB Feb 19 2025 05:25:32 AM

coq-serapi_8.20.0+0.20.0-1build4.debian.... 9KB Jun 20 2025 01:20:20 AM

coq-serapi_8.20.0+0.20.0-1build4.dsc 2KB Jun 20 2025 01:20:20 AM

coq-serapi_8.20.0+0.20.0-1build4_amd64.deb 33892KB Jun 20 2025 12:01:49 PM

coq-serapi_8.20.0+0.20.0.orig.tar.gz 178KB Nov 21 2024 02:47:26 AM

libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1b... 17158KB Feb 19 2025 05:25:31 AM

libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1b... 17143KB Jun 20 2025 12:01:48 PM

libcoq-serapi-ocaml_8.20.0+0.20.0-1build... 6458KB Feb 19 2025 05:25:31 AM

libcoq-serapi-ocaml_8.20.0+0.20.0-1build... 6451KB Jun 20 2025 12:01:48 PM