Skip to content
GitLab
Explore
Sign in
Register
Explore
Projects
Explore projects
Most starred
Trending
Active
Inactive
All
G
Julien Lepiller /
guix-coq-channel
GNU General Public License v3.0 only
Guix channel with multiple versions of coq
guix
channel
coq
0
Updated
Dec 12, 2019
0
0
0
0
Updated
Dec 12, 2019