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: working
Větve Značky

Historie revizí

Autor SHA1 Zpráva Datum
  Andrés Sicard-Ramírez 682d0c3feb [ stackage ] Updated resolver (lts-12.15 -> lts-12.16). před 6 roky
  Andrés Sicard-Ramírez 9d5dee20be [ #3273, stackage ] Updated resolver for GHC 8.4.4. před 6 roky
  Andrés Sicard-Ramírez 7b83383247 [ closed #3273 ] Supported for GHC 8.4.4. před 6 roky