Index of /Linux/GNOME/sources/accerciser/3.42
Name
Last modified
Size
Description
Parent Directory
-
LATEST-IS-3.42.0
2023-10-08 12:22
1.9M
accerciser-3.42.0.news
2023-10-08 12:22
918
accerciser-3.42.0.sha256sum
2023-10-08 12:22
180
accerciser-3.42.0.tar.xz
2023-10-08 12:22
1.9M
Apache/2.4.62 (Debian) Server at ftp.mizar.org Port 443