public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
Files
a653b54dba2ea35015606abd24a43c2d1733f4f2
nixpkgs/pkgs/development/compilers/fstar
T
History
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