This website requires JavaScript.
Explore
Help
Sign In
philipp
/
nixpkgs
Watch
1
Star
0
Fork
You've already forked nixpkgs
0
Code
Issues
Pull requests
Projects
Releases
Activity
%!d(
)
commits
3
branches
0
tags
1.4
GiB
df2d680da8
Commit graph
2 commits
Author
SHA1
Message
Date
Eelco Dolstra
cc84ac9e84
svn path=/nixpkgs/trunk/; revision=22880
2010-08-02 16:01:55 +00:00
Marco Maggesi
98aaa4421c
Add expression for Isabelle2009
...
svn path=/nixpkgs/trunk/; revision=18905
2009-12-11 17:00:52 +00:00