We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent e422f42 commit ae94732Copy full SHA for ae94732
1 file changed
flake.nix
@@ -27,7 +27,7 @@
27
'';
28
in rec {
29
packages = {
30
- inherit z3 fstar emacs;
+ inherit z3 fstar emacs ocamlPackages;
31
default = fstar;
32
};
33
apps.emacs = {
0 commit comments