淡江大學FTP伺服器

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

File

Size

Last Modified

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

coq-quickchick_2.0.2-1build5.debian.tar.xz 3KB Apr 08 2024 03:57:38 PM

coq-quickchick_2.0.2-1build5.dsc 2KB Apr 08 2024 03:57:38 PM

coq-quickchick_2.0.2.orig.tar.gz 406KB Jan 21 2024 07:35:34 AM

coq-quickchick_2.0.3-3build5.debian.tar.xz 3KB Sep 18 2024 12:56:32 AM

coq-quickchick_2.0.3-3build5.dsc 2KB Sep 18 2024 12:56:32 AM

coq-quickchick_2.0.3.orig.tar.gz 402KB May 02 2024 07:53:14 PM

coq-quickchick_2.0.5-1build6.debian.tar.xz 3KB Feb 19 2025 03:52:06 PM

coq-quickchick_2.0.5-1build6.dsc 2KB Feb 19 2025 03:52:06 PM

coq-quickchick_2.0.5.orig.tar.gz 403KB Dec 19 2024 07:41:43 AM

libcoq-quickchick_2.0.2-1build5_amd64.deb 1905KB Apr 08 2024 10:36:31 PM

libcoq-quickchick_2.0.3-3build5_amd64.deb 4440KB Sep 20 2024 07:39:49 AM

libcoq-quickchick_2.0.5-1build6_amd64.deb 4396KB Feb 20 2025 12:20:13 PM

quickchick_2.0.2-1build5_amd64.deb 65KB Apr 08 2024 10:36:31 PM

quickchick_2.0.3-3build5_amd64.deb 517KB Sep 20 2024 07:39:49 AM

quickchick_2.0.5-1build6_amd64.deb 554KB Feb 20 2025 12:20:13 PM