Russell O'Connor c111b0cd4d coq: 8.5b2 -> 8.5b3

2015-11-19 00:10:22 -05:00

..

astronomy

stellarium: build with qt5Full to fix run-time crashes

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

biology

…

chemistry/avogadro

…

electronics

Replace 'with plaforms; platform' with 'platforms.platform'

2015-11-17 21:30:43 +01:00

geometry

all-packages: Use callPackage where possible

2015-09-14 22:27:19 -06:00

logic

coq: 8.5b2 -> 8.5b3

2015-11-19 00:10:22 -05:00

math

R: advance to version 3.2.2.

2015-10-02 22:15:14 +02:00

misc

xlibs: replace occurrences by xorg

2015-09-15 12:54:34 +02:00

molecular-dynamics/gromacs

…

programming/plm

Revert "Added K Framework package."

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

spyder

add myself as maintainer

2015-09-09 15:25:49 +02:00