Home Verkennen Help
Inloggen
caryoscelus
/
agda
Volgen 1
Ster 0
Vork 0
Bestanden Kwesties 0 Pull-aanvragen 0 Wiki
Aftakking: js_amd
Aftakkingen Labels
agda
/
.travis
Andrés Sicard-Ramírez 9f97aa5d30 [ #4955 ] Used GHC 9.0.1 on Travis. 3 jaren geleden
..
cabal_install 9f97aa5d30 [ #4955 ] Used GHC 9.0.1 on Travis. 3 jaren geleden
header.sh a023a6de3c [ .travis ] Fixed withespace issues. 5 jaren geleden