淡江大學FTP伺服器

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

File

Size

Last Modified

.. - May 12 2025 04:11:42 PM

coq-equations_1.3-8.18-1build3.debian.ta... 3KB Apr 08 2024 03:57:39 PM

coq-equations_1.3-8.18-1build3.dsc 2KB Apr 08 2024 03:57:39 PM

coq-equations_1.3-8.18.orig.tar.gz 1077KB Dec 24 2023 01:16:59 AM

coq-equations_1.3-8.19-2build3.debian.ta... 3KB Sep 08 2024 03:04:33 AM

coq-equations_1.3-8.19-2build3.dsc 2KB Sep 08 2024 03:04:33 AM

coq-equations_1.3-8.19.orig.tar.gz 1077KB May 02 2024 07:53:16 PM

coq-equations_1.3.1-8.20-1build4.debian.... 3KB Feb 19 2025 03:52:17 PM

coq-equations_1.3.1-8.20-1build4.dsc 2KB Feb 19 2025 03:52:17 PM

coq-equations_1.3.1-8.20.orig.tar.gz 1078KB Nov 21 2024 02:47:28 AM

libcoq-equations_1.3-8.18-1build3_amd64.deb 1554KB Apr 08 2024 06:59:16 PM

libcoq-equations_1.3-8.19-2build3_amd64.deb 1327KB Sep 08 2024 03:05:04 AM

libcoq-equations_1.3.1-8.20-1build4_amd6... 1316KB Feb 19 2025 03:53:21 PM