Mario Rodas ac885e1b87 fstar: install completions		2020-04-29 04:20:00 -05:00
..
default.nix	fstar: install completions	2020-04-29 04:20:00 -05:00