Index of /Linux/dist/gentoo-portage/dev-lang/interprolog/files
Name
Last modified
Size
Description
Parent Directory
-
interprolog-2.1.2-java1.4.patch
2015-08-09 02:38
1.3K
interprolog-2.1.2-java17.patch
2022-05-27 20:10
793
Apache/2.4.62 (Debian) Server at ftp.mizar.org Port 443