diff options
author | Daiderd Jordan <daiderd@gmail.com> | 2018-11-05 12:55:08 +0100 |
---|---|---|
committer | Daiderd Jordan <daiderd@gmail.com> | 2018-11-05 14:10:44 +0100 |
commit | 8abc1cccfbf5b72f90f71627f8a13ddccf4c3670 (patch) | |
tree | 9204129c1ea9e3f77b88c51142c9cadea3c8123f /pkgs/development/coq-modules/interval/default.nix | |
parent | 7edfded9c3936f50fb227aabc6423f2736f07eae (diff) | |
download | nixlib-8abc1cccfbf5b72f90f71627f8a13ddccf4c3670.tar nixlib-8abc1cccfbf5b72f90f71627f8a13ddccf4c3670.tar.gz nixlib-8abc1cccfbf5b72f90f71627f8a13ddccf4c3670.tar.bz2 nixlib-8abc1cccfbf5b72f90f71627f8a13ddccf4c3670.tar.lz nixlib-8abc1cccfbf5b72f90f71627f8a13ddccf4c3670.tar.xz nixlib-8abc1cccfbf5b72f90f71627f8a13ddccf4c3670.tar.zst nixlib-8abc1cccfbf5b72f90f71627f8a13ddccf4c3670.zip |
SDL: move overrides out of all-packages.nix
Using defaults makes it much easier to understand what the values are.
Diffstat (limited to 'pkgs/development/coq-modules/interval/default.nix')
0 files changed, 0 insertions, 0 deletions