淡江大學FTP伺服器

/檔案列表/Linux/Debian/debian/pool/main/p/proofgeneral/

File

Size

Last Modified

.. - Jun 09 2025 06:00:15 PM

proofgeneral-doc_4.4.1~pre170114-1.2_all... 666KB Dec 19 2019 05:21:52 PM

proofgeneral-doc_4.5-3_all.deb 660KB Nov 28 2024 02:28:08 AM

proofgeneral_4.4.1~pre170114-1.2.debian.... 19KB Dec 19 2019 04:06:18 PM

proofgeneral_4.4.1~pre170114-1.2.dsc 2KB Dec 19 2019 04:06:18 PM

proofgeneral_4.4.1~pre170114-1.2_all.deb 589KB Dec 19 2019 05:21:52 PM

proofgeneral_4.4.1~pre170114.orig.tar.xz 9082KB Jan 17 2017 05:49:15 AM

proofgeneral_4.5-3.debian.tar.xz 17KB Nov 28 2024 01:42:39 AM

proofgeneral_4.5-3.dsc 2KB Nov 28 2024 01:42:39 AM

proofgeneral_4.5-3_all.deb 626KB Nov 28 2024 02:28:08 AM

proofgeneral_4.5.orig.tar.gz 1170KB Aug 17 2023 08:46:34 PM