8000 Release Patch the patch release · agda/agda-categories · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Patch the patch release
Compare
Choose a tag to compare
@JacquesCarette JacquesCarette released this 11 Jun 21:35
· 1193 commits to master since this release
v0.1.3.1
2128fab

This one was fully tested on a fresh machine with a fresh install.

Assets 2
Loading
0