Marco 3af4c7065d Update HOL Light to svn r232 (2015-05-31)

2015-06-03 11:17:39 +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

avogadro: build documentation

2013-12-18 18:18:22 +02:00

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

Update HOL Light to svn r232 (2015-05-31)

2015-06-03 11:17:39 +02:00

math

Don't use "with licenses;" for single licences

2015-05-28 19:20:29 +02:00

misc

unmaintain a bunch of packages

2015-01-13 22:33:49 +01: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

Fix many package descriptions

2014-08-24 22:31:37 +02:00