1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-23 14:11:36 +00:00
nixpkgs/pkgs/applications
Vincent Laporte b212125b54
Merge pull request #32250 from vbgl/coq-clean
coq_HEAD, coqPackages_8_4: remove
2017-12-11 18:13:24 +01:00
..
altcoins Merge older staging 2017-12-11 09:49:56 +01:00
audio mod-distortion: 2015-05-18 -> 2016-08-19 2017-12-11 10:11:05 +00:00
backup
display-managers Merge pull request #32384 from rycee/lightdm/fix-rm-userdir 2017-12-09 16:22:22 +00:00
editors Merge pull request #32450 from mdorman/emacs-updates 2017-12-08 14:27:50 +00:00
gis qgis: disable parallel building 2017-12-07 08:52:42 +00:00
graphics Merge older staging 2017-12-11 09:49:56 +01:00
inferno
kde kruler: init at 5.0 2017-11-20 17:56:09 +00:00
misc Merge older staging 2017-12-11 09:49:56 +01:00
networking Merge pull request #32567 from andir/slack3.0.0 2017-12-11 13:56:00 +00:00
office libreoffice: use wrapGAppsHook 2017-12-01 11:11:09 +03:00
science Merge pull request #32250 from vbgl/coq-clean 2017-12-11 18:13:24 +01:00
search recoll: 1.23.1 -> 1.23.5 2017-12-08 11:37:33 +01:00
taxes treewide: checkMeta fixes for x86_64-linux 2017-12-07 07:50:47 -05:00
version-management Merge branch 'master' into staging 2017-12-09 21:00:07 +01:00
video treewide: checkMeta fixes for x86_64-linux 2017-12-07 07:50:47 -05:00
virtualization docker: 17.09.0 -> 17.09.1 2017-12-10 14:16:27 -05:00
window-managers qtile: disable check after #32244 2017-12-11 11:21:32 +00:00