This website requires JavaScript.
Explore
Help
Sign In
Archive
/
nixpkgs
Watch
1
Star
0
Fork
You've already forked nixpkgs
0
mirror of
https://github.com/NixOS/nixpkgs.git
synced
2024-10-21 11:43:11 -04:00
Code
Issues
Actions
2
Packages
Projects
Releases
Wiki
Activity
184278
commits
218
branches
122
tags
7.4
GiB
76a50f0f85
Commit graph
1 commit
Author
SHA1
Message
Date
Vincent Laporte
13e9efbb02
coqPackages.paramcoq: init at 1.1.1
2019-02-17 15:56:43 +01:00