Index of /macports/trunk/dports/lang/mozart/files

[ICO]NameLast modifiedSize

[PARENTDIR]Parent Directory  -
[   ]README.MacPorts2020-11-17 00:39 1.5K
[TXT]casts.diff2020-11-17 00:39 5.7K
[TXT]dgc_tl.hh.patch2020-11-17 00:39 271
[TXT]ozplatform.patch2020-11-17 00:39 359
[   ]patch-platform_dss_configure.ac2020-11-17 00:39 358
[   ]patch-platform_emulator_Makefile.in2020-11-17 00:39 464
[   ]patch-share-bin-oz.in2020-11-17 00:39 666

Apache/2.4.41 (Ubuntu) Server at ftp.fau.de Port 443