Eric Seidel eff828a275 z3: copy all headers into nix store		2015-03-26 13:19:41 -07:00
..
astronomy
biology
chemistry/avogadro
electronics
geometry
logic	z3: copy all headers into nix store	2015-03-26 13:19:41 -07:00
math
misc
molecular-dynamics/gromacs
programming/plm
spyder