From 738cd96cc982b6bb5d564e32c8bf50ec234e8377 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Fri, 24 Jan 2025 17:30:05 +0100
Subject: [PATCH] nix: package renamed: swiProlog -> swi-prolog
---
nix/meta.nix | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/nix/meta.nix b/nix/meta.nix
index 30e6430..a26b150 100644
--- a/nix/meta.nix
+++ b/nix/meta.nix
@@ -1,10 +1,10 @@
{ mk_plugin
-, swiProlog
+, swi-prolog
}:
mk_plugin {
plugin-name = "metacsl" ;
plugin-src = fetchGit { shallow=true ; url=./.. ; } ;
- additional-check-inputs = [ swiProlog ] ;
+ additional-check-inputs = [ swi-prolog ] ;
has-wp-proofs = true ;
}
--
GitLab