淡江大學FTP伺服器

/檔案列表/Linux/Ubuntu/ubuntu/pool/universe/c/coqeal/

File

Size

Last Modified

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

coqeal_2.0.1-1build5.debian.tar.xz 3KB Apr 08 2024 03:57:38 PM

coqeal_2.0.1-1build5.dsc 2KB Apr 08 2024 03:57:38 PM

coqeal_2.0.1.orig.tar.gz 212KB Jan 21 2024 01:45:48 PM

coqeal_2.0.2-2build5.debian.tar.xz 2KB Sep 18 2024 12:56:31 AM

coqeal_2.0.2-2build5.dsc 2KB Sep 18 2024 12:56:31 AM

coqeal_2.0.2.orig.tar.gz 212KB May 03 2024 09:55:06 AM

coqeal_2.0.3-1build6.debian.tar.xz 3KB Feb 19 2025 03:52:06 PM

coqeal_2.0.3-1build6.dsc 2KB Feb 19 2025 03:52:06 PM

coqeal_2.0.3.orig.tar.gz 212KB Dec 19 2024 07:41:43 AM

coqeal_2.1.0-1build1.debian.tar.xz 2KB May 28 2025 04:21:34 PM

coqeal_2.1.0-1build1.dsc 2KB May 28 2025 04:21:34 PM

coqeal_2.1.0.orig.tar.gz 221KB May 02 2025 12:23:24 AM

libcoq-coqeal_2.0.1-1build5_amd64.deb 5382KB Apr 09 2024 03:42:31 PM

libcoq-coqeal_2.0.2-2build5_amd64.deb 5864KB Sep 20 2024 12:15:36 PM

libcoq-coqeal_2.0.3-1build6_amd64.deb 6059KB Feb 21 2025 01:00:17 AM

libcoq-coqeal_2.1.0-1build1_amd64.deb 6304KB May 29 2025 09:44:24 AM