Startseite Erkunden Hilfe
Anmelden
caryoscelus
/
agda
Beobachten 1
Favorit hinzufügen 0
Fork 0
Dateien Issues 0 Pull-Requests 0 Wiki
Struktur: 9c190b6ebc
Branches Tags
agda
/
.travis
Andrés Sicard-Ramírez 9f97aa5d30 [ #4955 ] Used GHC 9.0.1 on Travis. vor 3 Jahren
..
cabal_install 9f97aa5d30 [ #4955 ] Used GHC 9.0.1 on Travis. vor 3 Jahren
header.sh a023a6de3c [ .travis ] Fixed withespace issues. vor 5 Jahren