CVSROOT: /cvs Module name: ports Changes by: [email protected] 2019/10/07 00:40:15
Modified files:
math/coq : Makefile
math/coq/pkg : PFRAG.native PFRAG.no-native PLIST
Log message:
fix plist for bytecode-only arm64, sparc64
OK jca@
