Packages with the cpphs use flag

sci-mathematics / agda : A dependently typed functional programming language and proof assistant

  • Use cpphs instead of cpp.