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

nix: package renamed: swiProlog -> swi-prolog

parent 55a48946
No related branches found
No related tags found
No related merge requests found
{ 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 ;
}
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment