Skip to content
Snippets Groups Projects
Commit 81d727d4 authored by Allan Blanchard's avatar Allan Blanchard
Browse files

[nix] change pkg name: swiProlog -> swi-prolog

parent 94335cec
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 2 additions and 2 deletions
nix/internal-tests.nix
+ 2
− 2
View file @ 81d727d4
...@@ -54,7 +54,7 @@ ...@@ -54,7 +54,7 @@
, perl , perl
, python3 , python3
, python3Packages , python3Packages
, swiProlog , swi-prolog
, time , time
, unixtools , unixtools
, which , which
...@@ -128,7 +128,7 @@ stdenvNoCC.mkDerivation rec { ...@@ -128,7 +128,7 @@ stdenvNoCC.mkDerivation rec {
python3 python3
python3Packages.jsonschema python3Packages.jsonschema
python3Packages.pyaml python3Packages.pyaml
swiProlog swi-prolog
time time
unixtools.getopt unixtools.getopt
which which
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment