3
0
Fork 0
forked from mirrors/nixpkgs
nixpkgs/pkgs
Mario Rodas b1554dd23e
Merge pull request from marsam/update-prometheus_2
prometheus_2: 2.11.0 -> 2.11.1
2019-07-14 20:47:42 -05:00
..
applications Merge pull request from xrelkd/update/filezilla 2019-07-14 12:30:48 -04:00
build-support
common-updater
data victor-mono: init at 1.2.1 2019-07-13 11:58:34 -04:00
desktops gnome3.gnome-terminal: add hicolor-icon-theme 2019-07-14 07:40:14 -04:00
development python: line_profiler: fix build with Python 3.7 2019-07-14 19:03:11 +00:00
games minecraft-server: 1.14 -> 1.14.3 () 2019-07-13 03:02:23 +02:00
misc Merge pull request from eadwu/vscode-extensions.ms-python.python/2019.1.0 2019-07-14 05:22:00 -04:00
os-specific linux: 5.2 -> 5.2.1 2019-07-14 08:07:25 -04:00
servers Merge pull request from marsam/update-prometheus_2 2019-07-14 20:47:42 -05:00
shells
stdenv
test
tools Merge pull request from dtzWill/update/fakechroot-2.20.1 2019-07-13 21:40:56 +02:00
top-level coq: 8.10+beta1 -> 8.10+beta2 2019-07-14 14:58:49 +00:00