Gabriel Ebner ce2a9a8f9b lean2: 2016-07-05 -> 2016-11-29 ... Renamed from lean since upstream renamed it as well. The lean attribute in nixpkgs will now refer to the new lean 3 version.		2016-12-08 10:30:28 -05:00
..
astronomy	gravit: fix build	2016-08-28 01:04:18 +03:00
biology	plink-ng: init at 1.90b3	2016-11-14 20:28:39 +11:00
chemistry/avogadro	avogadro: build documentation	2013-12-18 18:18:22 +02:00
electronics	Remove redundant -DCMAKE_BUILD_TYPE=Release flags	2016-10-01 16:13:41 +02:00
geometry	treewide: explicitly specify gtk and related package versions	2016-09-12 18:26:06 +03:00
logic	lean2: 2016-07-05 -> 2016-11-29	2016-12-08 10:30:28 -05:00
machine-learning/torch	replace makeSearchPath tree-wise to take care of possible multiple outputs	2016-04-13 22:09:41 +03:00
math	pari: 2.9.0 -> 2.9.1	2016-12-08 16:15:18 +01:00
misc	root: fix environment setup	2016-10-29 14:47:32 -04:00
molecular-dynamics	treewide: Add lots of meta.platforms	2016-08-02 21:42:43 +03:00
physics/sacrifice	treewide: fix meta evaluation	2016-10-22 12:05:23 +02:00
programming/plm	Revert "Added K Framework package."	2015-08-29 15:38:33 +02:00
robotics	yarp: 2.3.66.1 -> 2.3.68	2016-11-28 17:03:19 +01:00
spyder	Python: use PyPI mirror (#15001)	2016-04-26 13:38:03 +01:00