This website requires JavaScript.
Explore
Help
Register
Sign In
colin
/
nixpkgs
Watch
1
Star
0
Fork
0
You've already forked nixpkgs
Code
Issues
Pull Requests
Packages
Projects
Releases
Wiki
Activity
348,722
Commits
125
Branches
0
Tags
3.4
GiB
ec85449f80
Commit Graph
2 Commits
Author
SHA1
Message
Date
Théo Zimmermann
ec85449f80
coqPackages.coq-record-update: mark as compatible with Coq 8.15
2022-01-25 15:24:08 +01:00
Léo Stefanesco
7c52900af1
coqPackages.coq-record-update: init
2021-11-25 17:20:16 +00:00