Skip to content
GitLab
Explore
Sign in
Register
Iggy Jackson
aports
Repository
aports
testing
idris
APKBUILD
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