Vincent Laporte 58297aa1e7 Why3: build also the Coq tactic.

2015-01-29 08:43:15 +01:00

..

astronomy

stellarium: update from 0.12.4 to 0.13.2

2015-01-27 14:04:54 +01:00

biology

Fix many package descriptions

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

chemistry/avogadro

avogadro: build documentation

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

electronics

Change occurrences of gcc to the more general cc

2014-12-26 11:06:21 -06:00

geometry

Turn some license strings into lib.licenses values

2014-07-28 11:31:14 +02:00

logic

Why3: build also the Coq tactic.

2015-01-29 08:43:15 +01:00

math

pspp: update from 0.8.2 to 0.8.3

2015-01-27 14:04:54 +01:00

misc

unmaintain a bunch of packages

2015-01-13 22:33:49 +01:00

molecular-dynamics/gromacs

Fix many package descriptions

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

spyder

Fix many package descriptions

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