Skip to content
GitLab
Explore
Sign in
Iris
Fairis
Repository
fairis
theories
algebra
list.v
Find file
Blame
History
Permalink
downgrade Iris to 3.2.0 to depend on something stable
· 9d811c88
Ralf Jung
authored
Nov 02, 2019
9d811c88