This website requires JavaScript.
Explore
Help
Sign In
talexander
/
nixpkgs
Watch
1
Star
0
Fork
0
You've already forked nixpkgs
Code
Issues
Pull Requests
Releases
Activity
nixpkgs
/
pkgs
/
applications
/
science
History
John Wiegley
d80aa87b13
coqPackages_8_5.coq: 8.5b2 -> 8.5rc1
2015-12-21 16:12:43 -08:00
..
astronomy
…
biology
…
chemistry
/avogadro
…
electronics
…
geometry
…
logic
…
math
…
misc
…
molecular-dynamics
/gromacs
…
programming
/plm
…
spyder
…
