diff options
author | Tobias Geerinckx-Rice <nckx@users.noreply.github.com> | 2017-10-22 19:33:07 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-10-22 19:33:07 +0000 |
commit | 4333b94ae58751123780fcc239fdf7599b7121dc (patch) | |
tree | c7abb3f2dc4e16365768e25c9776e8b391cd5be9 /pkgs/development/coq-modules/dpdgraph/default.nix | |
parent | 917bd0bfbc52f548e306fd4adf8e8459cd5203ea (diff) | |
parent | 10cc95e154d32c096155649d54f6774dee50889e (diff) | |
download | nixlib-4333b94ae58751123780fcc239fdf7599b7121dc.tar nixlib-4333b94ae58751123780fcc239fdf7599b7121dc.tar.gz nixlib-4333b94ae58751123780fcc239fdf7599b7121dc.tar.bz2 nixlib-4333b94ae58751123780fcc239fdf7599b7121dc.tar.lz nixlib-4333b94ae58751123780fcc239fdf7599b7121dc.tar.xz nixlib-4333b94ae58751123780fcc239fdf7599b7121dc.tar.zst nixlib-4333b94ae58751123780fcc239fdf7599b7121dc.zip |
Merge pull request #30495 from veprbl/patch-2
proot: static by default, bump to 2017-10-15
Diffstat (limited to 'pkgs/development/coq-modules/dpdgraph/default.nix')
0 files changed, 0 insertions, 0 deletions