CVSROOT: /cvs
Module name: ports
Changes by: [email protected] 2023/04/04 04:27:57
Modified files:
devel/dune : Makefile distinfo
devel/dune/pkg : PFRAG.native PFRAG.native-configurator
PLIST-configurator PLIST-main
Added files:
devel/dune/patches: patch-Makefile
Removed files:
devel/dune/patches: patch-src_dune_cram_exec_ml
devel/dune/pkg : DESCR-private PFRAG.dynlink-native
PFRAG.dynlink-native-private
PFRAG.native-private PLIST-private
Log message:
update to dune-3.6.2, from Volker Schlecht, ok chrisz@
(the following few commits will fix dependent ports)
