Startseite Erkunden Hilfe
Anmelden
caryoscelus
/
agda
Beobachten 1
Favorit hinzufügen 0
Fork 0
Dateien Issues 0 Pull-Requests 0 Wiki
Branch: working
Branches Tags

Commit Verlauf

Autor SHA1 Nachricht Datum
  Andrés Sicard-Ramírez 419c59d657 Merge remote-tracking branch 'origin/stable-2.5' vor 8 Jahren
  Andrés Sicard-Ramírez 3646232e9a [ fixed #2419 ] Removed warnings when using hTags with GHC >= 8.0.1. vor 8 Jahren