Gabriel Ebner 711e9e20de metis-prover: 2.3 -> 2.3.20160101

2016-01-02 16:04:03 +01: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

fritzing: Qt 5 infrastructure update

2015-12-20 07:56:50 -06:00

geometry

drgeo: reimplement using mkDerivation

2015-11-24 14:45:15 +01:00

logic

metis-prover: 2.3 -> 2.3.20160101

2016-01-02 16:04:03 +01:00

math

pari (PARI/GP): 2.7.4 -> 2.7.5

2016-01-01 12:30:17 +03:00

misc

xlibs: replace occurrences by xorg

2015-09-15 12:54:34 +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

python spyder: 2.3.7 -> 2.3.8

2015-12-01 20:23:42 +01:00