Marco Maggesi 97b27e69c0 Update HOL Light to svn r244.

2015-09-01 16:30:27 +02:00

..

astronomy

stellarium: build with qt5Full to fix run-time crashes

2015-07-14 22:39:34 +02:00

biology

Remove arb and then-orphaned lesstif93

2015-05-26 11:46:41 +02:00

chemistry/avogadro

…

electronics

geda: init at 1.8.2-20130925

2015-08-31 15:09:58 -06:00

geometry

tetgen 1.4.3 -> 1.5.0

2015-05-25 13:35:54 +02:00

logic

Update HOL Light to svn r244.

2015-09-01 16:30:27 +02:00

math

Mark some packages with undownloadable source as broken

2015-09-01 12:00:04 +02:00

misc

root: fix build by -lX11

2015-09-01 08:23:00 +02:00

molecular-dynamics/gromacs

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

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

programming/plm

Revert "Added K Framework package."

2015-08-29 15:38:33 +02:00

spyder

spyder: 2.2.5 -> 2.3.6

2015-08-29 17:41:35 +02:00