mathcoach-docs
mathcoach-documentation-maven-plugin
mathcoach-resources-maven-plugin
mathcoach
mc-mupad
mc-postgresql-base
mc-postgresql-lti
mc-prolog
mc-r
mc-tex