This website requires JavaScript.
Explore
Help
Register
Sign In
mirrors
/
nixpkgs
Watch
1
Star
0
Fork
You've already forked nixpkgs
1
mirror of
https://github.com/NixOS/nixpkgs.git
synced
2024-11-30 17:41:12 +00:00
Code
Issues
Wiki
Activity
7161
commits
267
branches
125
tags
5.3
GiB
09a719b1a0
Commit graph
2 commits
Author
SHA1
Message
Date
Rob Vermaas
935d9f3610
* libX11 dep MCRL2
...
svn path=/nixpkgs/trunk/; revision=15885
2009-06-07 16:17:49 +00:00
Rob Vermaas
d009f7f996
* added mCRL2
...
svn path=/nixpkgs/trunk/; revision=15870
2009-06-05 13:33:41 +00:00