[repo]
name = gilith
url = https://opentheory.gilith.com/
refresh = 604800

[license]
name = MIT
url = https://www.gilith.com/opentheory/licenses/MIT.txt

[license]
name = HOLLight
url = https://www.gilith.com/opentheory/licenses/HOLLight.txt

[cleanup]
auto = 3600

[install]
minimal = false

[system]
chmod = chmod
cp = cp
curl = curl --silent --show-error --user-agent opentheory
echo = echo
sha = shasum --binary
tar = tar
