Please enable JavaScript in your browser!
Home
Esplora
Aiuto
Accedi
caryoscelus
/
agda
Segui
1
Vota
0
Forka
0
File
Problemi
0
Pull Requests
0
Wiki
Ramo (Branch):
js_amd
Rami (Branch)
Tag
js_amd
js_amd_patch
working
Cronologia Commit
Cerca
Autore
SHA1
Messaggio
Data
Liang-Ting Chen
f204975956
[ stackage ] Bump stackage LTS versions
2 anni fa
Liang-Ting Chen
6c89e9a6d7
[ stackage,
#5539
] Bump LTS version to 18.10 for GHC 8.10.7
3 anni fa