Skip to content

Instantly share code, notes, and snippets.

@erikkaplun
Created December 23, 2015 11:54
Show Gist options
  • Save erikkaplun/72e0c4c467ecf521dde9 to your computer and use it in GitHub Desktop.
Save erikkaplun/72e0c4c467ecf521dde9 to your computer and use it in GitHub Desktop.
Last login: Wed Dec 23 13:28:48 on ttys008
~$ brew untap mcuadros/hhvm
Error: No available tap mcuadros/hhvm.
~$ brew update; brew upgrade
Updated Homebrew from bce89851 to 2af05100.
Updated 2 taps (caskroom/cask, homebrew/science).
==> New Formulae
artifactory-cli-go digitemp gowsdl ploticus
clog elm homebrew/science/ess scour
==> Updated Formulae
abcl homebrew/science/gnudatalanguage poppler
agda ✔ homebrew/science/kmc postgrest
appscale-tools homebrew/science/mlpack pyenv
arangodb homebrew/science/octave rabbitmq
awscli homebrew/science/opencv3 rethinkdb
blink1 homebrew/science/vips sdl2_gfx
ccextractor imagemagick ✔ sfcgal
diff-pdf iso-codes squid
docker-machine jailkit sslscan
dos2unix jenkins swiftgen
epic5 kettle syncthing
ffmpeg knot texmath
freetds libev the_platinum_searcher
git-annex libpng ✔ userspace-rcu
glide link-grammar vim
gnupg logstalgia wine
gnuradio luvit wireshark
gradle makensis wxmac ✔
graphicsmagick ✔ mal4s yap
homebrew/science/armadillo pandoc-citeproc youtube-dl
homebrew/science/bioformats-cpp passenger znc
homebrew/science/dgtal pdf2htmlex
homebrew/science/gdcm podofo
==> Upgrading 5 outdated packages, with result:
agda 2.4.2.5, graphicsmagick 1.3.23_1, imagemagick 6.9.2-10, libpng 1.6.20, wxmac 3.0.2_1
==> Upgrading agda
==> Downloading https://homebrew.bintray.com/bottles/agda-2.4.2.5.mavericks.bottle.tar.gz
######################################################################## 100.0%
==> Pouring agda-2.4.2.5.mavericks.bottle.tar.gz
==> Caveats
To use the Agda standard library, point Agda to the following include dir:
/usr/local/lib/agda/src
To use the FFI bindings for the MAlonzo backend, give Agda the following option:
--ghc-flag=-package-db=/usr/local/lib/agda/ffi/package.conf.d
Emacs Lisp files have been installed to:
/usr/local/share/emacs/site-lisp/agda
==> Summary
🍺 /usr/local/Cellar/agda/2.4.2.5: 932 files, 102M
==> Upgrading graphicsmagick
==> Installing dependencies for graphicsmagick: libpng
==> Installing graphicsmagick dependency: libpng
==> Downloading https://homebrew.bintray.com/bottles/libpng-1.6.20.mavericks.bottle.tar.gz
######################################################################## 100.0%
==> Pouring libpng-1.6.20.mavericks.bottle.tar.gz
🍺 /usr/local/Cellar/libpng/1.6.20: 17 files, 1.3M
==> Installing graphicsmagick
==> Downloading https://homebrew.bintray.com/bottles/graphicsmagick-1.3.23_1.mavericks.bottle.tar.gz
######################################################################## 100.0%
==> Pouring graphicsmagick-1.3.23_1.mavericks.bottle.tar.gz
🍺 /usr/local/Cellar/graphicsmagick/1.3.23_1: 471 files, 13M
==> Upgrading imagemagick
==> Downloading https://homebrew.bintray.com/bottles/imagemagick-6.9.2-10.mavericks.bottle.tar.gz
######################################################################## 100.0%
==> Pouring imagemagick-6.9.2-10.mavericks.bottle.tar.gz
🍺 /usr/local/Cellar/imagemagick/6.9.2-10: 1453 files, 22M
==> Upgrading wxmac
==> Downloading https://homebrew.bintray.com/bottles/wxmac-3.0.2_1.mavericks.bottle.tar.gz
######################################################################## 100.0%
==> Pouring wxmac-3.0.2_1.mavericks.bottle.tar.gz
🍺 /usr/local/Cellar/wxmac/3.0.2_1: 777 files, 26M
~$ brew cleanup -s --force; brew prune
Removing: /usr/local/Cellar/agda/2.4.2.4_1... (932 files, 102M)
Removing: /usr/local/Cellar/cairo/1.14.4... (112 files, 6.3M)
Removing: /usr/local/Cellar/graphicsmagick/1.3.23... (467 files, 13M)
Removing: /usr/local/Cellar/imagemagick/6.9.2-8... (1453 files, 22M)
Removing: /usr/local/Cellar/libpng/1.6.19... (17 files, 1.3M)
Removing: /usr/local/Cellar/wxmac/3.0.2... (777 files, 41M)
Removing: /Library/Caches/Homebrew/bonnie++-1.97.tgz... (104K)
Removing: /Library/Caches/Homebrew/cairo-1.14.4.mavericks.bottle.tar.gz... (1.7M)
Removing: /Library/Caches/Homebrew/emacs-24.5.mavericks.bottle.1.tar.gz... (43M)
Removing: /Library/Caches/Homebrew/glew-1.13.0.mavericks.bottle.tar.gz... (760K)
Removing: /Library/Caches/Homebrew/graphicsmagick-1.3.23.mavericks.bottle.tar.gz... (2.7M)
Removing: /Library/Caches/Homebrew/hhvm-3.11.0.tar.bz2... (61M)
Removing: /Library/Caches/Homebrew/imagemagick-6.9.2-8.mavericks.bottle.tar.gz... (7.0M)
Removing: /Library/Caches/Homebrew/libiconv-1.14.mavericks.bottle.tar.gz... (816K)
Removing: /Library/Caches/Homebrew/libpng-1.6.19.mavericks.bottle.tar.gz... (432K)
Removing: /Library/Caches/Homebrew/otto-0.1.2.mavericks.bottle.tar.gz... (4.3M)
Removing: /Library/Caches/Homebrew/rabbitmq-3.5.6.tar.gz... (17M)
Removing: /Users/erik/Library/Logs/Homebrew/d-bus... (4.0K)
Removing: /Users/erik/Library/Logs/Homebrew/gconf... (4.0K)
Removing: /Users/erik/Library/Logs/Homebrew/geoclue... (5 files, 356K)
Removing: /Users/erik/Library/Logs/Homebrew/glib-networking... (4.0K)
Removing: /Users/erik/Library/Logs/Homebrew/python... (3 files, 104K)
~$ brew doctor
Your system is ready to brew.
~$
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment