John Wiegley 0ee75214f3 proofgeneral_HEAD: New expr: Proof General from GitHub

2016-03-07 07:16:04 -08:00

..

applications

proofgeneral_HEAD: New expr: Proof General from GitHub

2016-03-07 07:16:04 -08:00

build-support

haskell: Rename file where buildStackProject is defined.

2016-03-04 21:18:14 +01:00

data

Merge pull request #13621 from DamienCassou/add-gentium-book-basic

2016-03-02 19:20:58 +01:00

desktops

kde5.plasma.plasma-workspace: 5.5.5.1 -> 5.5.5.2

2016-03-03 05:57:09 -06:00

development

Merge pull request #13695 from forked-upstream-packages-for-ghcjs/more-bootpkgs

2016-03-07 14:15:42 +01:00

games

crawl: cleanup

2016-03-06 05:10:20 +03:00

misc

splix: revert "2.0.0 -> svn-r315" version update

2016-03-07 13:37:54 +01:00

os-specific

Merge pull request #13726 from NeQuissimus/upower0994

2016-03-07 12:27:16 +00:00

servers

tomcat: 6.0.44 -> 6.0.45, 7.0.62 -> 7.0.68, 8.0.23 -> 8.0.32

2016-03-07 03:34:44 +01:00

shells

Merge pull request #13368 from nathan7/fish-ul

2016-02-28 22:09:32 +00:00

stdenv

make-bootstrap-tools: fix #13629: glibc problems

2016-03-03 12:09:50 +01:00

test

…

tools

Merge pull request #13705 from aneeshusa/use-bin-instead-of-sbin-for-openssh

2016-03-07 12:03:37 +00:00

top-level

proofgeneral_HEAD: New expr: Proof General from GitHub

2016-03-07 07:16:04 -08:00