CVSROOT: /cvs Module name: ports Changes by: [email protected] 2025/06/08 15:32:51
Modified files:
lang/compcert : Makefile
Added files:
lang/compcert/patches: patch-doc_ccomp_1
patch-driver_Frontend_ml
Log message:
Add support for -MD
