Index of /Linux/kali/pool/main/p/proofgeneral/

NameLast ModifiedSizeType
../ -  Directory
proofgeneral-doc_4.5-3_all.deb2024-Nov-28 03:28:08660.1Kapplication/vnd.debian.binary-package
proofgeneral_4.5-3.debian.tar.xz2024-Nov-28 02:42:3917.0Kapplication/x-xz
proofgeneral_4.5-3.dsc2024-Nov-28 02:42:392.0Kapplication/octet-stream
proofgeneral_4.5-3_all.deb2024-Nov-28 03:28:08625.5Kapplication/vnd.debian.binary-package
proofgeneral_4.5.orig.tar.gz2023-Aug-17 21:46:341.1Mapplication/x-gtar-compressed
Tsukuba WIDE public mirror service