-
- Downloads
Revert "change buildscript to use github mirror"
This reverts commit 4c7781e1. Seems to exhibit weird encoding failures on maxima 5.41
Please register or sign in to comment
This reverts commit 4c7781e1. Seems to exhibit weird encoding failures on maxima 5.41