From 179c95f123430b827cc5989b19e69d598fb82015 Mon Sep 17 00:00:00 2001
From: garvitchhabra_7 <garvit.chhabra@mailbox.tu-dresden.de>
Date: Thu, 8 Aug 2024 11:54:15 +0200
Subject: [PATCH] Metacoq added to flake.nix

---
 flake.nix | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/flake.nix b/flake.nix
index 2500e22..bd35c44 100644
--- a/flake.nix
+++ b/flake.nix
@@ -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;
@@ -52,7 +52,7 @@
             [ pkgs.coqPackages_8_14.koika ]
             ++
             (with coqPackages; [
-              equations
+              equations metacoq
             ]);
 
           shellHook = ''