Gabriel Ebner 530a9ab981 Merge remote-tracking branch 'vbgl/why3-0.87.1'

2016-07-18 13:33:50 +02:00

..

altcoins

boost: Kill unnecessary 'lib' output

2016-04-28 00:41:28 +03:00

audio

puremapping: update 1.01 -> 20160130

2016-07-17 19:08:55 +02:00

backup

crashplan: 4.6.0-r3 -> 4.7.0 (#15903)

2016-06-02 11:31:32 +01:00

display-managers

sddm: run phase hooks

2016-06-09 12:39:02 -05:00

editors

vis: 2016-04-15 -> 2016-07-15

2016-07-18 09:00:35 +03:00

gis

grass: fix build

2016-04-13 16:20:31 +00:00

graphics

imagemagick: fix hashes

2016-07-18 06:19:52 +02:00

inferno

…

misc

emem: 0.2.16 -> 0.2.18

2016-07-18 13:01:34 +08:00

networking

syncthing: 0.13.9 -> 0.13.10 (#16912)

2016-07-18 12:46:47 +02:00

office

mendeley: fix sha

2016-07-17 13:22:56 -07:00

science

Merge remote-tracking branch 'vbgl/why3-0.87.1'

2016-07-18 13:33:50 +02:00

search

catfish: 1.4.1 -> 1.4.2

2016-06-11 15:25:59 -03:00

taxes

…

version-management

nixpkgs: add bitkeeper-7.3ce

2016-07-18 05:22:18 -05:00

video

openshot-qt: init at 2.0.7

2016-07-17 18:58:58 +02:00

virtualization

rkt: 1.9.1 -> 1.10.1 (#16895)

2016-07-14 12:18:07 +02:00

window-managers

sway: 0.7 -> 0.8 (#17026)

2016-07-17 09:31:41 +02:00