From 81d727d49c12d03bcdb0682a6e48f99efecfc1c7 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Fri, 24 Jan 2025 17:34:03 +0100
Subject: [PATCH] [nix] change pkg name: swiProlog -> swi-prolog
---
nix/internal-tests.nix | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/nix/internal-tests.nix b/nix/internal-tests.nix
index 822b36e598..38e6e924e0 100644
--- a/nix/internal-tests.nix
+++ b/nix/internal-tests.nix
@@ -54,7 +54,7 @@
, perl
, python3
, python3Packages
-, swiProlog
+, swi-prolog
, time
, unixtools
, which
@@ -128,7 +128,7 @@ stdenvNoCC.mkDerivation rec {
python3
python3Packages.jsonschema
python3Packages.pyaml
- swiProlog
+ swi-prolog
time
unixtools.getopt
which
--
GitLab