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/development/python-modules/python-sql | |
| parent | 7049172d7280c3df5ba2d5ce3f2fce7ef268a2cb (diff) | |
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/development/python-modules/python-sql')
0 files changed, 0 insertions, 0 deletions