Commits on Source
2
From Helmut Grohne: Tighten up agda relation ships to detect incompatibility next time.
· 8c1a6878
Gianfranco Costamagna
authored
Nov 26, 2017
From Gianfranco Costamagna: Bump std-version, change priority to optional
8c1a6878
Upload to unstable, update changelog
· 5d2b1563
Gianfranco Costamagna
authored
Nov 26, 2017
5d2b1563
Loading
Loading
