From be71dc4df60294ccb38a2fcdff0ff7890c6a0dbf Mon Sep 17 00:00:00 2001
From: larstvei <larstvei@ifi.uio.no>
Date: Fri, 23 Jun 2023 15:09:02 +0200
Subject: [PATCH] Add minizinc

---
 modules/home.nix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/modules/home.nix b/modules/home.nix
index 06dad61..57fb678 100644
--- a/modules/home.nix
+++ b/modules/home.nix
@@ -48,6 +48,7 @@
     jq
     leiningen
     maude-mac
+    minizinc
     nixpkgs-fmt
     pandoc
     parallel