nixpkgs/pkgs/development/compilers/fstar
2023-02-07 14:47:17 +00:00
..
default.nix fstar: use proper z3 version and build .checked files 2023-02-07 14:47:17 +00:00