CVSROOT: /cvs Module name: ports Changes by: [email protected] 2025/10/26 11:29:40
Modified files:
devel/dune : Makefile distinfo
devel/dune/patches: patch-Makefile
devel/dune/pkg : PFRAG.native-configurator PLIST-configurator
PLIST-main
Log message:
update dune to 3.8.3
This is the minimum version needed to update rocq to the 9.x series.
ok chrisz@ (MAINTAINER) with testing on non-native archs by jca@
