Graham Christensen 034ba88850 Merge pull request #19267 from vbgl/proofgeneral-4.4 ...

ProofGeneral: 4.2 -> 4.4

2016-10-08 09:00:11 -04:00

..

applications

Merge pull request #19267 from vbgl/proofgeneral-4.4

2016-10-08 09:00:11 -04:00

build-support

Merge pull request #18985 from dudebout/emacs-with-c-src

2016-10-07 17:23:19 +02:00

data

Merge pull request #19282 from peterhoeg/zeal

2016-10-07 12:28:00 +02:00

desktops

Merge pull request #19212 from romildo/new.lxqt

2016-10-07 14:00:54 +02:00

development

Revert "Extend Haskell generic builder to use new --ipid flag."

2016-10-08 10:45:48 +02:00

games

anki: update to version 2.0.36

2016-10-07 19:10:40 +02:00

misc

zsnes: use more debian patches

2016-10-08 01:40:22 +03:00

os-specific

linux: 4.4.23 -> 4.4.24 (#19346)

2016-10-08 07:02:07 +02:00

servers

unifi: 5.0.6 -> 5.2.9

2016-10-07 16:03:20 -04:00

shells

oh-my-zsh: Fix oh-my-zsh's loading of ~/.oh-my-zsh

2016-10-07 17:18:17 -04:00

stdenv

…

test

…

tools

Merge pull request #19341 from grahamc/sudolikeaboss

2016-10-08 08:52:02 -04:00

top-level

Merge pull request #19267 from vbgl/proofgeneral-4.4

2016-10-08 09:00:11 -04:00