Skip to content
GitLab
Explore
Sign in
Register
Rasmus Thomsen
aports
Repository
aports
testing
idris
cabal.config
Find file
Blame
History
Permalink
testing/idris: upgrade to 1.3.3
· f76bb2d8
J0WI
authored
Apr 11, 2020
and
Leo
committed
Jul 03, 2020
f76bb2d8