diff options
| author | Austin Seipp <aseipp@pobox.com> | 2019-10-23 22:15:10 -0500 |
|---|---|---|
| committer | Austin Seipp <aseipp@pobox.com> | 2019-10-23 22:16:18 -0500 |
| commit | 9dab9a79706ceb63930b15b0c6305066046bac1e (patch) | |
| tree | 8696aee5a8c9e84ac7d96a672bed8a52c06658a8 /pkgs/development/coq-modules | |
| parent | 5b508327806cd04eb0f82598ca953a512db3b313 (diff) | |
| download | nixpkgs-9dab9a79706ceb63930b15b0c6305066046bac1e.tar nixpkgs-9dab9a79706ceb63930b15b0c6305066046bac1e.tar.gz nixpkgs-9dab9a79706ceb63930b15b0c6305066046bac1e.tar.bz2 nixpkgs-9dab9a79706ceb63930b15b0c6305066046bac1e.tar.lz nixpkgs-9dab9a79706ceb63930b15b0c6305066046bac1e.tar.xz nixpkgs-9dab9a79706ceb63930b15b0c6305066046bac1e.tar.zst nixpkgs-9dab9a79706ceb63930b15b0c6305066046bac1e.zip | |
libfsm: 0.1pre1869_f70c3c5 -> 0.1pre1905_bd5937fa
Properly separate the build and install phases for better nix shell hacking when using `buildPhase` -- and also fix a bug where `$NIX_BUILD_CORES` wasn't properly passed to `bmake`. Signed-off-by: Austin Seipp <aseipp@pobox.com>
Diffstat (limited to 'pkgs/development/coq-modules')
0 files changed, 0 insertions, 0 deletions