John Wiegley 3768a7aea9 Merge pull request #7539 from jwiegley/coq_8_5 ... coq_8_5: New expression		2015-04-26 22:32:52 -05:00
..
applications	Merge pull request #7539 from jwiegley/coq_8_5	2015-04-26 22:32:52 -05:00
build-support
data
desktops
development	Merge pull request #7539 from jwiegley/coq_8_5	2015-04-26 22:32:52 -05:00
games
misc	Merge pull request #7389 from AndersonTorres/atari++	2015-04-26 10:05:14 +02:00
os-specific	ffado: Add maintainer	2015-04-26 10:24:48 -07:00
servers	pulseaudio: More refactoring to bring libpulse in line with pulse libraries	2015-04-26 12:12:55 -07:00
shells
stdenv
test
tools	Abandon separate TeXLive-associated PGF package, make it a reference to pgf3	2015-04-26 21:49:21 +03:00
top-level	Merge pull request #7539 from jwiegley/coq_8_5	2015-04-26 22:32:52 -05:00