index
:
guix.git
keyring
master
private
[no description]
Gitolite user
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
gnu
/
packages
/
patches
/
idris-disable-test.patch
Age
Commit message (
Expand
)
Author
2022-04-20
gnu: idris: Update to 1.3.4.
...
Eric Bavier
2021-01-20
gnu: idris: Update to 1.3.3.
...
Eric Bavier