Inicio Explorar Axuda
Iniciar sesión
caryoscelus
/
agda
Seguir 1
Destacar 0
Fork 0
Ficheiros Incidencias 0 Pull Requests 0 Wiki
Rama: js_amd
Ramas Etiquetas
agda
/
.travis
Andrés Sicard-Ramírez 9f97aa5d30 [ #4955 ] Used GHC 9.0.1 on Travis. %!s(int64=3) %!d(string=hai) anos
..
cabal_install 9f97aa5d30 [ #4955 ] Used GHC 9.0.1 on Travis. %!s(int64=3) %!d(string=hai) anos
header.sh a023a6de3c [ .travis ] Fixed withespace issues. %!s(int64=5) %!d(string=hai) anos