diff options
| author | Shea Levy <shea@shealevy.com> | 2016-09-05 17:55:49 -0400 |
|---|---|---|
| committer | Shea Levy <shea@shealevy.com> | 2016-09-05 17:55:49 -0400 |
| commit | b04cdae902398aa76fb81a0470e18fd527c6ba3d (patch) | |
| tree | a4fef5e98d898c96ebcaceccb8d69ec8067f60dc /pkgs/development/compilers/fstar | |
| parent | e8b15555247eff53d718ac7c13871e3ff4d3d8dc (diff) | |
| download | nixlib-b04cdae902398aa76fb81a0470e18fd527c6ba3d.tar nixlib-b04cdae902398aa76fb81a0470e18fd527c6ba3d.tar.gz nixlib-b04cdae902398aa76fb81a0470e18fd527c6ba3d.tar.bz2 nixlib-b04cdae902398aa76fb81a0470e18fd527c6ba3d.tar.lz nixlib-b04cdae902398aa76fb81a0470e18fd527c6ba3d.tar.xz nixlib-b04cdae902398aa76fb81a0470e18fd527c6ba3d.tar.zst nixlib-b04cdae902398aa76fb81a0470e18fd527c6ba3d.zip | |
nixBufferBuilders.withPackages: Make more legible, special-case proof-general.
There's some bigger changes coming, but thought I'd push this first...
Diffstat (limited to 'pkgs/development/compilers/fstar')
0 files changed, 0 insertions, 0 deletions