From 0085f1a85da8eb6c417dab29141c9c64f4413d19 Mon Sep 17 00:00:00 2001 From: "Jip J. Dekker" Date: Tue, 9 Aug 2022 19:38:26 +1000 Subject: [PATCH] Update installed packages --- Brewfile | 3 +++ 1 file changed, 3 insertions(+) diff --git a/Brewfile b/Brewfile index e27d61d..c401a89 100644 --- a/Brewfile +++ b/Brewfile @@ -22,6 +22,7 @@ brew "go" brew "hugo" brew "llvm" brew "mas" +brew "maturin" brew "mdbook" brew "neovim" brew "ninja" @@ -45,6 +46,7 @@ brew "zoxide" brew "zplug" brew "dekker1/minizinc/choco" brew "dekker1/minizinc/flatzingo" +brew "dekker1/minizinc/fzn-picat" brew "dekker1/minizinc/geas" brew "dekker1/minizinc/jacop" brew "dekker1/minizinc/yuck" @@ -68,6 +70,7 @@ cask "skim" cask "sublime-merge" cask "sublime-text" cask "zoom" +cask "zotero" cask "zulip" mas "1Password for Safari", id: 1569813296 mas "GarageBand", id: 682658836