s/buildInputs/packages

This commit is contained in:
Luc Perkins 2023-02-14 16:20:41 -08:00
parent 2dbb282412
commit 8ff6066f01
No known key found for this signature in database
GPG key ID: 4F102D0C16E232F2
28 changed files with 37 additions and 33 deletions

View file

@ -34,7 +34,7 @@
in
{
devShells.default = pkgs.mkShell {
buildInputs = (with pkgs; [ dhall ]) ++ dhallTools;
packages = (with pkgs; [ dhall ]) ++ dhallTools;
shellHook = ''
echo "dhall `${pkgs.dhall}/bin/dhall --version`"