Головна сторінка Огляд Довідка
Увійти
caryoscelus
/
agda
Слідкувати 1
Зірка 0
Відгалуження 0
Файли Проблеми 0 Запити на злиття 0 Wiki
Гілка: working
Гілки Теги

Історія комітів

Автор SHA1 Опис Дата
  Andrés Sicard-Ramírez 419c59d657 Merge remote-tracking branch 'origin/stable-2.5' 8 роки тому
  Andrés Sicard-Ramírez 3646232e9a [ fixed #2419 ] Removed warnings when using hTags with GHC >= 8.0.1. 8 роки тому