Index of /MacPorts/release/ports/lang/mozart/files/


../
README.MacPorts                                    16-Nov-2020 23:39    1534
casts.diff                                         16-Nov-2020 23:39    5885
dgc_tl.hh.patch                                    16-Nov-2020 23:39     271
ozplatform.patch                                   16-Nov-2020 23:39     359
patch-platform_dss_configure.ac                    16-Nov-2020 23:39     358
patch-platform_emulator_Makefile.in                16-Nov-2020 23:39     464
patch-share-bin-oz.in                              16-Nov-2020 23:39     666