diff options
Diffstat (limited to '')
-rw-r--r-- | flake.nix | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -217,6 +217,7 @@ { packages = { inherit aeneas; + inherit (charon.packages.${system}) charon-ml charon; default = aeneas; }; devShells.default = pkgs.mkShell { |