diff options
author | William A. Kennington III <william@wkennington.com> | 2015-10-02 12:42:23 -0700 |
---|---|---|
committer | William A. Kennington III <william@wkennington.com> | 2015-10-02 12:42:23 -0700 |
commit | f61176c5396ed513f3d399f73f38ab78a066667f (patch) | |
tree | 80b19d8098b5a1d93c8bca057438b5d0ed35f704 /pkgs/development/coq-modules | |
parent | a27ca029ee2b39e04d7d2a516a7228f4b62067fb (diff) | |
parent | 2ef6508c7f187e1b8433f9936b98b79bee6ed31c (diff) | |
download | nixlib-f61176c5396ed513f3d399f73f38ab78a066667f.tar nixlib-f61176c5396ed513f3d399f73f38ab78a066667f.tar.gz nixlib-f61176c5396ed513f3d399f73f38ab78a066667f.tar.bz2 nixlib-f61176c5396ed513f3d399f73f38ab78a066667f.tar.lz nixlib-f61176c5396ed513f3d399f73f38ab78a066667f.tar.xz nixlib-f61176c5396ed513f3d399f73f38ab78a066667f.tar.zst nixlib-f61176c5396ed513f3d399f73f38ab78a066667f.zip |
Merge pull request #9543 from NixOS/staging.post-15.06
Collection of core package updates with breaking changes
Diffstat (limited to 'pkgs/development/coq-modules')
0 files changed, 0 insertions, 0 deletions