Skip to content

agdaPackages.standard-library: 2.1 -> 2.1.1-rc2

bf1bd6d
Select commit
Loading
Failed to load commit list.
Merged

Unbreak Agda's standard library by bumping to 2.1.1-rc2 #336351

agdaPackages.standard-library: 2.1 -> 2.1.1-rc2
bf1bd6d
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs