diff options
| author | John Ericson <John.Ericson@Obsidian.Systems> | 2018-09-11 12:47:09 -0400 |
|---|---|---|
| committer | John Ericson <John.Ericson@Obsidian.Systems> | 2018-09-18 16:27:04 -0400 |
| commit | f2bb59e710a4805653266833fa80940e600f3ecf (patch) | |
| tree | dbe50601267503437d8f17a6605bb9c16da9588b /pkgs/development/compilers/compcert/default.nix | |
| parent | 2111e7b742aa0121a7b3b14738811ad030a6c321 (diff) | |
| download | nixlib-f2bb59e710a4805653266833fa80940e600f3ecf.tar nixlib-f2bb59e710a4805653266833fa80940e600f3ecf.tar.gz nixlib-f2bb59e710a4805653266833fa80940e600f3ecf.tar.bz2 nixlib-f2bb59e710a4805653266833fa80940e600f3ecf.tar.lz nixlib-f2bb59e710a4805653266833fa80940e600f3ecf.tar.xz nixlib-f2bb59e710a4805653266833fa80940e600f3ecf.tar.zst nixlib-f2bb59e710a4805653266833fa80940e600f3ecf.zip | |
stdenv linux, stdenv cross: Harmonize extraNativeBuildInputs
Want to make sure these are the same per host platform, without duplication.
Diffstat (limited to 'pkgs/development/compilers/compcert/default.nix')
0 files changed, 0 insertions, 0 deletions