From 6e919bf975ce6e43f2fcb1ef63a5ce565cfda50d Mon Sep 17 00:00:00 2001
From: David McFarland <corngood@gmail.com>
Date: Mon, 28 Oct 2024 22:19:00 -0300
Subject: [PATCH] boogie: format with nixfmt

---
 pkgs/by-name/bo/boogie/package.nix | 25 +++++++++++++++----------
 1 file changed, 15 insertions(+), 10 deletions(-)

diff --git a/pkgs/by-name/bo/boogie/package.nix b/pkgs/by-name/bo/boogie/package.nix
index c018581cecf7..14dac4749045 100644
--- a/pkgs/by-name/bo/boogie/package.nix
+++ b/pkgs/by-name/bo/boogie/package.nix
@@ -1,4 +1,9 @@
-{ lib, buildDotnetModule, fetchFromGitHub, z3 }:
+{
+  lib,
+  buildDotnetModule,
+  fetchFromGitHub,
+  z3,
+}:
 
 buildDotnetModule rec {
   pname = "Boogie";
@@ -24,18 +29,18 @@ buildDotnetModule rec {
   ];
 
   postInstall = ''
-      # so that this derivation can be used as a vim plugin to install syntax highlighting
-      vimdir=$out/share/vim-plugins/boogie
-      install -Dt $vimdir/syntax/ Util/vim/syntax/boogie.vim
-      mkdir $vimdir/ftdetect
-      echo 'au BufRead,BufNewFile *.bpl set filetype=boogie' > $vimdir/ftdetect/bpl.vim
-      mkdir -p $out/share/nvim
-      ln -s $out/share/vim-plugins/boogie $out/share/nvim/site
+    # so that this derivation can be used as a vim plugin to install syntax highlighting
+    vimdir=$out/share/vim-plugins/boogie
+    install -Dt $vimdir/syntax/ Util/vim/syntax/boogie.vim
+    mkdir $vimdir/ftdetect
+    echo 'au BufRead,BufNewFile *.bpl set filetype=boogie' > $vimdir/ftdetect/bpl.vim
+    mkdir -p $out/share/nvim
+    ln -s $out/share/vim-plugins/boogie $out/share/nvim/site
   '';
 
   postFixup = ''
-      ln -s "$out/bin/BoogieDriver" "$out/bin/boogie"
-      rm -f $out/bin/{Microsoft,NUnit3,System}.* "$out/bin"/*Tests
+    ln -s "$out/bin/BoogieDriver" "$out/bin/boogie"
+    rm -f $out/bin/{Microsoft,NUnit3,System}.* "$out/bin"/*Tests
   '';
 
   doInstallCheck = true;