Domů Procházet Nápověda
Přihlásit se
caryoscelus
/
agda
Sledovat 1
Oblíbit 0
Rozštěpit 0
Soubory Úkoly 0 Pull Requesty 0 Wiki
Větev: js_amd_patch
Větve Značky

Historie revizí

Autor SHA1 Zpráva Datum
  Liang-Ting Chen f204975956 [ stackage ] Bump stackage LTS versions před 2 roky
  Liang-Ting Chen 6c89e9a6d7 [ stackage, #5539 ] Bump LTS version to 18.10 for GHC 8.10.7 před 3 roky