Skip to content

Commit

Permalink
Metacoq added to flake.nix
Browse files Browse the repository at this point in the history
  • Loading branch information
@garvitchhabra-7
garvitchhabra-7 committed Aug 8, 2024
1 parent ad3311a commit 179c95f
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions flake.nix
View file
Original file line number Diff line number Diff line change
Expand Up @@ -11,7 +11,7 @@
inherit system;
overlays = [ koika.overlays.default ];
};
ocamlPackages = pkgs.ocaml-ng.ocamlPackages_4_09;
ocamlPackages = pkgs.ocaml-ng.ocamlPackages_4_12;

coq = pkgs.coq_8_14.override {
customOCamlPackages = ocamlPackages;
Expand Down Expand Up @@ -52,7 +52,7 @@
[ pkgs.coqPackages_8_14.koika ]
++
(with coqPackages; [
equations
equations metacoq
]);

shellHook = ''
Expand Down

1 comment on commit 179c95f

@sertel
Copy link
Collaborator

@sertel sertel commented on 179c95f Aug 8, 2024

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The Coq version, that you are using is pretty old. Max and Michael updated this a couple of weeks ago. You might want to update and use Michael's MetaCoq PR as a flake input. Otherwise you will be using a rather old version of MetaCoq.

Please sign in to comment.