nixpkgs/pkgs
Vincent Laporte 856d0a44ec
Merge pull request #75141 from vbgl/coq-8.11β1
coq_8_11: init at 8.11+β1
2019-12-14 19:13:40 +01:00
..
applications Merge pull request #75141 from vbgl/coq-8.11β1 2019-12-14 19:13:40 +01:00
build-support WriteHaskell: Strip binaries 2019-12-14 09:32:34 +01:00
common-updater
data Merge pull request #74966 from Fuzen-py/sweet 2019-12-10 23:32:46 -05:00
desktops Merge pull request #75589 from hedning/gnome-3.34.2 2019-12-14 17:46:13 +01:00
development Merge pull request #75656 from veprbl/pr/rootpy_remove 2019-12-14 13:12:45 -05:00
games harmonist: 0.2 -> 0.3.0 2019-12-14 01:43:20 +03:00
misc vimPlugins.deoplete-khard: init at 2019-09-02 2019-12-14 12:05:10 +01:00
os-specific linux: 5.4.2 -> 5.4.3 2019-12-13 08:29:19 -05:00
servers documize-community: 3.5.2 -> 3.6.0 2019-12-14 16:24:42 +01:00
shells oh-my-zsh: GitHub repo moved 2019-12-12 07:38:40 -05:00
stdenv
test
tools Merge pull request #75653 from ivan/cargo-outdated-0.9.1 2019-12-14 18:37:35 +01:00
top-level Merge pull request #75141 from vbgl/coq-8.11β1 2019-12-14 19:13:40 +01:00