John Wiegley 83cf279452 Add an expression for building Coq HEAD		2014-08-08 18:11:00 -05:00
..
astronomy	Turn some license strings into lib.licenses values	2014-07-28 11:31:14 +02:00
biology	Mark a bunch of packages as broken or not supported on Darwin	2014-08-08 17:59:02 +02:00
chemistry/avogadro
electronics	Turn some license strings into lib.licenses values	2014-07-28 11:31:14 +02:00
geometry	Turn some license strings into lib.licenses values	2014-07-28 11:31:14 +02:00
logic	Add an expression for building Coq HEAD	2014-08-08 18:11:00 -05:00
math	Merge 'staging' into master	2014-08-08 20:13:23 +02:00
misc	Mark a bunch of packages as broken or not supported on Darwin	2014-08-08 17:59:02 +02:00
molecular-dynamics/gromacs
spyder