This website requires JavaScript.
Explore
Help
Register
Sign In
alioth
/
nixpkgs
Watch
3
Star
0
Fork
You've already forked nixpkgs
0
forked from
mirrors/nixpkgs
Code
Releases
Activity
230148
commits
217
branches
121
tags
4.5
GiB
78e324d272
Commit graph
4 commits
Author
SHA1
Message
Date
Robin Gloster
2157dcd141
treewide: installFlags is a list
2019-12-30 13:22:43 +01:00
Vincent Laporte
7044058ef7
coqPackages_8_10.ltac2: init at 0.3
2019-10-24 06:20:59 +00:00
volth
35d68ef143
treewide: remove redundant quotes
2019-08-26 21:40:19 +00:00
Vincent Laporte
c37e00067d
coqPackages.ltac2: init at 0.1
2019-05-23 14:25:07 +02:00