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