来源：https://stackoverflow.com/questions/57194762/errors-when-building-dspace-6-3-mirage2-theme-on-ubuntu-18-04 标签 dspace
