diff --git a/flake.nix b/flake.nix
index 72951489..41ebd044 100644
--- a/flake.nix
+++ b/flake.nix
@@ -48,6 +48,7 @@
         , mold-wrapped
         , ninja
         , gnugrep
+        , charon
         , charon-ml
         , krml
         , symlinkJoin
@@ -65,6 +66,10 @@
 
             propagatedBuildInputs = [ krml charon-ml ocamlPackages.terminal ocamlPackages.yaml ] ++ (with ocamlPackages; [ menhirLib ]);
 
+            postInstall = ''
+              ln -s ${charon}/bin/charon $out/bin/charon
+            '';
+
             passthru = {
               tests = clangStdenv.mkDerivation rec {
                 name = "tests";
@@ -141,7 +146,7 @@
     rec {
       packages = {
         default = pkgs.callPackage package {
-          inherit charon-ml krml craneLib;
+          inherit charon charon-ml krml craneLib;
           version = self.rev or "dirty";
         };
         inherit charon karamel;