1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-29 00:54:11 +00:00
nixpkgs/pkgs
Gabriel Ebner be261a1ede isabelle: refactor
Fixes #33337
2019-03-14 11:48:30 +01:00
..
applications isabelle: refactor 2019-03-14 11:48:30 +01:00
build-support bazel-remote: init at 2019-01-12 2019-03-11 11:10:59 +01:00
common-updater common-updater-scripts: Add file and system flags 2019-03-02 23:03:04 +01:00
data inter-ui: 3.1 -> 3.3 (#57605) 2019-03-13 23:59:03 +01:00
desktops Merge pull request #56686 from r-ryantm/auto-update/gorm 2019-03-14 00:18:28 -04:00
development python.pkgs.shapely: fix tests on Darwin (#57630) 2019-03-14 10:28:43 +01:00
games misc: Remove myself from list of maintainers 2019-03-12 23:50:52 +01:00
misc xscreensaver: Enable perl modules needed for RSS image fetch (#57629) 2019-03-14 08:20:51 +00:00
os-specific misc: Remove myself from list of maintainers 2019-03-12 23:50:52 +01:00
servers home-assistant: 0.89.1 -> 0.89.2 2019-03-14 00:52:17 +01:00
shells mksh: 56c -> 57 2019-03-10 17:46:59 -07:00
stdenv
test
tools ethtool: 4.19 -> 5.0 2019-03-14 08:17:48 +01:00
top-level Merge pull request #57567 from gebner/isabelle-2018 2019-03-14 11:25:02 +01:00