diff options
| author | Joachim Fasting <joachifm@fastmail.fm> | 2016-03-13 09:32:28 +0100 |
|---|---|---|
| committer | Joachim Fasting <joachifm@fastmail.fm> | 2016-03-13 09:41:24 +0100 |
| commit | f82a46cf58dce02c1b74c2d4d0a1245c196a896f (patch) | |
| tree | af1fa8f151ea275010a2a9a1c4fafaa171a59d79 /pkgs/development/python-modules/httpserver | |
| parent | 2d01e94f2e772c7ed587b188cf98369526b409fa (diff) | |
fstar: 2016-01-12 -> 0.9.2.0
FStar has been broken for a while, due to its regression test failing.
Bump to the latest release, which is newer than the previous rev.
Diffstat (limited to 'pkgs/development/python-modules/httpserver')
0 files changed, 0 insertions, 0 deletions