From 9b722bb435629f0cda80367b57a607aa1f0b415c Mon Sep 17 00:00:00 2001
From: Ali Caglayan <alizter@gmail.com>
Date: Thu, 15 Sep 2022 23:35:13 +0200
Subject: [PATCH] chore: add coq_8_16 to nix flake

ps-id: 54dbbeb5-ebea-4236-b220-2e0a573ac9cd
Signed-off-by: Ali Caglayan <alizter@gmail.com>
---
 flake.nix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/flake.nix b/flake.nix
index 69aceda08f9..96198786e94 100644
--- a/flake.nix
+++ b/flake.nix
@@ -46,6 +46,7 @@
             # dev tools
             ocamlformat_0_21_0
             opam
+            coq_8_16
             nodejs-slim
             pkg-config
           ] ++ (builtins.map (s: builtins.getAttr s scope)