Vincent Laporte 542d20384f Isabelle: fix download URL		2015-06-21 00:45:38 +02:00
..
astronomy	qt5: make qt-5.4.1 default	2015-03-24 17:14:56 -05:00
biology	Remove arb and then-orphaned lesstif93	2015-05-26 11:46:41 +02:00
chemistry/avogadro
electronics	nixpkgs: verilator 3.872	2015-05-31 17:37:56 -05:00
geometry	tetgen 1.4.3 -> 1.5.0	2015-05-25 13:35:54 +02:00
logic	Isabelle: fix download URL	2015-06-21 00:45:38 +02:00
math	R: update to 3.2.1	2015-06-18 14:00:29 +02:00
misc	Update golly	2015-06-14 11:22:07 +03:00
molecular-dynamics/gromacs	Don't use "with licenses;" for single licences	2015-05-28 19:20:29 +02:00
programming	Fixed some descriptions	2015-04-28 10:55:20 +02:00
spyder