홈 탐색 도움말
로그인
caryoscelus
/
agda
Watch 1
Star 0
포크 0
파일 이슈 0 풀 리퀘스트 0 위키
브렌치: working
브랜치 태그

커밋 기록

작성자 SHA1 메시지 날짜
  Andrés Sicard-Ramírez 682d0c3feb [ stackage ] Updated resolver (lts-12.15 -> lts-12.16). 6 년 전
  Andrés Sicard-Ramírez 9d5dee20be [ #3273, stackage ] Updated resolver for GHC 8.4.4. 6 년 전
  Andrés Sicard-Ramírez 7b83383247 [ closed #3273 ] Supported for GHC 8.4.4. 6 년 전