index
:
guix
koszko
koszko-scripts
Wojtek's customized Guix
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
gnu
/
packages
/
patches
/
coq-fix-envvars.patch
Age
Commit message (
Expand
)
Author
2022-02-11
gnu: coq: Update to 8.15.0.
...
Julien Lepiller
2021-11-30
gnu: coq: Update to 8.14.0.
...
Julien Lepiller