Valentin Robert ea8e3f5979 coqPackages.paco: 1.2.8 -> 4.0.0		2019-11-08 09:41:30 +00:00
..
applications	Merge pull request #71419 from veprbl/pr/texlive-2019	2019-11-07 23:51:36 -05:00
build-support
common-updater
data
desktops
development	coqPackages.paco: 1.2.8 -> 4.0.0	2019-11-08 09:41:30 +00:00
games	Merge pull request #69176 from 0x4A6F/master-eidolon	2019-11-07 17:38:58 -05:00
misc	Merge pull request #72966 from ashkitten/update-dolphin	2019-11-07 20:28:49 -05:00
os-specific	Merge pull request #70173 from eadwu/raspberrypi/1.20190925	2019-11-07 17:13:24 -05:00
servers	Merge pull request #70641 from maggesi/rename-z77z-into-maggesi	2019-11-07 17:18:20 -05:00
shells
stdenv
test
tools	Merge pull request #73012 from marsam/update-vault	2019-11-08 08:28:22 +01:00
top-level	perlPackages: scope fetchFromGitHub	2019-11-08 00:22:51 +01:00