Vincent Laporte 9a913b5125 compcert: build with Coq 8.11 ... And fix installation of development files (use upstream Makefile rules instead of ad-hoc commands).		2020-10-05 16:39:26 +02:00
..
applications	Merge pull request #99626 from marsam/update-spotify-tui	2020-10-05 08:57:19 -05:00
build-support	dockerTools: add isExe to streamLayeredImage result	2020-10-05 10:48:17 +02:00
common-updater
data	Merge pull request #99307 from romildo/upd.theme-obsidian2	2020-10-05 09:51:56 -03:00
desktops
development	compcert: build with Coq 8.11	2020-10-05 16:39:26 +02:00
games	crispy-doom: 5.8.0 -> 5.9.2	2020-10-04 10:52:08 -05:00
misc	Merge pull request #98999 from SFrijters/wine-5.18	2020-10-04 11:28:07 -04:00
os-specific	linux: 5.9-rc7 -> 5.9-rc8	2020-10-04 20:31:10 -04:00
pkgs-lib
servers	grafana: remove scripts/go to fix go 1.15 build failure	2020-10-05 17:35:20 +10:00
shells	oh-my-zsh: 2020-10-01 -> 2020-10-05	2020-10-05 08:22:19 -04:00
stdenv
test
tools	openfortivpn: allow config in /etc/openfortivpn	2020-10-05 14:48:10 +08:00
top-level	compcert: build with Coq 8.11	2020-10-05 16:39:26 +02:00