2
0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-01-23 05:14:45 +00:00
nixpkgs/pkgs/development/compilers/fstar
2022-12-20 11:49:08 +01:00
..
default.nix fstar: remove unnecessary store path & build artifacts 2022-12-20 11:49:08 +01:00