淡江大學FTP伺服器

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

File

Size

Last Modified

.. - Mar 05 2025 10:37:56 AM

coq-serapi_8.19.0+0.19.3-4build2.debian.... 10KB Sep 07 2024 07:05:16 AM

coq-serapi_8.19.0+0.19.3-4build2.dsc 2KB Sep 07 2024 07:05:16 AM

coq-serapi_8.19.0+0.19.3-4build2_amd64.deb 34141KB Sep 07 2024 07:05:40 AM

coq-serapi_8.19.0+0.19.3.orig.tar.gz 175KB May 27 2024 01:38:04 AM

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.orig.tar.gz 178KB Nov 21 2024 02:47:26 AM

libcoq-serapi-ocaml-dev_8.19.0+0.19.3-4b... 16529KB Sep 07 2024 07:05:39 AM

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

libcoq-serapi-ocaml_8.19.0+0.19.3-4build... 6152KB Sep 07 2024 07:05:39 AM

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