This website requires JavaScript.
Explore
Help
Sign In
nek0
/
nixpkgs
Watch
1
Star
0
Fork
You've already forked nixpkgs
0
Code
Issues
Pull requests
Releases
Wiki
Activity
a07de1d9b1
nixpkgs
/
pkgs
/
applications
/
science
History
Marco Maggesi
afbb01c90d
Add expression for Coq 8.3 beta
...
svn path=/nixpkgs/trunk/; revision=21734
2010-05-11 20:14:46 +00:00
..
biology
Updated PAML package to 4.2a
2009-02-26 15:22:13 +00:00
electronics
Updating gtkwave
2010-03-25 15:07:53 +00:00
geometry
/drgeo
big breaking change: renaming lib.getAttr to lib.attrByPath
2009-05-24 10:57:41 +00:00
logic
Add expression for Coq 8.3 beta
2010-05-11 20:14:46 +00:00
math
Moved 'maintainers' attribute into the meta section of the expression.
2010-05-09 16:01:44 +00:00
xplanet
* Build on GCC 4.4.
2010-01-26 15:27:18 +00:00