Skip to content
GitLab
Explore
Sign in
Register
Admin message
At 17.00 UTC, gitlab will be upgraded and briefly unavailable.
Iggy Jackson
aports
Repository
aports
testing
idris
cabal.config
Find file
Blame
History
Permalink
testing/idris: upgrade to 1.3.2
· a084e285
J0WI
authored
Apr 10, 2020
and
Leo
committed
Apr 10, 2020
a084e285