diff options
author | Gabriel Ebner <gebner@gebner.org> | 2017-10-02 12:19:41 +0200 |
---|---|---|
committer | Gabriel Ebner <gebner@gebner.org> | 2017-10-02 12:21:47 +0200 |
commit | e10bb692c4db2a94c3c6e03b269390f011ef3841 (patch) | |
tree | f0893b26d10a27949299ab0f812fde08d27a6434 /pkgs/applications | |
parent | 7049172d7280c3df5ba2d5ce3f2fce7ef268a2cb (diff) | |
download | nixlib-e10bb692c4db2a94c3c6e03b269390f011ef3841.tar nixlib-e10bb692c4db2a94c3c6e03b269390f011ef3841.tar.gz nixlib-e10bb692c4db2a94c3c6e03b269390f011ef3841.tar.bz2 nixlib-e10bb692c4db2a94c3c6e03b269390f011ef3841.tar.lz nixlib-e10bb692c4db2a94c3c6e03b269390f011ef3841.tar.xz nixlib-e10bb692c4db2a94c3c6e03b269390f011ef3841.tar.zst nixlib-e10bb692c4db2a94c3c6e03b269390f011ef3841.zip |
fstar: 0.9.4.0 -> 0.9.5.0
This builds fstar from the included ocaml sources instead of bootstrapping from fsharp.
Diffstat (limited to 'pkgs/applications')
0 files changed, 0 insertions, 0 deletions