淡江大學FTP伺服器

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

File

Size

Last Modified

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

coq-gappa_1.5.4-1build3.debian.tar.xz 2KB Apr 08 2024 03:57:39 PM

coq-gappa_1.5.4-1build3.dsc 2KB Apr 08 2024 03:57:39 PM

coq-gappa_1.5.4.orig.tar.bz2 72KB Dec 24 2023 01:16:59 AM

coq-gappa_1.5.5-2build2.debian.tar.xz 2KB Sep 08 2024 03:04:33 AM

coq-gappa_1.5.5-2build2.dsc 2KB Sep 08 2024 03:04:33 AM

coq-gappa_1.5.5.orig.tar.bz2 72KB May 02 2024 07:53:15 PM

coq-gappa_1.6.0-1build4.debian.tar.xz 2KB Feb 19 2025 03:52:15 PM

coq-gappa_1.6.0-1build4.dsc 2KB Feb 19 2025 03:52:15 PM

coq-gappa_1.6.0.orig.tar.bz2 74KB Jan 24 2025 01:56:12 PM

coq-gappa_1.7.0-1.debian.tar.xz 2KB May 02 2025 12:23:25 AM

coq-gappa_1.7.0-1.dsc 2KB May 02 2025 12:23:25 AM

coq-gappa_1.7.0.orig.tar.bz2 75KB May 02 2025 12:23:25 AM

libcoq-gappa_1.5.4-1build3_amd64.deb 562KB Apr 08 2024 06:59:16 PM

libcoq-gappa_1.5.5-2build2_amd64.deb 584KB Sep 08 2024 03:05:04 AM

libcoq-gappa_1.6.0-1build4_amd64.deb 612KB Feb 19 2025 03:53:21 PM

libcoq-gappa_1.7.0-1_amd64.deb 629KB May 02 2025 03:15:19 AM