Index of /arm64/pool/universe/p/proofgeneral/

../
proofgeneral-doc_4.4.1~pre170114-1.2_all.deb       18-Sep-2023 15:59              671136
proofgeneral-doc_4.5-1_all.deb                     24-Apr-2025 20:11              683198
proofgeneral_4.4.1~pre170114-1.2_all.deb           18-Sep-2023 15:59              542408
proofgeneral_4.5-1_all.deb                         24-Apr-2025 20:11              590368