Gabriel Ebner dd4a015aa8 eprover: 1.9 -> 1.9.1

2016-09-20 11:57:14 -04:00

..

astronomy

gravit: fix build

2016-08-28 01:04:18 +03:00

biology

minc_tools: don't run tests which have been failing since first pkged

2016-09-05 17:26:12 +01:00

chemistry/avogadro

avogadro: build documentation

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

electronics

treewide: explicitly specify gtk and related package versions

2016-09-12 18:26:06 +03:00

geometry

treewide: explicitly specify gtk and related package versions

2016-09-12 18:26:06 +03:00

logic

eprover: 1.9 -> 1.9.1

2016-09-20 11:57:14 -04:00

machine-learning/torch

replace makeSearchPath tree-wise to take care of possible multiple outputs

2016-04-13 22:09:41 +03:00

math

calc: remove redundant groff dependency

2016-09-19 01:37:45 +03:00

misc

Merge pull request #18740 from chris-martin/tulip-4-9

2016-09-20 14:34:17 +02:00

molecular-dynamics

treewide: Add lots of meta.platforms

2016-08-02 21:42:43 +03:00

programming/plm

Revert "Added K Framework package."

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

robotics

qgroundcontrol: remove unused overrideCC and comment

2016-08-24 22:41:41 +00:00

spyder

Python: use PyPI mirror (#15001)

2016-04-26 13:38:03 +01:00