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
39828662e9
Commit graph
2 commits
Author
SHA1
Message
Date
Ludovic Courtès
82c1349503
Proof General: Build and install via the makefile.
...
svn path=/nixpkgs/trunk/; revision=22162
2010-06-06 22:39:28 +00:00
Marco Maggesi
218bdaf214
Add expression for ProofGeneral
...
svn path=/nixpkgs/trunk/; revision=18904
2009-12-11 16:18:27 +00:00