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
d7ac5cd014
nixpkgs
/
pkgs
/
applications
/
science
History
Russell O'Connor
bec1a9c44f
update coq to 8.3pl1
...
update ssreflect to 1.3pl1 svn path=/nixpkgs/trunk/; revision=26692
2011-04-05 11:59:25 +00:00
..
biology
electronics
Updating gtkwave
2011-03-22 11:36:58 +00:00
geometry
logic
update coq to 8.3pl1
2011-04-05 11:59:25 +00:00
math
Added JAGS.
2011-03-17 14:45:36 +00:00
misc
SimGrid 3.5.
2010-12-17 17:48:12 +00:00
xplanet