Ubuntu: Installing kernel-package

Command:

$ sudo apt-get install kernel-package


Result:

Reading package lists... Done
Building dependency tree    
Reading state information... Done
The following packages were automatically installed and are no longer required:
  linux-headers-4.4.0-21 linux-headers-4.4.0-21-generic linux-headers-4.4.0-22 linux-headers-4.4.0-22-generic linux-headers-4.4.0-34
  linux-headers-4.4.0-34-generic linux-headers-4.4.0-36 linux-headers-4.4.0-36-generic linux-image-4.4.0-21-generic linux-image-4.4.0-22-generic
  linux-image-4.4.0-34-generic linux-image-4.4.0-36-generic linux-image-extra-4.4.0-21-generic linux-image-extra-4.4.0-22-generic
  linux-image-extra-4.4.0-34-generic linux-image-extra-4.4.0-36-generic
Use 'sudo apt autoremove' to remove them.
The following additional packages will be installed:
  bc dblatex docbook-dsssl docbook-utils docbook-xml docbook-xsl fontconfig-config fonts-dejavu-core fonts-lato fonts-lmodern fonts-texgyre gettext ghostscript
  gsfonts intltool-debian jadetex javascript-common kernel-common libasprintf-dev libauthen-sasl-perl libavahi-client3 libavahi-common-data libavahi-common3
  libcroco3 libcups2 libcupsfilters1 libcupsimage2 libdrm-amdgpu1 libdrm-intel1 libdrm-nouveau2 libdrm-radeon1 libencode-locale-perl libfile-basedir-perl
  libfile-desktopentry-perl libfile-homedir-perl libfile-listing-perl libfile-mimeinfo-perl libfile-which-perl libfont-afm-perl libfontconfig1 libfontenc1
  libgettextpo-dev libgettextpo0 libgl1-mesa-dri libgl1-mesa-glx libglapi-mesa libgraphite2-3 libgs9 libgs9-common libharfbuzz-icu0 libharfbuzz0b
  libhtml-form-perl libhtml-format-perl libhtml-parser-perl libhtml-tagset-perl libhtml-tree-perl libhttp-cookies-perl libhttp-daemon-perl libhttp-date-perl
  libhttp-message-perl libhttp-negotiate-perl libice6 libijs-0.35 libio-html-perl libio-socket-ssl-perl libipc-system-simple-perl libjbig0 libjbig2dec0
  libjpeg-turbo8 libjpeg8 libjs-jquery libkpathsea6 liblcms2-2 libllvm3.8 liblwp-mediatypes-perl liblwp-protocol-https-perl libmail-sendmail-perl
  libmailtools-perl libnet-dbus-perl libnet-http-perl libnet-smtp-ssl-perl libnet-ssleay-perl libosp5 libostyle1c2 libpaper-utils libpaper1 libpciaccess0
  libpixman-1-0 libpoppler58 libpotrace0 libptexenc1 libruby2.3 libsgmls-perl libsm6 libsp1c2 libsynctex1 libsys-hostname-long-perl libtcl8.6 libtexlua52
  libtexluajit2 libtie-ixhash-perl libtiff5 libtimedate-perl libtk8.6 libtxc-dxtn-s2tc0 libunistring0 liburi-perl libwww-perl libwww-robotrules-perl
  libx11-protocol-perl libx11-xcb1 libxaw7 libxcb-dri2-0 libxcb-dri3-0 libxcb-glx0 libxcb-present0 libxcb-shape0 libxcb-sync1 libxcomposite1 libxcursor1
  libxdamage1 libxfixes3 libxft2 libxi6 libxinerama1 libxml-parser-perl libxml-twig-perl libxml-xpathengine-perl libxml2-utils libxmu6 libxpm4 libxrandr2
  libxrender1 libxshmfence1 libxslt1.1 libxss1 libxt6 libxtst6 libxv1 libxxf86dga1 libxxf86vm1 libyaml-0-2 libyaml-tiny-perl libzzip-0-13 lmodern lynx
  lynx-common openjade po-debconf poppler-data preview-latex-style prosper ps2eps python-apt rake ruby ruby-did-you-mean ruby-minitest ruby-net-telnet
  ruby-power-assert ruby-test-unit ruby2.3 rubygems-integration sgml-data sgmlspl sp t1utils tcl tcl8.6 tex-common tex-gyre texlive texlive-base
  texlive-bibtex-extra texlive-binaries texlive-extra-utils texlive-font-utils texlive-fonts-recommended texlive-fonts-recommended-doc
  texlive-generic-recommended texlive-latex-base texlive-latex-base-doc texlive-latex-extra texlive-latex-extra-doc texlive-latex-recommended
  texlive-latex-recommended-doc texlive-luatex texlive-math-extra texlive-pictures texlive-pictures-doc texlive-pstricks texlive-pstricks-doc tipa tk tk8.6
  x11-common x11-utils x11-xserver-utils xbitmaps xdg-utils xmlto xsltproc xterm zip
Suggested packages:
  docbook graphicsmagick-imagemagick-compat | imagemagick inkscape latex-cjk-all opensp pdf-viewer texlive-lang-all texlive-lang-cyrillic texlive-xetex
  transfig xindy docbook-dsssl-doc docbook-defguide dbtoepub docbook-xsl-doc-html | docbook-xsl-doc-pdf | docbook-xsl-doc-text | docbook-xsl-doc
  docbook-xsl-saxon fop libsaxon-java libxalan2-java libxslthl-java xalan gettext-doc autopoint ghostscript-x hpijs apache2 | lighttpd | httpd linux-source
  libncurses-dev libdigest-hmac-perl libgssapi-perl cups-common fonts-droid texlive-lang-cjk libdata-dump-perl liblcms2-utils libcrypt-ssleay-perl sgmls-doc
  libauthen-ntlm-perl libunicode-map8-perl libunicode-string-perl xml-twig-tools doc-base libmail-box-perl poppler-utils fonts-japanese-mincho
  | fonts-ipafont-mincho fonts-japanese-gothic | fonts-ipafont-gothic fonts-arphic-ukai fonts-arphic-uming fonts-nanum python-apt-dbg python-apt-doc ri
  ruby-dev bundler perlsgml w3-recs tcl-tclreadline debhelper perl-tk xpdf-reader | pdf-viewer dvipng dvidvi fragmaster purifyeps lacheck chktex latexmk
  latexdiff psutils python-pygments libspreadsheet-parseexcel-perl libtcltk-ruby dot2tex prerex mesa-utils nickle cairo-5c xorg-docs-core gvfs-bin w3m
  | lynx-cur | links xmltex xfonts-cyrillic
Recommended packages:
  uboot-mkimage
The following NEW packages will be installed:
  bc dblatex docbook-dsssl docbook-utils docbook-xml docbook-xsl fontconfig-config fonts-dejavu-core fonts-lato fonts-lmodern fonts-texgyre gettext ghostscript
  gsfonts intltool-debian jadetex javascript-common kernel-common kernel-package libasprintf-dev libauthen-sasl-perl libavahi-client3 libavahi-common-data
  libavahi-common3 libcroco3 libcups2 libcupsfilters1 libcupsimage2 libdrm-amdgpu1 libdrm-intel1 libdrm-nouveau2 libdrm-radeon1 libencode-locale-perl
  libfile-basedir-perl libfile-desktopentry-perl libfile-homedir-perl libfile-listing-perl libfile-mimeinfo-perl libfile-which-perl libfont-afm-perl
  libfontconfig1 libfontenc1 libgettextpo-dev libgettextpo0 libgl1-mesa-dri libgl1-mesa-glx libglapi-mesa libgraphite2-3 libgs9 libgs9-common libharfbuzz-icu0
  libharfbuzz0b libhtml-form-perl libhtml-format-perl libhtml-parser-perl libhtml-tagset-perl libhtml-tree-perl libhttp-cookies-perl libhttp-daemon-perl
  libhttp-date-perl libhttp-message-perl libhttp-negotiate-perl libice6 libijs-0.35 libio-html-perl libio-socket-ssl-perl libipc-system-simple-perl libjbig0
  libjbig2dec0 libjpeg-turbo8 libjpeg8 libjs-jquery libkpathsea6 liblcms2-2 libllvm3.8 liblwp-mediatypes-perl liblwp-protocol-https-perl libmail-sendmail-perl
  libmailtools-perl libnet-dbus-perl libnet-http-perl libnet-smtp-ssl-perl libnet-ssleay-perl libosp5 libostyle1c2 libpaper-utils libpaper1 libpciaccess0
  libpixman-1-0 libpoppler58 libpotrace0 libptexenc1 libruby2.3 libsgmls-perl libsm6 libsp1c2 libsynctex1 libsys-hostname-long-perl libtcl8.6 libtexlua52
  libtexluajit2 libtie-ixhash-perl libtiff5 libtimedate-perl libtk8.6 libtxc-dxtn-s2tc0 libunistring0 liburi-perl libwww-perl libwww-robotrules-perl
  libx11-protocol-perl libx11-xcb1 libxaw7 libxcb-dri2-0 libxcb-dri3-0 libxcb-glx0 libxcb-present0 libxcb-shape0 libxcb-sync1 libxcomposite1 libxcursor1
  libxdamage1 libxfixes3 libxft2 libxi6 libxinerama1 libxml-parser-perl libxml-twig-perl libxml-xpathengine-perl libxml2-utils libxmu6 libxpm4 libxrandr2
  libxrender1 libxshmfence1 libxslt1.1 libxss1 libxt6 libxtst6 libxv1 libxxf86dga1 libxxf86vm1 libyaml-0-2 libyaml-tiny-perl libzzip-0-13 lmodern lynx
  lynx-common openjade po-debconf poppler-data preview-latex-style prosper ps2eps python-apt rake ruby ruby-did-you-mean ruby-minitest ruby-net-telnet
  ruby-power-assert ruby-test-unit ruby2.3 rubygems-integration sgml-data sgmlspl sp t1utils tcl tcl8.6 tex-common tex-gyre texlive texlive-base
  texlive-bibtex-extra texlive-binaries texlive-extra-utils texlive-font-utils texlive-fonts-recommended texlive-fonts-recommended-doc
  texlive-generic-recommended texlive-latex-base texlive-latex-base-doc texlive-latex-extra texlive-latex-extra-doc texlive-latex-recommended
  texlive-latex-recommended-doc texlive-luatex texlive-math-extra texlive-pictures texlive-pictures-doc texlive-pstricks texlive-pstricks-doc tipa tk tk8.6
  x11-common x11-utils x11-xserver-utils xbitmaps xdg-utils xmlto xsltproc xterm zip
0 upgraded, 205 newly installed, 0 to remove and 69 not upgraded.
Need to get 856 MB of archives.
After this operation, 1579 MB of additional disk space will be used.
Do you want to continue? [Y/n] Y
Get:1 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 fonts-lato all 2.0-1 [2693 kB]
Get:2 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 x11-common all 1:7.7+13ubuntu3 [22.4 kB]
Get:3 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libice6 amd64 2:1.0.9-1 [39.2 kB]
Get:4 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libjpeg-turbo8 amd64 1.4.2-0ubuntu3 [111 kB]
Get:5 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 liblcms2-2 amd64 2.6-3ubuntu2 [137 kB]
Get:6 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libsm6 amd64 2:1.2.2-1 [15.8 kB]
Get:7 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libunistring0 amd64 0.9.3-5.2ubuntu1 [279 kB]
Get:8 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libxcomposite1 amd64 1:0.4.4-1 [7714 B]
Get:9 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libxfixes3 amd64 1:5.0.1-2 [11.1 kB]
Get:10 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libxrender1 amd64 1:0.9.9-0ubuntu1 [18.5 kB]
Get:11 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libxcursor1 amd64 1:1.1.14-1 [22.8 kB]
Get:12 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libxdamage1 amd64 1:1.1.4-2 [6946 B]
Get:13 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 fonts-dejavu-core all 2.35-1 [1039 kB]
Get:14 http://jp.archive.ubuntu.com/ubuntu xenial-updates/main amd64 fontconfig-config all 2.11.94-0ubuntu1.1 [49.9 kB]
Get:15 http://jp.archive.ubuntu.com/ubuntu xenial-updates/main amd64 libfontconfig1 amd64 2.11.94-0ubuntu1.1 [131 kB]
Get:16 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libxft2 amd64 2.3.2-1 [36.1 kB]
Get:17 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libxinerama1 amd64 2:1.1.3-1 [7908 B]
Get:18 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libxpm4 amd64 1:3.5.11-1 [33.1 kB]
Get:19 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libxshmfence1 amd64 1.2-1 [5042 B]
Get:20 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libxss1 amd64 1:1.2.2-1 [8582 B]
Get:21 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libxtst6 amd64 2:1.2.2-1 [14.1 kB]
Get:22 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libxv1 amd64 2:1.0.10-1 [10.3 kB]
Get:23 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libxxf86dga1 amd64 2:1.1.4-1 [13.7 kB]
Get:24 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libxxf86vm1 amd64 1:1.1.4-1 [10.6 kB]
Get:25 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libyaml-0-2 amd64 0.1.6-3 [47.6 kB]
Get:26 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libzzip-0-13 amd64 0.13.62-3 [26.1 kB]
Get:27 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 poppler-data all 0.4.7-7 [1495 kB]
Get:28 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libjbig0 amd64 2.1-3.1 [26.6 kB]
Get:29 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libtxc-dxtn-s2tc0 amd64 0~git20131104-1.1 [51.8 kB]
Get:30 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 bc amd64 1.06.95-9build1 [82.6 kB]
Get:31 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 sgml-data all 2.0.10 [173 kB]
Get:32 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 docbook-xml all 4.5-7.3 [74.4 kB]
Get:33 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 python-apt amd64 1.1.0~beta1build1 [139 kB]
Get:34 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libkpathsea6 amd64 2015.20160222.37495-1 [55.0 kB]
Get:35 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libptexenc1 amd64 2015.20160222.37495-1 [34.3 kB]
Get:36 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libsynctex1 amd64 2015.20160222.37495-1 [41.7 kB]
Get:37 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libtexlua52 amd64 2015.20160222.37495-1 [90.8 kB]
Get:38 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libtexluajit2 amd64 2015.20160222.37495-1 [213 kB]
Get:39 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 t1utils amd64 1.39-2 [53.4 kB]
Get:40 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libgraphite2-3 amd64 1.3.6-1ubuntu1 [70.8 kB]
Get:41 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libavahi-common-data amd64 0.6.32~rc+dfsg-1ubuntu2 [21.7 kB]
Get:42 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libavahi-common3 amd64 0.6.32~rc+dfsg-1ubuntu2 [21.6 kB]
Get:43 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libavahi-client3 amd64 0.6.32~rc+dfsg-1ubuntu2 [25.1 kB]
Get:44 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libcups2 amd64 2.1.3-4 [197 kB]
Get:45 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libjpeg8 amd64 8c-2ubuntu8 [2194 B]
Get:46 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libtiff5 amd64 4.0.6-1 [144 kB]
Get:47 http://jp.archive.ubuntu.com/ubuntu xenial-updates/main amd64 libcupsfilters1 amd64 1.8.3-2ubuntu3.1 [80.4 kB]
Get:48 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libcupsimage2 amd64 2.1.3-4 [16.1 kB]
Get:49 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libijs-0.35 amd64 0.35-12 [15.5 kB]
Get:50 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libjbig2dec0 amd64 0.12+20150918-1 [55.1 kB]
Get:51 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libpaper1 amd64 1.1.24+nmu4ubuntu1 [13.7 kB]
Get:52 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libgs9-common all 9.18~dfsg~0-0ubuntu2 [2980 kB]
Get:53 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libgs9 amd64 9.18~dfsg~0-0ubuntu2 [2058 kB]
Get:54 http://jp.archive.ubuntu.com/ubuntu xenial-updates/main amd64 libharfbuzz0b amd64 1.0.1-1ubuntu0.1 [140 kB]
Get:55 http://jp.archive.ubuntu.com/ubuntu xenial-updates/main amd64 libharfbuzz-icu0 amd64 1.0.1-1ubuntu0.1 [5198 B]
Get:56 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libpixman-1-0 amd64 0.33.6-1 [231 kB]
Get:57 http://jp.archive.ubuntu.com/ubuntu xenial-updates/main amd64 libpoppler58 amd64 0.41.0-0ubuntu1.1 [754 kB]
Get:58 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libpotrace0 amd64 1.13-2 [17.7 kB]                                                              
Get:59 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libxt6 amd64 1:1.1.5-0ubuntu1 [160 kB]                                                          
Get:60 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libxmu6 amd64 2:1.1.2-2 [46.0 kB]                                                                
Get:61 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libxaw7 amd64 2:1.0.13-1 [173 kB]                                                                
Get:62 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libxi6 amd64 2:1.7.6-1 [28.6 kB]                                                                
Get:63 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 tex-common all 6.04 [545 kB]                                                                    
Get:64 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 texlive-binaries amd64 2015.20160222.37495-1 [7325 kB]                                          
Get:65 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libpaper-utils amd64 1.1.24+nmu4ubuntu1 [8276 B]                                                
Get:66 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 xdg-utils all 1.1.1-1ubuntu1 [59.9 kB]                                                          
Get:67 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 texlive-base all 2015.20160320-1 [18.2 MB]                                                      
Get:68 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 texlive-latex-base all 2015.20160320-1 [849 kB]                                                  
Get:69 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 texlive-latex-recommended all 2015.20160320-1 [13.0 MB]                                          
Get:70 http://jp.archive.ubuntu.com/ubuntu xenial/universe amd64 texlive-fonts-recommended all 2015.20160320-1 [5695 kB]                                      
Get:71 http://jp.archive.ubuntu.com/ubuntu xenial/universe amd64 texlive all 2015.20160320-1 [14.3 kB]                                                        
Get:72 http://jp.archive.ubuntu.com/ubuntu xenial/universe amd64 texlive-bibtex-extra all 2015.20160320-1 [38.0 MB]                                          
Get:73 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 texlive-extra-utils all 2015.20160320-1 [11.9 MB]                                                
Get:74 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 texlive-pictures all 2015.20160320-1 [3737 kB]                                                  
Get:75 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 preview-latex-style all 11.88-1.1ubuntu1 [184 kB]                                                
Get:76 http://jp.archive.ubuntu.com/ubuntu xenial/universe amd64 texlive-latex-extra all 2015.20160320-1 [10.3 MB]                                            
Get:77 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libjs-jquery all 1.11.3+dfsg-4 [161 kB]                                                          
Get:78 http://jp.archive.ubuntu.com/ubuntu xenial/universe amd64 texlive-luatex all 2015.20160320-1 [7155 kB]                                                
Get:79 http://jp.archive.ubuntu.com/ubuntu xenial/universe amd64 texlive-math-extra all 2015.20160320-1 [17.7 MB]                                            
Get:80 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libxslt1.1 amd64 1.1.28-2.1 [145 kB]                                                            
Get:81 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 xsltproc amd64 1.1.28-2.1 [13.4 kB]                                                              
Get:82 http://jp.archive.ubuntu.com/ubuntu xenial/universe amd64 dblatex all 0.3.7-1 [1452 kB]                                                                
Get:83 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libosp5 amd64 1.5.2-13ubuntu1 [599 kB]                                                          
Get:84 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libostyle1c2 amd64 1.4devel1-21.1 [595 kB]                                                      
Get:85 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 openjade amd64 1.4devel1-21.1 [239 kB]                                                          
Get:86 http://jp.archive.ubuntu.com/ubuntu xenial/universe amd64 docbook-dsssl all 1.79-9 [219 kB]                                                            
Get:87 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 texlive-generic-recommended all 2015.20160320-1 [2860 kB]                                        
Get:88 http://jp.archive.ubuntu.com/ubuntu xenial/universe amd64 tipa all 2:1.3-20 [2978 kB]                                                                  
Get:89 http://jp.archive.ubuntu.com/ubuntu xenial/universe amd64 jadetex all 3.13-16 [214 kB]                                                                
Get:90 http://jp.archive.ubuntu.com/ubuntu xenial/universe amd64 lynx-common all 2.8.9dev8-4ubuntu1 [411 kB]                                                  
Get:91 http://jp.archive.ubuntu.com/ubuntu xenial/universe amd64 lynx amd64 2.8.9dev8-4ubuntu1 [624 kB]                                                      
Get:92 http://jp.archive.ubuntu.com/ubuntu xenial/universe amd64 libsgmls-perl all 1.03ii-34 [25.1 kB]                                                        
Get:93 http://jp.archive.ubuntu.com/ubuntu xenial/universe amd64 sgmlspl all 1.03ii-34 [6188 B]                                                              
Get:94 http://jp.archive.ubuntu.com/ubuntu xenial/universe amd64 libsp1c2 amd64 1.3.4-1.2.1-49ubuntu1 [1041 kB]                                              
Get:95 http://jp.archive.ubuntu.com/ubuntu xenial/universe amd64 sp amd64 1.3.4-1.2.1-49ubuntu1 [126 kB]                                                      
Get:96 http://jp.archive.ubuntu.com/ubuntu xenial/universe amd64 docbook-utils all 0.6.14-3ubuntu1 [68.0 kB]                                                  
Get:97 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 docbook-xsl all 1.79.1+dfsg-1 [1077 kB]                                                          
Get:98 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 fonts-lmodern all 2.004.5-1 [4553 kB]                                                            
Get:99 http://jp.archive.ubuntu.com/ubuntu xenial/universe amd64 fonts-texgyre all 20150923-1 [7926 kB]                                                      
Get:100 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libcroco3 amd64 0.6.11-1 [81.6 kB]                                                              
Get:101 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 gettext amd64 0.19.7-2ubuntu3 [1076 kB]                                                        
Get:102 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 gsfonts all 1:8.11+urwcyr1.0.7~pre44-4.2ubuntu1 [3374 kB]                                      
Get:103 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 ghostscript amd64 9.18~dfsg~0-0ubuntu2 [40.8 kB]                                                
Get:104 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 intltool-debian all 0.35.0+20060710.4 [24.9 kB]                                                
Get:105 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 javascript-common all 11 [6066 B]                                                              
Get:106 http://jp.archive.ubuntu.com/ubuntu xenial/universe amd64 kernel-common all 13.018 [24.6 kB]                                                          
Get:107 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 po-debconf all 1.0.19 [234 kB]                                                                  
Get:108 http://jp.archive.ubuntu.com/ubuntu xenial-updates/main amd64 libxml2-utils amd64 2.9.3+dfsg1-1ubuntu0.1 [37.5 kB]                                    
Get:109 http://jp.archive.ubuntu.com/ubuntu xenial/universe amd64 xmlto amd64 0.0.28-0.1 [26.7 kB]                                                            
Get:110 http://jp.archive.ubuntu.com/ubuntu xenial/universe amd64 kernel-package all 13.018 [244 kB]                                                          
Get:111 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libasprintf-dev amd64 0.19.7-2ubuntu3 [4734 B]                                                  
Get:112 http://jp.archive.ubuntu.com/ubuntu xenial-updates/main amd64 libdrm-amdgpu1 amd64 2.4.67-1ubuntu0.16.04.2 [16.4 kB]                                  
Get:113 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libpciaccess0 amd64 0.13.4-1 [18.1 kB]                                                          
Get:114 http://jp.archive.ubuntu.com/ubuntu xenial-updates/main amd64 libdrm-intel1 amd64 2.4.67-1ubuntu0.16.04.2 [56.0 kB]                                  
Get:115 http://jp.archive.ubuntu.com/ubuntu xenial-updates/main amd64 libdrm-nouveau2 amd64 2.4.67-1ubuntu0.16.04.2 [16.3 kB]                                
Get:116 http://jp.archive.ubuntu.com/ubuntu xenial-updates/main amd64 libdrm-radeon1 amd64 2.4.67-1ubuntu0.16.04.2 [21.6 kB]                                  
Get:117 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libencode-locale-perl all 1.05-1 [12.3 kB]                                                      
Get:118 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libipc-system-simple-perl all 1.25-3 [22.8 kB]                                                  
Get:119 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libfile-basedir-perl all 0.07-1 [16.9 kB]                                                      
Get:120 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 liburi-perl all 1.71-1 [76.9 kB]                                                                
Get:121 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libfile-desktopentry-perl all 0.22-1 [18.2 kB]                                                  
Get:122 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libfile-which-perl all 1.19-1 [12.3 kB]                                                        
Get:123 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libfile-homedir-perl all 1.00-1 [46.0 kB]                                                      
Get:124 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libtimedate-perl all 2.3000-2 [37.5 kB]                                                        
Get:125 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libhttp-date-perl all 6.02-1 [10.4 kB]                                                          
Get:126 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libfile-listing-perl all 6.04-1 [9774 B]                                                        
Get:127 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libfile-mimeinfo-perl all 0.27-1 [45.9 kB]                                                      
Get:128 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libfont-afm-perl all 1.20-1 [14.3 kB]                                                          
Get:129 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libfontenc1 amd64 1:1.1.3-1 [13.9 kB]                                                          
Get:130 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libgettextpo0 amd64 0.19.7-2ubuntu3 [125 kB]                                                    
Get:131 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libgettextpo-dev amd64 0.19.7-2ubuntu3 [141 kB]                                                
Get:132 http://jp.archive.ubuntu.com/ubuntu xenial-updates/main amd64 libllvm3.8 amd64 1:3.8-2ubuntu4 [10.3 MB]                                              
Get:133 http://jp.archive.ubuntu.com/ubuntu xenial-updates/main amd64 libgl1-mesa-dri amd64 11.2.0-1ubuntu2.2 [4655 kB]                                      
Get:134 http://jp.archive.ubuntu.com/ubuntu xenial-updates/main amd64 libglapi-mesa amd64 11.2.0-1ubuntu2.2 [22.9 kB]                                        
Get:135 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libx11-xcb1 amd64 2:1.6.3-1ubuntu2 [8956 B]                                                    
Get:136 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libxcb-dri2-0 amd64 1.11.1-1ubuntu1 [6882 B]                                                    
Get:137 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libxcb-dri3-0 amd64 1.11.1-1ubuntu1 [5218 B]                                                    
Get:138 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libxcb-glx0 amd64 1.11.1-1ubuntu1 [20.9 kB]                                                    
Get:139 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libxcb-present0 amd64 1.11.1-1ubuntu1 [5218 B]                                                  
Get:140 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libxcb-sync1 amd64 1.11.1-1ubuntu1 [8324 B]                                                    
Get:141 http://jp.archive.ubuntu.com/ubuntu xenial-updates/main amd64 libgl1-mesa-glx amd64 11.2.0-1ubuntu2.2 [127 kB]                                        
Get:142 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libhtml-tagset-perl all 3.20-2 [13.5 kB]                                                        
Get:143 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libhtml-parser-perl amd64 3.72-1 [86.1 kB]                                                      
Get:144 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libio-html-perl all 1.001-1 [14.9 kB]                                                          
Get:145 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 liblwp-mediatypes-perl all 6.02-1 [21.7 kB]                                                    
Get:146 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libhttp-message-perl all 6.11-1 [74.3 kB]                                                      
Get:147 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libhtml-form-perl all 6.03-1 [23.5 kB]                                                          
Get:148 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libhtml-tree-perl all 5.03-2 [197 kB]                                                          
Get:149 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libhtml-format-perl all 2.11-2 [41.3 kB]                                                        
Get:150 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libhttp-cookies-perl all 6.01-1 [17.2 kB]                                                      
Get:151 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libhttp-daemon-perl all 6.01-1 [17.0 kB]                                                        
Get:152 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libhttp-negotiate-perl all 6.00-2 [13.4 kB]                                                    
Get:153 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libnet-ssleay-perl amd64 1.72-1build1 [259 kB]                                                  
Get:154 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libio-socket-ssl-perl all 2.024-1 [159 kB]                                                      
Get:155 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libnet-http-perl all 6.09-1 [24.0 kB]                                                          
Get:156 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libwww-robotrules-perl all 6.01-1 [14.1 kB]                                                    
Get:157 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libwww-perl all 6.15-1 [146 kB]                                                                
Get:158 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 liblwp-protocol-https-perl all 6.06-2 [8682 B]                                                  
Get:159 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libsys-hostname-long-perl all 1.5-1 [11.7 kB]                                                  
Get:160 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libmail-sendmail-perl all 0.79.16-1 [26.5 kB]                                                  
Get:161 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libnet-smtp-ssl-perl all 1.03-1 [6288 B]                                                        
Get:162 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libmailtools-perl all 2.13-1 [82.6 kB]                                                          
Get:163 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libxml-parser-perl amd64 2.44-1build1 [200 kB]                                                  
Get:164 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libxml-twig-perl all 1:3.48-1 [156 kB]                                                          
Get:165 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libnet-dbus-perl amd64 1.1.0-3build1 [177 kB]                                                  
Get:166 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libtcl8.6 amd64 8.6.5+dfsg-2 [875 kB]                                                          
Get:167 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libtie-ixhash-perl all 1.23-2 [11.2 kB]                                                        
Get:168 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libtk8.6 amd64 8.6.5-1 [693 kB]                                                                
Get:169 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libx11-protocol-perl all 0.56-7 [149 kB]                                                        
Get:170 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libxcb-shape0 amd64 1.11.1-1ubuntu1 [5756 B]                                                    
Get:171 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libxml-xpathengine-perl all 0.13-1 [37.1 kB]                                                    
Get:172 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libxrandr2 amd64 2:1.5.0-1 [17.6 kB]                                                            
Get:173 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libyaml-tiny-perl all 1.69-1 [25.8 kB]                                                          
Get:174 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 lmodern all 2.004.5-1 [9571 kB]                                                                
Get:175 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 texlive-pstricks all 2015.20160320-1 [26.1 MB]                                                  
Get:176 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 prosper all 1.00.4+cvs.2007.05.01-4 [449 kB]                                                    
Get:177 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 ps2eps amd64 1.68+binaryfree-1 [33.0 kB]                                                        
Get:178 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 rubygems-integration all 1.10 [4966 B]                                                          
Get:179 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 ruby-did-you-mean all 1.0.0-2 [8390 B]                                                          
Get:180 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 ruby-minitest all 5.8.4-2 [36.6 kB]                                                            
Get:181 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 ruby-net-telnet all 0.1.1-2 [12.6 kB]                                                          
Get:182 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 ruby-power-assert all 0.2.7-1 [7668 B]                                                          
Get:183 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 ruby-test-unit all 3.1.7-2 [60.3 kB]                                                            
Get:184 http://jp.archive.ubuntu.com/ubuntu xenial-updates/main amd64 libruby2.3 amd64 2.3.1-2~16.04 [2957 kB]                                                
Get:185 http://jp.archive.ubuntu.com/ubuntu xenial-updates/main amd64 ruby2.3 amd64 2.3.1-2~16.04 [40.9 kB]                                                  
Get:186 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 ruby all 1:2.3.0+1 [5530 B]                                                                    
Get:187 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 rake all 10.5.0-2 [48.2 kB]                                                                    
Get:188 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 tcl8.6 amd64 8.6.5+dfsg-2 [14.2 kB]                                                            
Get:189 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 tcl amd64 8.6.0+9 [5146 B]                                                                      
Get:190 http://jp.archive.ubuntu.com/ubuntu xenial/universe amd64 tex-gyre all 20150923-1 [5048 kB]                                                          
Get:191 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 texlive-font-utils all 2015.20160320-1 [1719 kB]                                                
Get:192 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 texlive-fonts-recommended-doc all 2015.20160320-1 [2725 kB]                                    
Get:193 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 texlive-latex-base-doc all 2015.20160320-1 [45.4 MB]                                            
Get:194 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 texlive-latex-extra-doc all 2015.20160320-1 [338 MB]                                            
Get:195 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 texlive-latex-recommended-doc all 2015.20160320-1 [37.2 MB]                                    
Get:196 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 texlive-pictures-doc all 2015.20160320-1 [100 MB]                                              
Get:197 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 texlive-pstricks-doc all 2015.20160320-1 [85.7 MB]                                              
Get:198 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 tk8.6 amd64 8.6.5-1 [12.2 kB]                                                                  
Get:199 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 tk amd64 8.6.0+9 [3178 B]                                                                      
Get:200 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 x11-utils amd64 7.7+3 [189 kB]                                                                  
Get:201 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 x11-xserver-utils amd64 7.7+7 [155 kB]                                                          
Get:202 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 xbitmaps all 1.1.1-2 [28.1 kB]                                                                  
Get:203 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 xterm amd64 322-1ubuntu1 [607 kB]                                                              
Get:204 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 zip amd64 3.0-11 [158 kB]                                                                      
Get:205 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libauthen-sasl-perl all 2.1600-1 [48.7 kB]                                                      
Fetched 856 MB in 5min 23s (2647 kB/s)                                                                                                                        
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LC_CTYPE = "UTF-8",
LANG = "ja_JP.UTF-8"
    are supported and installed on your system.
perl: warning: Falling back to a fallback locale ("ja_JP.UTF-8").
locale: Cannot set LC_CTYPE to default locale: No such file or directory
locale: LC_ALL??????????????????: ??????????????????????
パッケージからテンプレートを展開しています: 100%
パッケージを事前設定しています ...
Selecting previously unselected package fonts-lato.
(Reading database ... 258900 files and directories currently installed.)
Preparing to unpack .../fonts-lato_2.0-1_all.deb ...
Unpacking fonts-lato (2.0-1) ...
Selecting previously unselected package x11-common.
Preparing to unpack .../x11-common_1%3a7.7+13ubuntu3_all.deb ...
Unpacking x11-common (1:7.7+13ubuntu3) ...
Selecting previously unselected package libice6:amd64.
Preparing to unpack .../libice6_2%3a1.0.9-1_amd64.deb ...
Unpacking libice6:amd64 (2:1.0.9-1) ...
Selecting previously unselected package libjpeg-turbo8:amd64.
Preparing to unpack .../libjpeg-turbo8_1.4.2-0ubuntu3_amd64.deb ...
Unpacking libjpeg-turbo8:amd64 (1.4.2-0ubuntu3) ...
Selecting previously unselected package liblcms2-2:amd64.
Preparing to unpack .../liblcms2-2_2.6-3ubuntu2_amd64.deb ...
Unpacking liblcms2-2:amd64 (2.6-3ubuntu2) ...
Selecting previously unselected package libsm6:amd64.
Preparing to unpack .../libsm6_2%3a1.2.2-1_amd64.deb ...
Unpacking libsm6:amd64 (2:1.2.2-1) ...
Selecting previously unselected package libunistring0:amd64.
Preparing to unpack .../libunistring0_0.9.3-5.2ubuntu1_amd64.deb ...
Unpacking libunistring0:amd64 (0.9.3-5.2ubuntu1) ...
Selecting previously unselected package libxcomposite1:amd64.
Preparing to unpack .../libxcomposite1_1%3a0.4.4-1_amd64.deb ...
Unpacking libxcomposite1:amd64 (1:0.4.4-1) ...
Selecting previously unselected package libxfixes3:amd64.
Preparing to unpack .../libxfixes3_1%3a5.0.1-2_amd64.deb ...
Unpacking libxfixes3:amd64 (1:5.0.1-2) ...
Selecting previously unselected package libxrender1:amd64.
Preparing to unpack .../libxrender1_1%3a0.9.9-0ubuntu1_amd64.deb ...
Unpacking libxrender1:amd64 (1:0.9.9-0ubuntu1) ...
Selecting previously unselected package libxcursor1:amd64.
Preparing to unpack .../libxcursor1_1%3a1.1.14-1_amd64.deb ...
Unpacking libxcursor1:amd64 (1:1.1.14-1) ...
Selecting previously unselected package libxdamage1:amd64.
Preparing to unpack .../libxdamage1_1%3a1.1.4-2_amd64.deb ...
Unpacking libxdamage1:amd64 (1:1.1.4-2) ...
Selecting previously unselected package fonts-dejavu-core.
Preparing to unpack .../fonts-dejavu-core_2.35-1_all.deb ...
Unpacking fonts-dejavu-core (2.35-1) ...
Selecting previously unselected package fontconfig-config.
Preparing to unpack .../fontconfig-config_2.11.94-0ubuntu1.1_all.deb ...
Unpacking fontconfig-config (2.11.94-0ubuntu1.1) ...
Selecting previously unselected package libfontconfig1:amd64.
Preparing to unpack .../libfontconfig1_2.11.94-0ubuntu1.1_amd64.deb ...
Unpacking libfontconfig1:amd64 (2.11.94-0ubuntu1.1) ...
Selecting previously unselected package libxft2:amd64.
Preparing to unpack .../libxft2_2.3.2-1_amd64.deb ...
Unpacking libxft2:amd64 (2.3.2-1) ...
Selecting previously unselected package libxinerama1:amd64.
Preparing to unpack .../libxinerama1_2%3a1.1.3-1_amd64.deb ...
Unpacking libxinerama1:amd64 (2:1.1.3-1) ...
Selecting previously unselected package libxpm4:amd64.
Preparing to unpack .../libxpm4_1%3a3.5.11-1_amd64.deb ...
Unpacking libxpm4:amd64 (1:3.5.11-1) ...
Selecting previously unselected package libxshmfence1:amd64.
Preparing to unpack .../libxshmfence1_1.2-1_amd64.deb ...
Unpacking libxshmfence1:amd64 (1.2-1) ...
Selecting previously unselected package libxss1:amd64.
Preparing to unpack .../libxss1_1%3a1.2.2-1_amd64.deb ...
Unpacking libxss1:amd64 (1:1.2.2-1) ...
Selecting previously unselected package libxtst6:amd64.
Preparing to unpack .../libxtst6_2%3a1.2.2-1_amd64.deb ...
Unpacking libxtst6:amd64 (2:1.2.2-1) ...
Selecting previously unselected package libxv1:amd64.
Preparing to unpack .../libxv1_2%3a1.0.10-1_amd64.deb ...
Unpacking libxv1:amd64 (2:1.0.10-1) ...
Selecting previously unselected package libxxf86dga1:amd64.
Preparing to unpack .../libxxf86dga1_2%3a1.1.4-1_amd64.deb ...
Unpacking libxxf86dga1:amd64 (2:1.1.4-1) ...
Selecting previously unselected package libxxf86vm1:amd64.
Preparing to unpack .../libxxf86vm1_1%3a1.1.4-1_amd64.deb ...
Unpacking libxxf86vm1:amd64 (1:1.1.4-1) ...
Selecting previously unselected package libyaml-0-2:amd64.
Preparing to unpack .../libyaml-0-2_0.1.6-3_amd64.deb ...
Unpacking libyaml-0-2:amd64 (0.1.6-3) ...
Selecting previously unselected package libzzip-0-13:amd64.
Preparing to unpack .../libzzip-0-13_0.13.62-3_amd64.deb ...
Unpacking libzzip-0-13:amd64 (0.13.62-3) ...
Selecting previously unselected package poppler-data.
Preparing to unpack .../poppler-data_0.4.7-7_all.deb ...
Unpacking poppler-data (0.4.7-7) ...
Selecting previously unselected package libjbig0:amd64.
Preparing to unpack .../libjbig0_2.1-3.1_amd64.deb ...
Unpacking libjbig0:amd64 (2.1-3.1) ...
Selecting previously unselected package libtxc-dxtn-s2tc0:amd64.
Preparing to unpack .../libtxc-dxtn-s2tc0_0~git20131104-1.1_amd64.deb ...
Unpacking libtxc-dxtn-s2tc0:amd64 (0~git20131104-1.1) ...
Selecting previously unselected package bc.
Preparing to unpack .../bc_1.06.95-9build1_amd64.deb ...
Unpacking bc (1.06.95-9build1) ...
Selecting previously unselected package sgml-data.
Preparing to unpack .../sgml-data_2.0.10_all.deb ...
Unpacking sgml-data (2.0.10) ...
Selecting previously unselected package docbook-xml.
Preparing to unpack .../docbook-xml_4.5-7.3_all.deb ...
Unpacking docbook-xml (4.5-7.3) ...
Selecting previously unselected package python-apt.
Preparing to unpack .../python-apt_1.1.0~beta1build1_amd64.deb ...
Unpacking python-apt (1.1.0~beta1build1) ...
Selecting previously unselected package libkpathsea6:amd64.
Preparing to unpack .../libkpathsea6_2015.20160222.37495-1_amd64.deb ...
Unpacking libkpathsea6:amd64 (2015.20160222.37495-1) ...
Selecting previously unselected package libptexenc1:amd64.
Preparing to unpack .../libptexenc1_2015.20160222.37495-1_amd64.deb ...
Unpacking libptexenc1:amd64 (2015.20160222.37495-1) ...
Selecting previously unselected package libsynctex1:amd64.
Preparing to unpack .../libsynctex1_2015.20160222.37495-1_amd64.deb ...
Unpacking libsynctex1:amd64 (2015.20160222.37495-1) ...
Selecting previously unselected package libtexlua52:amd64.
Preparing to unpack .../libtexlua52_2015.20160222.37495-1_amd64.deb ...
Unpacking libtexlua52:amd64 (2015.20160222.37495-1) ...
Selecting previously unselected package libtexluajit2:amd64.
Preparing to unpack .../libtexluajit2_2015.20160222.37495-1_amd64.deb ...
Unpacking libtexluajit2:amd64 (2015.20160222.37495-1) ...
Selecting previously unselected package t1utils.
Preparing to unpack .../t1utils_1.39-2_amd64.deb ...
Unpacking t1utils (1.39-2) ...
Selecting previously unselected package libgraphite2-3:amd64.
Preparing to unpack .../libgraphite2-3_1.3.6-1ubuntu1_amd64.deb ...
Unpacking libgraphite2-3:amd64 (1.3.6-1ubuntu1) ...
Selecting previously unselected package libavahi-common-data:amd64.
Preparing to unpack .../libavahi-common-data_0.6.32~rc+dfsg-1ubuntu2_amd64.deb ...
Unpacking libavahi-common-data:amd64 (0.6.32~rc+dfsg-1ubuntu2) ...
Selecting previously unselected package libavahi-common3:amd64.
Preparing to unpack .../libavahi-common3_0.6.32~rc+dfsg-1ubuntu2_amd64.deb ...
Unpacking libavahi-common3:amd64 (0.6.32~rc+dfsg-1ubuntu2) ...
Selecting previously unselected package libavahi-client3:amd64.
Preparing to unpack .../libavahi-client3_0.6.32~rc+dfsg-1ubuntu2_amd64.deb ...
Unpacking libavahi-client3:amd64 (0.6.32~rc+dfsg-1ubuntu2) ...
Selecting previously unselected package libcups2:amd64.
Preparing to unpack .../libcups2_2.1.3-4_amd64.deb ...
Unpacking libcups2:amd64 (2.1.3-4) ...
Selecting previously unselected package libjpeg8:amd64.
Preparing to unpack .../libjpeg8_8c-2ubuntu8_amd64.deb ...
Unpacking libjpeg8:amd64 (8c-2ubuntu8) ...
Selecting previously unselected package libtiff5:amd64.
Preparing to unpack .../libtiff5_4.0.6-1_amd64.deb ...
Unpacking libtiff5:amd64 (4.0.6-1) ...
Selecting previously unselected package libcupsfilters1:amd64.
Preparing to unpack .../libcupsfilters1_1.8.3-2ubuntu3.1_amd64.deb ...
Unpacking libcupsfilters1:amd64 (1.8.3-2ubuntu3.1) ...
Selecting previously unselected package libcupsimage2:amd64.
Preparing to unpack .../libcupsimage2_2.1.3-4_amd64.deb ...
Unpacking libcupsimage2:amd64 (2.1.3-4) ...
Selecting previously unselected package libijs-0.35:amd64.
Preparing to unpack .../libijs-0.35_0.35-12_amd64.deb ...
Unpacking libijs-0.35:amd64 (0.35-12) ...
Selecting previously unselected package libjbig2dec0.
Preparing to unpack .../libjbig2dec0_0.12+20150918-1_amd64.deb ...
Unpacking libjbig2dec0 (0.12+20150918-1) ...
Selecting previously unselected package libpaper1:amd64.
Preparing to unpack .../libpaper1_1.1.24+nmu4ubuntu1_amd64.deb ...
Unpacking libpaper1:amd64 (1.1.24+nmu4ubuntu1) ...
Selecting previously unselected package libgs9-common.
Preparing to unpack .../libgs9-common_9.18~dfsg~0-0ubuntu2_all.deb ...
Unpacking libgs9-common (9.18~dfsg~0-0ubuntu2) ...
Selecting previously unselected package libgs9:amd64.
Preparing to unpack .../libgs9_9.18~dfsg~0-0ubuntu2_amd64.deb ...
Unpacking libgs9:amd64 (9.18~dfsg~0-0ubuntu2) ...
Selecting previously unselected package libharfbuzz0b:amd64.
Preparing to unpack .../libharfbuzz0b_1.0.1-1ubuntu0.1_amd64.deb ...
Unpacking libharfbuzz0b:amd64 (1.0.1-1ubuntu0.1) ...
Selecting previously unselected package libharfbuzz-icu0:amd64.
Preparing to unpack .../libharfbuzz-icu0_1.0.1-1ubuntu0.1_amd64.deb ...
Unpacking libharfbuzz-icu0:amd64 (1.0.1-1ubuntu0.1) ...
Selecting previously unselected package libpixman-1-0:amd64.
Preparing to unpack .../libpixman-1-0_0.33.6-1_amd64.deb ...
Unpacking libpixman-1-0:amd64 (0.33.6-1) ...
Selecting previously unselected package libpoppler58:amd64.
Preparing to unpack .../libpoppler58_0.41.0-0ubuntu1.1_amd64.deb ...
Unpacking libpoppler58:amd64 (0.41.0-0ubuntu1.1) ...
Selecting previously unselected package libpotrace0.
Preparing to unpack .../libpotrace0_1.13-2_amd64.deb ...
Unpacking libpotrace0 (1.13-2) ...
Selecting previously unselected package libxt6:amd64.
Preparing to unpack .../libxt6_1%3a1.1.5-0ubuntu1_amd64.deb ...
Unpacking libxt6:amd64 (1:1.1.5-0ubuntu1) ...
Selecting previously unselected package libxmu6:amd64.
Preparing to unpack .../libxmu6_2%3a1.1.2-2_amd64.deb ...
Unpacking libxmu6:amd64 (2:1.1.2-2) ...
Selecting previously unselected package libxaw7:amd64.
Preparing to unpack .../libxaw7_2%3a1.0.13-1_amd64.deb ...
Unpacking libxaw7:amd64 (2:1.0.13-1) ...
Selecting previously unselected package libxi6:amd64.
Preparing to unpack .../libxi6_2%3a1.7.6-1_amd64.deb ...
Unpacking libxi6:amd64 (2:1.7.6-1) ...
Selecting previously unselected package tex-common.
Preparing to unpack .../tex-common_6.04_all.deb ...
Unpacking tex-common (6.04) ...
Selecting previously unselected package texlive-binaries.
Preparing to unpack .../texlive-binaries_2015.20160222.37495-1_amd64.deb ...
Unpacking texlive-binaries (2015.20160222.37495-1) ...
Selecting previously unselected package libpaper-utils.
Preparing to unpack .../libpaper-utils_1.1.24+nmu4ubuntu1_amd64.deb ...
Unpacking libpaper-utils (1.1.24+nmu4ubuntu1) ...
Selecting previously unselected package xdg-utils.
Preparing to unpack .../xdg-utils_1.1.1-1ubuntu1_all.deb ...
Unpacking xdg-utils (1.1.1-1ubuntu1) ...
Selecting previously unselected package texlive-base.
Preparing to unpack .../texlive-base_2015.20160320-1_all.deb ...
Unpacking texlive-base (2015.20160320-1) ...
Selecting previously unselected package texlive-latex-base.
Preparing to unpack .../texlive-latex-base_2015.20160320-1_all.deb ...
Unpacking texlive-latex-base (2015.20160320-1) ...
Selecting previously unselected package texlive-latex-recommended.
Preparing to unpack .../texlive-latex-recommended_2015.20160320-1_all.deb ...
Unpacking texlive-latex-recommended (2015.20160320-1) ...
Selecting previously unselected package texlive-fonts-recommended.
Preparing to unpack .../texlive-fonts-recommended_2015.20160320-1_all.deb ...
Unpacking texlive-fonts-recommended (2015.20160320-1) ...
Selecting previously unselected package texlive.
Preparing to unpack .../texlive_2015.20160320-1_all.deb ...
Unpacking texlive (2015.20160320-1) ...
Selecting previously unselected package texlive-bibtex-extra.
Preparing to unpack .../texlive-bibtex-extra_2015.20160320-1_all.deb ...
Unpacking texlive-bibtex-extra (2015.20160320-1) ...
Selecting previously unselected package texlive-extra-utils.
Preparing to unpack .../texlive-extra-utils_2015.20160320-1_all.deb ...
Unpacking texlive-extra-utils (2015.20160320-1) ...
Selecting previously unselected package texlive-pictures.
Preparing to unpack .../texlive-pictures_2015.20160320-1_all.deb ...
Unpacking texlive-pictures (2015.20160320-1) ...
Selecting previously unselected package preview-latex-style.
Preparing to unpack .../preview-latex-style_11.88-1.1ubuntu1_all.deb ...
Unpacking preview-latex-style (11.88-1.1ubuntu1) ...
Selecting previously unselected package texlive-latex-extra.
Preparing to unpack .../texlive-latex-extra_2015.20160320-1_all.deb ...
Unpacking texlive-latex-extra (2015.20160320-1) ...
Selecting previously unselected package libjs-jquery.
Preparing to unpack .../libjs-jquery_1.11.3+dfsg-4_all.deb ...
Unpacking libjs-jquery (1.11.3+dfsg-4) ...
Selecting previously unselected package texlive-luatex.
Preparing to unpack .../texlive-luatex_2015.20160320-1_all.deb ...
Unpacking texlive-luatex (2015.20160320-1) ...
Selecting previously unselected package texlive-math-extra.
Preparing to unpack .../texlive-math-extra_2015.20160320-1_all.deb ...
Unpacking texlive-math-extra (2015.20160320-1) ...
Selecting previously unselected package libxslt1.1:amd64.
Preparing to unpack .../libxslt1.1_1.1.28-2.1_amd64.deb ...
Unpacking libxslt1.1:amd64 (1.1.28-2.1) ...
Selecting previously unselected package xsltproc.
Preparing to unpack .../xsltproc_1.1.28-2.1_amd64.deb ...
Unpacking xsltproc (1.1.28-2.1) ...
Selecting previously unselected package dblatex.
Preparing to unpack .../dblatex_0.3.7-1_all.deb ...
Unpacking dblatex (0.3.7-1) ...
Selecting previously unselected package libosp5.
Preparing to unpack .../libosp5_1.5.2-13ubuntu1_amd64.deb ...
Unpacking libosp5 (1.5.2-13ubuntu1) ...
Selecting previously unselected package libostyle1c2.
Preparing to unpack .../libostyle1c2_1.4devel1-21.1_amd64.deb ...
Unpacking libostyle1c2 (1.4devel1-21.1) ...
Selecting previously unselected package openjade.
Preparing to unpack .../openjade_1.4devel1-21.1_amd64.deb ...
Unpacking openjade (1.4devel1-21.1) ...
Selecting previously unselected package docbook-dsssl.
Preparing to unpack .../docbook-dsssl_1.79-9_all.deb ...
Unpacking docbook-dsssl (1.79-9) ...
Selecting previously unselected package texlive-generic-recommended.
Preparing to unpack .../texlive-generic-recommended_2015.20160320-1_all.deb ...
Unpacking texlive-generic-recommended (2015.20160320-1) ...
Selecting previously unselected package tipa.
Preparing to unpack .../tipa_2%3a1.3-20_all.deb ...
Unpacking tipa (2:1.3-20) ...
Selecting previously unselected package jadetex.
Preparing to unpack .../jadetex_3.13-16_all.deb ...
Unpacking jadetex (3.13-16) ...
Selecting previously unselected package lynx-common.
Preparing to unpack .../lynx-common_2.8.9dev8-4ubuntu1_all.deb ...
Unpacking lynx-common (2.8.9dev8-4ubuntu1) ...
Selecting previously unselected package lynx.
Preparing to unpack .../lynx_2.8.9dev8-4ubuntu1_amd64.deb ...
Unpacking lynx (2.8.9dev8-4ubuntu1) ...
Selecting previously unselected package libsgmls-perl.
Preparing to unpack .../libsgmls-perl_1.03ii-34_all.deb ...
Unpacking libsgmls-perl (1.03ii-34) ...
Selecting previously unselected package sgmlspl.
Preparing to unpack .../sgmlspl_1.03ii-34_all.deb ...
Unpacking sgmlspl (1.03ii-34) ...
Selecting previously unselected package libsp1c2.
Preparing to unpack .../libsp1c2_1.3.4-1.2.1-49ubuntu1_amd64.deb ...
Unpacking libsp1c2 (1.3.4-1.2.1-49ubuntu1) ...
Selecting previously unselected package sp.
Preparing to unpack .../sp_1.3.4-1.2.1-49ubuntu1_amd64.deb ...
Unpacking sp (1.3.4-1.2.1-49ubuntu1) ...
Selecting previously unselected package docbook-utils.
Preparing to unpack .../docbook-utils_0.6.14-3ubuntu1_all.deb ...
Unpacking docbook-utils (0.6.14-3ubuntu1) ...
Selecting previously unselected package docbook-xsl.
Preparing to unpack .../docbook-xsl_1.79.1+dfsg-1_all.deb ...
Unpacking docbook-xsl (1.79.1+dfsg-1) ...
Selecting previously unselected package fonts-lmodern.
Preparing to unpack .../fonts-lmodern_2.004.5-1_all.deb ...
Unpacking fonts-lmodern (2.004.5-1) ...
Selecting previously unselected package fonts-texgyre.
Preparing to unpack .../fonts-texgyre_20150923-1_all.deb ...
Unpacking fonts-texgyre (20150923-1) ...
Selecting previously unselected package libcroco3:amd64.
Preparing to unpack .../libcroco3_0.6.11-1_amd64.deb ...
Unpacking libcroco3:amd64 (0.6.11-1) ...
Selecting previously unselected package gettext.
Preparing to unpack .../gettext_0.19.7-2ubuntu3_amd64.deb ...
Unpacking gettext (0.19.7-2ubuntu3) ...
Selecting previously unselected package gsfonts.
Preparing to unpack .../gsfonts_1%3a8.11+urwcyr1.0.7~pre44-4.2ubuntu1_all.deb ...
Unpacking gsfonts (1:8.11+urwcyr1.0.7~pre44-4.2ubuntu1) ...
Selecting previously unselected package ghostscript.
Preparing to unpack .../ghostscript_9.18~dfsg~0-0ubuntu2_amd64.deb ...
Unpacking ghostscript (9.18~dfsg~0-0ubuntu2) ...
Selecting previously unselected package intltool-debian.
Preparing to unpack .../intltool-debian_0.35.0+20060710.4_all.deb ...
Unpacking intltool-debian (0.35.0+20060710.4) ...
Selecting previously unselected package javascript-common.
Preparing to unpack .../javascript-common_11_all.deb ...
Unpacking javascript-common (11) ...
Selecting previously unselected package kernel-common.
Preparing to unpack .../kernel-common_13.018_all.deb ...
Unpacking kernel-common (13.018) ...
Selecting previously unselected package po-debconf.
Preparing to unpack .../po-debconf_1.0.19_all.deb ...
Unpacking po-debconf (1.0.19) ...
Selecting previously unselected package libxml2-utils.
Preparing to unpack .../libxml2-utils_2.9.3+dfsg1-1ubuntu0.1_amd64.deb ...
Unpacking libxml2-utils (2.9.3+dfsg1-1ubuntu0.1) ...
Selecting previously unselected package xmlto.
Preparing to unpack .../xmlto_0.0.28-0.1_amd64.deb ...
Unpacking xmlto (0.0.28-0.1) ...
Selecting previously unselected package kernel-package.
Preparing to unpack .../kernel-package_13.018_all.deb ...
Unpacking kernel-package (13.018) ...
Selecting previously unselected package libasprintf-dev:amd64.
Preparing to unpack .../libasprintf-dev_0.19.7-2ubuntu3_amd64.deb ...
Unpacking libasprintf-dev:amd64 (0.19.7-2ubuntu3) ...
Selecting previously unselected package libdrm-amdgpu1:amd64.
Preparing to unpack .../libdrm-amdgpu1_2.4.67-1ubuntu0.16.04.2_amd64.deb ...
Unpacking libdrm-amdgpu1:amd64 (2.4.67-1ubuntu0.16.04.2) ...
Selecting previously unselected package libpciaccess0:amd64.
Preparing to unpack .../libpciaccess0_0.13.4-1_amd64.deb ...
Unpacking libpciaccess0:amd64 (0.13.4-1) ...
Selecting previously unselected package libdrm-intel1:amd64.
Preparing to unpack .../libdrm-intel1_2.4.67-1ubuntu0.16.04.2_amd64.deb ...
Unpacking libdrm-intel1:amd64 (2.4.67-1ubuntu0.16.04.2) ...
Selecting previously unselected package libdrm-nouveau2:amd64.
Preparing to unpack .../libdrm-nouveau2_2.4.67-1ubuntu0.16.04.2_amd64.deb ...
Unpacking libdrm-nouveau2:amd64 (2.4.67-1ubuntu0.16.04.2) ...
Selecting previously unselected package libdrm-radeon1:amd64.
Preparing to unpack .../libdrm-radeon1_2.4.67-1ubuntu0.16.04.2_amd64.deb ...
Unpacking libdrm-radeon1:amd64 (2.4.67-1ubuntu0.16.04.2) ...
Selecting previously unselected package libencode-locale-perl.
Preparing to unpack .../libencode-locale-perl_1.05-1_all.deb ...
Unpacking libencode-locale-perl (1.05-1) ...
Selecting previously unselected package libipc-system-simple-perl.
Preparing to unpack .../libipc-system-simple-perl_1.25-3_all.deb ...
Unpacking libipc-system-simple-perl (1.25-3) ...
Selecting previously unselected package libfile-basedir-perl.
Preparing to unpack .../libfile-basedir-perl_0.07-1_all.deb ...
Unpacking libfile-basedir-perl (0.07-1) ...
Selecting previously unselected package liburi-perl.
Preparing to unpack .../liburi-perl_1.71-1_all.deb ...
Unpacking liburi-perl (1.71-1) ...
Selecting previously unselected package libfile-desktopentry-perl.
Preparing to unpack .../libfile-desktopentry-perl_0.22-1_all.deb ...
Unpacking libfile-desktopentry-perl (0.22-1) ...
Selecting previously unselected package libfile-which-perl.
Preparing to unpack .../libfile-which-perl_1.19-1_all.deb ...
Unpacking libfile-which-perl (1.19-1) ...
Selecting previously unselected package libfile-homedir-perl.
Preparing to unpack .../libfile-homedir-perl_1.00-1_all.deb ...
Unpacking libfile-homedir-perl (1.00-1) ...
Selecting previously unselected package libtimedate-perl.
Preparing to unpack .../libtimedate-perl_2.3000-2_all.deb ...
Unpacking libtimedate-perl (2.3000-2) ...
Selecting previously unselected package libhttp-date-perl.
Preparing to unpack .../libhttp-date-perl_6.02-1_all.deb ...
Unpacking libhttp-date-perl (6.02-1) ...
Selecting previously unselected package libfile-listing-perl.
Preparing to unpack .../libfile-listing-perl_6.04-1_all.deb ...
Unpacking libfile-listing-perl (6.04-1) ...
Selecting previously unselected package libfile-mimeinfo-perl.
Preparing to unpack .../libfile-mimeinfo-perl_0.27-1_all.deb ...
Unpacking libfile-mimeinfo-perl (0.27-1) ...
Selecting previously unselected package libfont-afm-perl.
Preparing to unpack .../libfont-afm-perl_1.20-1_all.deb ...
Unpacking libfont-afm-perl (1.20-1) ...
Selecting previously unselected package libfontenc1:amd64.
Preparing to unpack .../libfontenc1_1%3a1.1.3-1_amd64.deb ...
Unpacking libfontenc1:amd64 (1:1.1.3-1) ...
Selecting previously unselected package libgettextpo0:amd64.
Preparing to unpack .../libgettextpo0_0.19.7-2ubuntu3_amd64.deb ...
Unpacking libgettextpo0:amd64 (0.19.7-2ubuntu3) ...
Selecting previously unselected package libgettextpo-dev:amd64.
Preparing to unpack .../libgettextpo-dev_0.19.7-2ubuntu3_amd64.deb ...
Unpacking libgettextpo-dev:amd64 (0.19.7-2ubuntu3) ...
Selecting previously unselected package libllvm3.8:amd64.
Preparing to unpack .../libllvm3.8_1%3a3.8-2ubuntu4_amd64.deb ...
Unpacking libllvm3.8:amd64 (1:3.8-2ubuntu4) ...
Selecting previously unselected package libgl1-mesa-dri:amd64.
Preparing to unpack .../libgl1-mesa-dri_11.2.0-1ubuntu2.2_amd64.deb ...
Unpacking libgl1-mesa-dri:amd64 (11.2.0-1ubuntu2.2) ...
Selecting previously unselected package libglapi-mesa:amd64.
Preparing to unpack .../libglapi-mesa_11.2.0-1ubuntu2.2_amd64.deb ...
Unpacking libglapi-mesa:amd64 (11.2.0-1ubuntu2.2) ...
Selecting previously unselected package libx11-xcb1:amd64.
Preparing to unpack .../libx11-xcb1_2%3a1.6.3-1ubuntu2_amd64.deb ...
Unpacking libx11-xcb1:amd64 (2:1.6.3-1ubuntu2) ...
Selecting previously unselected package libxcb-dri2-0:amd64.
Preparing to unpack .../libxcb-dri2-0_1.11.1-1ubuntu1_amd64.deb ...
Unpacking libxcb-dri2-0:amd64 (1.11.1-1ubuntu1) ...
Selecting previously unselected package libxcb-dri3-0:amd64.
Preparing to unpack .../libxcb-dri3-0_1.11.1-1ubuntu1_amd64.deb ...
Unpacking libxcb-dri3-0:amd64 (1.11.1-1ubuntu1) ...
Selecting previously unselected package libxcb-glx0:amd64.
Preparing to unpack .../libxcb-glx0_1.11.1-1ubuntu1_amd64.deb ...
Unpacking libxcb-glx0:amd64 (1.11.1-1ubuntu1) ...
Selecting previously unselected package libxcb-present0:amd64.
Preparing to unpack .../libxcb-present0_1.11.1-1ubuntu1_amd64.deb ...
Unpacking libxcb-present0:amd64 (1.11.1-1ubuntu1) ...
Selecting previously unselected package libxcb-sync1:amd64.
Preparing to unpack .../libxcb-sync1_1.11.1-1ubuntu1_amd64.deb ...
Unpacking libxcb-sync1:amd64 (1.11.1-1ubuntu1) ...
Selecting previously unselected package libgl1-mesa-glx:amd64.
Preparing to unpack .../libgl1-mesa-glx_11.2.0-1ubuntu2.2_amd64.deb ...
Unpacking libgl1-mesa-glx:amd64 (11.2.0-1ubuntu2.2) ...
Selecting previously unselected package libhtml-tagset-perl.
Preparing to unpack .../libhtml-tagset-perl_3.20-2_all.deb ...
Unpacking libhtml-tagset-perl (3.20-2) ...
Selecting previously unselected package libhtml-parser-perl.
Preparing to unpack .../libhtml-parser-perl_3.72-1_amd64.deb ...
Unpacking libhtml-parser-perl (3.72-1) ...
Selecting previously unselected package libio-html-perl.
Preparing to unpack .../libio-html-perl_1.001-1_all.deb ...
Unpacking libio-html-perl (1.001-1) ...
Selecting previously unselected package liblwp-mediatypes-perl.
Preparing to unpack .../liblwp-mediatypes-perl_6.02-1_all.deb ...
Unpacking liblwp-mediatypes-perl (6.02-1) ...
Selecting previously unselected package libhttp-message-perl.
Preparing to unpack .../libhttp-message-perl_6.11-1_all.deb ...
Unpacking libhttp-message-perl (6.11-1) ...
Selecting previously unselected package libhtml-form-perl.
Preparing to unpack .../libhtml-form-perl_6.03-1_all.deb ...
Unpacking libhtml-form-perl (6.03-1) ...
Selecting previously unselected package libhtml-tree-perl.
Preparing to unpack .../libhtml-tree-perl_5.03-2_all.deb ...
Unpacking libhtml-tree-perl (5.03-2) ...
Selecting previously unselected package libhtml-format-perl.
Preparing to unpack .../libhtml-format-perl_2.11-2_all.deb ...
Unpacking libhtml-format-perl (2.11-2) ...
Selecting previously unselected package libhttp-cookies-perl.
Preparing to unpack .../libhttp-cookies-perl_6.01-1_all.deb ...
Unpacking libhttp-cookies-perl (6.01-1) ...
Selecting previously unselected package libhttp-daemon-perl.
Preparing to unpack .../libhttp-daemon-perl_6.01-1_all.deb ...
Unpacking libhttp-daemon-perl (6.01-1) ...
Selecting previously unselected package libhttp-negotiate-perl.
Preparing to unpack .../libhttp-negotiate-perl_6.00-2_all.deb ...
Unpacking libhttp-negotiate-perl (6.00-2) ...
Selecting previously unselected package libnet-ssleay-perl.
Preparing to unpack .../libnet-ssleay-perl_1.72-1build1_amd64.deb ...
Unpacking libnet-ssleay-perl (1.72-1build1) ...
Selecting previously unselected package libio-socket-ssl-perl.
Preparing to unpack .../libio-socket-ssl-perl_2.024-1_all.deb ...
Unpacking libio-socket-ssl-perl (2.024-1) ...
Selecting previously unselected package libnet-http-perl.
Preparing to unpack .../libnet-http-perl_6.09-1_all.deb ...
Unpacking libnet-http-perl (6.09-1) ...
Selecting previously unselected package libwww-robotrules-perl.
Preparing to unpack .../libwww-robotrules-perl_6.01-1_all.deb ...
Unpacking libwww-robotrules-perl (6.01-1) ...
Selecting previously unselected package libwww-perl.
Preparing to unpack .../libwww-perl_6.15-1_all.deb ...
Unpacking libwww-perl (6.15-1) ...
Selecting previously unselected package liblwp-protocol-https-perl.
Preparing to unpack .../liblwp-protocol-https-perl_6.06-2_all.deb ...
Unpacking liblwp-protocol-https-perl (6.06-2) ...
Selecting previously unselected package libsys-hostname-long-perl.
Preparing to unpack .../libsys-hostname-long-perl_1.5-1_all.deb ...
Unpacking libsys-hostname-long-perl (1.5-1) ...
Selecting previously unselected package libmail-sendmail-perl.
Preparing to unpack .../libmail-sendmail-perl_0.79.16-1_all.deb ...
Unpacking libmail-sendmail-perl (0.79.16-1) ...
Selecting previously unselected package libnet-smtp-ssl-perl.
Preparing to unpack .../libnet-smtp-ssl-perl_1.03-1_all.deb ...
Unpacking libnet-smtp-ssl-perl (1.03-1) ...
Selecting previously unselected package libmailtools-perl.
Preparing to unpack .../libmailtools-perl_2.13-1_all.deb ...
Unpacking libmailtools-perl (2.13-1) ...
Selecting previously unselected package libxml-parser-perl.
Preparing to unpack .../libxml-parser-perl_2.44-1build1_amd64.deb ...
Unpacking libxml-parser-perl (2.44-1build1) ...
Selecting previously unselected package libxml-twig-perl.
Preparing to unpack .../libxml-twig-perl_1%3a3.48-1_all.deb ...
Unpacking libxml-twig-perl (1:3.48-1) ...
Selecting previously unselected package libnet-dbus-perl.
Preparing to unpack .../libnet-dbus-perl_1.1.0-3build1_amd64.deb ...
Unpacking libnet-dbus-perl (1.1.0-3build1) ...
Selecting previously unselected package libtcl8.6:amd64.
Preparing to unpack .../libtcl8.6_8.6.5+dfsg-2_amd64.deb ...
Unpacking libtcl8.6:amd64 (8.6.5+dfsg-2) ...
Selecting previously unselected package libtie-ixhash-perl.
Preparing to unpack .../libtie-ixhash-perl_1.23-2_all.deb ...
Unpacking libtie-ixhash-perl (1.23-2) ...
Selecting previously unselected package libtk8.6:amd64.
Preparing to unpack .../libtk8.6_8.6.5-1_amd64.deb ...
Unpacking libtk8.6:amd64 (8.6.5-1) ...
Selecting previously unselected package libx11-protocol-perl.
Preparing to unpack .../libx11-protocol-perl_0.56-7_all.deb ...
Unpacking libx11-protocol-perl (0.56-7) ...
Selecting previously unselected package libxcb-shape0:amd64.
Preparing to unpack .../libxcb-shape0_1.11.1-1ubuntu1_amd64.deb ...
Unpacking libxcb-shape0:amd64 (1.11.1-1ubuntu1) ...
Selecting previously unselected package libxml-xpathengine-perl.
Preparing to unpack .../libxml-xpathengine-perl_0.13-1_all.deb ...
Unpacking libxml-xpathengine-perl (0.13-1) ...
Selecting previously unselected package libxrandr2:amd64.
Preparing to unpack .../libxrandr2_2%3a1.5.0-1_amd64.deb ...
Unpacking libxrandr2:amd64 (2:1.5.0-1) ...
Selecting previously unselected package libyaml-tiny-perl.
Preparing to unpack .../libyaml-tiny-perl_1.69-1_all.deb ...
Unpacking libyaml-tiny-perl (1.69-1) ...
Selecting previously unselected package lmodern.
Preparing to unpack .../lmodern_2.004.5-1_all.deb ...
Unpacking lmodern (2.004.5-1) ...
Selecting previously unselected package texlive-pstricks.
Preparing to unpack .../texlive-pstricks_2015.20160320-1_all.deb ...
Unpacking texlive-pstricks (2015.20160320-1) ...
Selecting previously unselected package prosper.
Preparing to unpack .../prosper_1.00.4+cvs.2007.05.01-4_all.deb ...
Unpacking prosper (1.00.4+cvs.2007.05.01-4) ...
Selecting previously unselected package ps2eps.
Preparing to unpack .../ps2eps_1.68+binaryfree-1_amd64.deb ...
Unpacking ps2eps (1.68+binaryfree-1) ...
Selecting previously unselected package rubygems-integration.
Preparing to unpack .../rubygems-integration_1.10_all.deb ...
Unpacking rubygems-integration (1.10) ...
Selecting previously unselected package ruby-did-you-mean.
Preparing to unpack .../ruby-did-you-mean_1.0.0-2_all.deb ...
Unpacking ruby-did-you-mean (1.0.0-2) ...
Selecting previously unselected package ruby-minitest.
Preparing to unpack .../ruby-minitest_5.8.4-2_all.deb ...
Unpacking ruby-minitest (5.8.4-2) ...
Selecting previously unselected package ruby-net-telnet.
Preparing to unpack .../ruby-net-telnet_0.1.1-2_all.deb ...
Unpacking ruby-net-telnet (0.1.1-2) ...
Selecting previously unselected package ruby-power-assert.
Preparing to unpack .../ruby-power-assert_0.2.7-1_all.deb ...
Unpacking ruby-power-assert (0.2.7-1) ...
Selecting previously unselected package ruby-test-unit.
Preparing to unpack .../ruby-test-unit_3.1.7-2_all.deb ...
Unpacking ruby-test-unit (3.1.7-2) ...
Selecting previously unselected package libruby2.3:amd64.
Preparing to unpack .../libruby2.3_2.3.1-2~16.04_amd64.deb ...
Unpacking libruby2.3:amd64 (2.3.1-2~16.04) ...
Selecting previously unselected package ruby2.3.
Preparing to unpack .../ruby2.3_2.3.1-2~16.04_amd64.deb ...
Unpacking ruby2.3 (2.3.1-2~16.04) ...
Selecting previously unselected package ruby.
Preparing to unpack .../ruby_1%3a2.3.0+1_all.deb ...
Unpacking ruby (1:2.3.0+1) ...
Selecting previously unselected package rake.
Preparing to unpack .../archives/rake_10.5.0-2_all.deb ...
Unpacking rake (10.5.0-2) ...
Selecting previously unselected package tcl8.6.
Preparing to unpack .../tcl8.6_8.6.5+dfsg-2_amd64.deb ...
Unpacking tcl8.6 (8.6.5+dfsg-2) ...
Selecting previously unselected package tcl.
Preparing to unpack .../archives/tcl_8.6.0+9_amd64.deb ...
Unpacking tcl (8.6.0+9) ...
Selecting previously unselected package tex-gyre.
Preparing to unpack .../tex-gyre_20150923-1_all.deb ...
Unpacking tex-gyre (20150923-1) ...
Selecting previously unselected package texlive-font-utils.
Preparing to unpack .../texlive-font-utils_2015.20160320-1_all.deb ...
Unpacking texlive-font-utils (2015.20160320-1) ...
Selecting previously unselected package texlive-fonts-recommended-doc.
Preparing to unpack .../texlive-fonts-recommended-doc_2015.20160320-1_all.deb ...
Unpacking texlive-fonts-recommended-doc (2015.20160320-1) ...
Selecting previously unselected package texlive-latex-base-doc.
Preparing to unpack .../texlive-latex-base-doc_2015.20160320-1_all.deb ...
Unpacking texlive-latex-base-doc (2015.20160320-1) ...
Selecting previously unselected package texlive-latex-extra-doc.
Preparing to unpack .../texlive-latex-extra-doc_2015.20160320-1_all.deb ...
Unpacking texlive-latex-extra-doc (2015.20160320-1) ...
Selecting previously unselected package texlive-latex-recommended-doc.
Preparing to unpack .../texlive-latex-recommended-doc_2015.20160320-1_all.deb ...
Unpacking texlive-latex-recommended-doc (2015.20160320-1) ...
Selecting previously unselected package texlive-pictures-doc.
Preparing to unpack .../texlive-pictures-doc_2015.20160320-1_all.deb ...
Unpacking texlive-pictures-doc (2015.20160320-1) ...
Selecting previously unselected package texlive-pstricks-doc.
Preparing to unpack .../texlive-pstricks-doc_2015.20160320-1_all.deb ...
Unpacking texlive-pstricks-doc (2015.20160320-1) ...
Selecting previously unselected package tk8.6.
Preparing to unpack .../tk8.6_8.6.5-1_amd64.deb ...
Unpacking tk8.6 (8.6.5-1) ...
Selecting previously unselected package tk.
Preparing to unpack .../archives/tk_8.6.0+9_amd64.deb ...
Unpacking tk (8.6.0+9) ...
Selecting previously unselected package x11-utils.
Preparing to unpack .../x11-utils_7.7+3_amd64.deb ...
Unpacking x11-utils (7.7+3) ...
Selecting previously unselected package x11-xserver-utils.
Preparing to unpack .../x11-xserver-utils_7.7+7_amd64.deb ...
Unpacking x11-xserver-utils (7.7+7) ...
Selecting previously unselected package xbitmaps.
Preparing to unpack .../xbitmaps_1.1.1-2_all.deb ...
Unpacking xbitmaps (1.1.1-2) ...
Selecting previously unselected package xterm.
Preparing to unpack .../xterm_322-1ubuntu1_amd64.deb ...
Unpacking xterm (322-1ubuntu1) ...
Selecting previously unselected package zip.
Preparing to unpack .../archives/zip_3.0-11_amd64.deb ...
Unpacking zip (3.0-11) ...
Selecting previously unselected package libauthen-sasl-perl.
Preparing to unpack .../libauthen-sasl-perl_2.1600-1_all.deb ...
Unpacking libauthen-sasl-perl (2.1600-1) ...
Processing triggers for systemd (229-4ubuntu10) ...
Processing triggers for ureadahead (0.100.0-19) ...
Processing triggers for man-db (2.7.5-1) ...
/usr/bin/mandb: can't write to /var/cache/man/1560: No space left on device
/usr/bin/mandb: can't create index cache /var/cache/man/1560: No space left on device
Processing triggers for libc-bin (2.23-0ubuntu3) ...
Processing triggers for install-info (6.1.0.dfsg.1-5) ...
Processing triggers for sgml-base (1.26+nmu4ubuntu1) ...
Processing triggers for mime-support (3.59ubuntu1) ...
Setting up fonts-lato (2.0-1) ...
Setting up x11-common (1:7.7+13ubuntu3) ...
locale: Cannot set LC_CTYPE to default locale: No such file or directory
locale: LC_ALL??????????????????: ??????????????????????
update-rc.d: warning: start and stop actions are no longer supported; falling back to defaults
Setting up libice6:amd64 (2:1.0.9-1) ...
Setting up libjpeg-turbo8:amd64 (1.4.2-0ubuntu3) ...
Setting up liblcms2-2:amd64 (2.6-3ubuntu2) ...
Setting up libsm6:amd64 (2:1.2.2-1) ...
Setting up libunistring0:amd64 (0.9.3-5.2ubuntu1) ...
Setting up libxcomposite1:amd64 (1:0.4.4-1) ...
Setting up libxfixes3:amd64 (1:5.0.1-2) ...
Setting up libxrender1:amd64 (1:0.9.9-0ubuntu1) ...
Setting up libxcursor1:amd64 (1:1.1.14-1) ...
Setting up libxdamage1:amd64 (1:1.1.4-2) ...
Setting up fonts-dejavu-core (2.35-1) ...
Setting up fontconfig-config (2.11.94-0ubuntu1.1) ...
Setting up libfontconfig1:amd64 (2.11.94-0ubuntu1.1) ...
Setting up libxft2:amd64 (2.3.2-1) ...
Setting up libxinerama1:amd64 (2:1.1.3-1) ...
Setting up libxpm4:amd64 (1:3.5.11-1) ...
Setting up libxshmfence1:amd64 (1.2-1) ...
Setting up libxss1:amd64 (1:1.2.2-1) ...
Setting up libxtst6:amd64 (2:1.2.2-1) ...
Setting up libxv1:amd64 (2:1.0.10-1) ...
Setting up libxxf86dga1:amd64 (2:1.1.4-1) ...
Setting up libxxf86vm1:amd64 (1:1.1.4-1) ...
Setting up libyaml-0-2:amd64 (0.1.6-3) ...
Setting up libzzip-0-13:amd64 (0.13.62-3) ...
Setting up poppler-data (0.4.7-7) ...
Setting up libjbig0:amd64 (2.1-3.1) ...
Setting up libtxc-dxtn-s2tc0:amd64 (0~git20131104-1.1) ...
update-alternatives: using /usr/lib/x86_64-linux-gnu/libtxc_dxtn_s2tc.so.0 to provide /usr/lib/x86_64-linux-gnu/libtxc_dxtn.so (libtxc-dxtn-x86_64-linux-gnu) in auto mode
Setting up bc (1.06.95-9build1) ...
Setting up sgml-data (2.0.10) ...
Setting up python-apt (1.1.0~beta1build1) ...
Setting up libkpathsea6:amd64 (2015.20160222.37495-1) ...
Setting up libptexenc1:amd64 (2015.20160222.37495-1) ...
Setting up libsynctex1:amd64 (2015.20160222.37495-1) ...
Setting up libtexlua52:amd64 (2015.20160222.37495-1) ...
Setting up libtexluajit2:amd64 (2015.20160222.37495-1) ...
Setting up t1utils (1.39-2) ...
Setting up libgraphite2-3:amd64 (1.3.6-1ubuntu1) ...
Setting up libavahi-common-data:amd64 (0.6.32~rc+dfsg-1ubuntu2) ...
Setting up libavahi-common3:amd64 (0.6.32~rc+dfsg-1ubuntu2) ...
Setting up libavahi-client3:amd64 (0.6.32~rc+dfsg-1ubuntu2) ...
Setting up libcups2:amd64 (2.1.3-4) ...
Setting up libjpeg8:amd64 (8c-2ubuntu8) ...
Setting up libtiff5:amd64 (4.0.6-1) ...
Setting up libcupsfilters1:amd64 (1.8.3-2ubuntu3.1) ...
Setting up libcupsimage2:amd64 (2.1.3-4) ...
Setting up libijs-0.35:amd64 (0.35-12) ...
Setting up libjbig2dec0 (0.12+20150918-1) ...
Setting up libpaper1:amd64 (1.1.24+nmu4ubuntu1) ...
locale: Cannot set LC_CTYPE to default locale: No such file or directory
locale: LC_ALL??????????????????: ??????????????????????

Creating config file /etc/papersize with new version
Setting up libgs9-common (9.18~dfsg~0-0ubuntu2) ...
update-alternatives: using /usr/share/ghostscript/9.18 to provide /usr/share/ghostscript/current (ghostscript-current) in auto mode
Setting up libgs9:amd64 (9.18~dfsg~0-0ubuntu2) ...
Setting up libharfbuzz0b:amd64 (1.0.1-1ubuntu0.1) ...
Setting up libharfbuzz-icu0:amd64 (1.0.1-1ubuntu0.1) ...
Setting up libpixman-1-0:amd64 (0.33.6-1) ...
Setting up libpoppler58:amd64 (0.41.0-0ubuntu1.1) ...
Setting up libpotrace0 (1.13-2) ...
Setting up libxt6:amd64 (1:1.1.5-0ubuntu1) ...
Setting up libxmu6:amd64 (2:1.1.2-2) ...
Setting up libxaw7:amd64 (2:1.0.13-1) ...
Setting up libxi6:amd64 (2:1.7.6-1) ...
Setting up tex-common (6.04) ...
locale: Cannot set LC_CTYPE to default locale: No such file or directory
locale: LC_ALL??????????????????: ??????????????????????
update-language: texlive-base not installed and configured, doing nothing!
Setting up texlive-binaries (2015.20160222.37495-1) ...
update-alternatives: using /usr/bin/xdvi-xaw to provide /usr/bin/xdvi.bin (xdvi.bin) in auto mode
update-alternatives: using /usr/bin/bibtex.original to provide /usr/bin/bibtex (bibtex) in auto mode
Setting up libpaper-utils (1.1.24+nmu4ubuntu1) ...
Setting up xdg-utils (1.1.1-1ubuntu1) ...
Setting up preview-latex-style (11.88-1.1ubuntu1) ...
Setting up libjs-jquery (1.11.3+dfsg-4) ...
Setting up libxslt1.1:amd64 (1.1.28-2.1) ...
Setting up xsltproc (1.1.28-2.1) ...
Setting up libosp5 (1.5.2-13ubuntu1) ...
Setting up libostyle1c2 (1.4devel1-21.1) ...
Setting up openjade (1.4devel1-21.1) ...
Setting up lynx-common (2.8.9dev8-4ubuntu1) ...
Setting up lynx (2.8.9dev8-4ubuntu1) ...
update-alternatives: using /usr/bin/lynx to provide /usr/bin/www-browser (www-browser) in auto mode
Setting up libsgmls-perl (1.03ii-34) ...
Setting up sgmlspl (1.03ii-34) ...
Setting up libsp1c2 (1.3.4-1.2.1-49ubuntu1) ...
Setting up sp (1.3.4-1.2.1-49ubuntu1) ...
Setting up docbook-xsl (1.79.1+dfsg-1) ...
Setting up fonts-lmodern (2.004.5-1) ...
Setting up fonts-texgyre (20150923-1) ...
Setting up libcroco3:amd64 (0.6.11-1) ...
Setting up gettext (0.19.7-2ubuntu3) ...
Setting up gsfonts (1:8.11+urwcyr1.0.7~pre44-4.2ubuntu1) ...
Setting up ghostscript (9.18~dfsg~0-0ubuntu2) ...
Setting up intltool-debian (0.35.0+20060710.4) ...
Setting up javascript-common (11) ...
Setting up kernel-common (13.018) ...
locale: Cannot set LC_CTYPE to default locale: No such file or directory
locale: LC_ALL??????????????????: ??????????????????????
/usr/bin/locale: Cannot set LC_CTYPE to default locale: No such file or directory
/usr/bin/locale: LC_ALL??????????????????: ??????????????????????
Replacing config file /etc/kernel-img.conf with new version
Setting up po-debconf (1.0.19) ...
Setting up libxml2-utils (2.9.3+dfsg1-1ubuntu0.1) ...
Setting up libasprintf-dev:amd64 (0.19.7-2ubuntu3) ...
Setting up libdrm-amdgpu1:amd64 (2.4.67-1ubuntu0.16.04.2) ...
Setting up libpciaccess0:amd64 (0.13.4-1) ...
Setting up libdrm-intel1:amd64 (2.4.67-1ubuntu0.16.04.2) ...
Setting up libdrm-nouveau2:amd64 (2.4.67-1ubuntu0.16.04.2) ...
Setting up libdrm-radeon1:amd64 (2.4.67-1ubuntu0.16.04.2) ...
Setting up libencode-locale-perl (1.05-1) ...
Setting up libipc-system-simple-perl (1.25-3) ...
Setting up libfile-basedir-perl (0.07-1) ...
Setting up liburi-perl (1.71-1) ...
Setting up libfile-desktopentry-perl (0.22-1) ...
Setting up libfile-which-perl (1.19-1) ...
Setting up libfile-homedir-perl (1.00-1) ...
Setting up libtimedate-perl (2.3000-2) ...
Setting up libhttp-date-perl (6.02-1) ...
Setting up libfile-listing-perl (6.04-1) ...
Setting up libfile-mimeinfo-perl (0.27-1) ...
Setting up libfont-afm-perl (1.20-1) ...
Setting up libfontenc1:amd64 (1:1.1.3-1) ...
Setting up libgettextpo0:amd64 (0.19.7-2ubuntu3) ...
Setting up libgettextpo-dev:amd64 (0.19.7-2ubuntu3) ...
Setting up libllvm3.8:amd64 (1:3.8-2ubuntu4) ...
Setting up libgl1-mesa-dri:amd64 (11.2.0-1ubuntu2.2) ...
Setting up libglapi-mesa:amd64 (11.2.0-1ubuntu2.2) ...
Setting up libx11-xcb1:amd64 (2:1.6.3-1ubuntu2) ...
Setting up libxcb-dri2-0:amd64 (1.11.1-1ubuntu1) ...
Setting up libxcb-dri3-0:amd64 (1.11.1-1ubuntu1) ...
Setting up libxcb-glx0:amd64 (1.11.1-1ubuntu1) ...
Setting up libxcb-present0:amd64 (1.11.1-1ubuntu1) ...
Setting up libxcb-sync1:amd64 (1.11.1-1ubuntu1) ...
Setting up libgl1-mesa-glx:amd64 (11.2.0-1ubuntu2.2) ...
update-alternatives: using /usr/lib/x86_64-linux-gnu/mesa/ld.so.conf to provide /etc/ld.so.conf.d/x86_64-linux-gnu_GL.conf (x86_64-linux-gnu_gl_conf) in auto mode
Setting up libhtml-tagset-perl (3.20-2) ...
Setting up libhtml-parser-perl (3.72-1) ...
Setting up libio-html-perl (1.001-1) ...
Setting up liblwp-mediatypes-perl (6.02-1) ...
Setting up libhttp-message-perl (6.11-1) ...
Setting up libhtml-form-perl (6.03-1) ...
Setting up libhtml-tree-perl (5.03-2) ...
Setting up libhtml-format-perl (2.11-2) ...
Setting up libhttp-cookies-perl (6.01-1) ...
Setting up libhttp-daemon-perl (6.01-1) ...
Setting up libhttp-negotiate-perl (6.00-2) ...
Setting up libnet-ssleay-perl (1.72-1build1) ...
Setting up libio-socket-ssl-perl (2.024-1) ...
Setting up libnet-http-perl (6.09-1) ...
Setting up libwww-robotrules-perl (6.01-1) ...
Setting up libsys-hostname-long-perl (1.5-1) ...
Setting up libmail-sendmail-perl (0.79.16-1) ...
Setting up libnet-smtp-ssl-perl (1.03-1) ...
Setting up libmailtools-perl (2.13-1) ...
Setting up libtcl8.6:amd64 (8.6.5+dfsg-2) ...
Setting up libtie-ixhash-perl (1.23-2) ...
Setting up libtk8.6:amd64 (8.6.5-1) ...
Setting up libx11-protocol-perl (0.56-7) ...
Setting up libxcb-shape0:amd64 (1.11.1-1ubuntu1) ...
Setting up libxml-xpathengine-perl (0.13-1) ...
Setting up libxrandr2:amd64 (2:1.5.0-1) ...
Setting up libyaml-tiny-perl (1.69-1) ...
Setting up lmodern (2.004.5-1) ...
Setting up ps2eps (1.68+binaryfree-1) ...
Setting up rubygems-integration (1.10) ...
Setting up ruby-did-you-mean (1.0.0-2) ...
Setting up ruby-minitest (5.8.4-2) ...
Setting up ruby-net-telnet (0.1.1-2) ...
Setting up ruby-power-assert (0.2.7-1) ...
Setting up ruby-test-unit (3.1.7-2) ...
Setting up tcl8.6 (8.6.5+dfsg-2) ...
Setting up tcl (8.6.0+9) ...
Setting up tex-gyre (20150923-1) ...
Setting up tk8.6 (8.6.5-1) ...
Setting up tk (8.6.0+9) ...
Setting up x11-utils (7.7+3) ...
Setting up x11-xserver-utils (7.7+7) ...
Setting up xbitmaps (1.1.1-2) ...
Setting up xterm (322-1ubuntu1) ...
update-alternatives: using /usr/bin/xterm to provide /usr/bin/x-terminal-emulator (x-terminal-emulator) in auto mode
update-alternatives: using /usr/bin/lxterm to provide /usr/bin/x-terminal-emulator (x-terminal-emulator) in auto mode
Setting up zip (3.0-11) ...
Setting up libauthen-sasl-perl (2.1600-1) ...
Processing triggers for tex-common (6.04) ...
locale: Cannot set LC_CTYPE to default locale: No such file or directory
locale: LC_ALL??????????????????: ??????????????????????
texlive-base is not ready, delaying updmap-sys call
update-language: texlive-base not installed and configured, doing nothing!
texlive-base is not ready, skipping fmtutil-sys --all call
Setting up texlive-base (2015.20160320-1) ...
mktexlsr: Updating /var/lib/texmf/ls-R-TEXLIVEDIST...
mktexlsr: Updating /var/lib/texmf/ls-R-TEXMFMAIN...
mktexlsr: Updating /var/lib/texmf/ls-R...
mktexlsr: Done.
/usr/bin/tl-paper: setting paper size for dvips to a4.
/usr/bin/tl-paper: setting paper size for dvipdfmx to a4.
/usr/bin/tl-paper: setting paper size for xdvi to a4.
/usr/bin/tl-paper: setting paper size for pdftex to a4.
locale: Cannot set LC_CTYPE to default locale: No such file or directory
locale: LC_ALL??????????????????: ??????????????????????
Processing triggers for sgml-base (1.26+nmu4ubuntu1) ...
Setting up docbook-xml (4.5-7.3) ...
Processing triggers for tex-common (6.04) ...
locale: Cannot set LC_CTYPE to default locale: No such file or directory
locale: LC_ALL??????????????????: ??????????????????????
Running updmap-sys. This may take some time... done.
Running mktexlsr /var/lib/texmf ... done.
Building format(s) --all.
This may take some time... done.
Setting up texlive-fonts-recommended (2015.20160320-1) ...
Setting up texlive-luatex (2015.20160320-1) ...
Setting up texlive-generic-recommended (2015.20160320-1) ...
Setting up texlive-font-utils (2015.20160320-1) ...
Setting up texlive-fonts-recommended-doc (2015.20160320-1) ...
Setting up texlive-latex-base-doc (2015.20160320-1) ...
Setting up texlive-latex-extra-doc (2015.20160320-1) ...
Setting up texlive-latex-recommended-doc (2015.20160320-1) ...
Setting up texlive-pictures-doc (2015.20160320-1) ...
Setting up texlive-pstricks-doc (2015.20160320-1) ...
Setting up texlive-latex-base (2015.20160320-1) ...
Processing triggers for sgml-base (1.26+nmu4ubuntu1) ...
Setting up docbook-dsssl (1.79-9) ...
Setting up xmlto (0.0.28-0.1) ...
Setting up kernel-package (13.018) ...
Processing triggers for tex-common (6.04) ...
locale: Cannot set LC_CTYPE to default locale: No such file or directory
locale: LC_ALL??????????????????: ??????????????????????
Running updmap-sys. This may take some time... done.
Running mktexlsr /var/lib/texmf ... done.
Building format(s) --all.
This may take some time... done.
Setting up texlive-latex-recommended (2015.20160320-1) ...
Setting up texlive (2015.20160320-1) ...
Setting up texlive-bibtex-extra (2015.20160320-1) ...
Setting up texlive-extra-utils (2015.20160320-1) ...
Setting up texlive-pictures (2015.20160320-1) ...
Setting up texlive-math-extra (2015.20160320-1) ...
Setting up tipa (2:1.3-20) ...
Regenerating '/var/lib/texmf/fmtutil.cnf-DEBIAN'... done.
Regenerating '/var/lib/texmf/fmtutil.cnf-TEXLIVEDIST'... done.
update-fmtutil has updated the following file(s):
/var/lib/texmf/fmtutil.cnf-DEBIAN
/var/lib/texmf/fmtutil.cnf-TEXLIVEDIST
If you want to activate the changes in the above file(s),
you should run fmtutil-sys or fmtutil.
Processing triggers for tex-common (6.04) ...
locale: Cannot set LC_CTYPE to default locale: No such file or directory
locale: LC_ALL??????????????????: ??????????????????????
Running updmap-sys. This may take some time... done.
Running mktexlsr /var/lib/texmf ... done.
Building format(s) --all.
This may take some time... done.
Setting up texlive-pstricks (2015.20160320-1) ...
Setting up prosper (1.00.4+cvs.2007.05.01-4) ...
Regenerating '/var/lib/texmf/fmtutil.cnf-DEBIAN'... done.
Regenerating '/var/lib/texmf/fmtutil.cnf-TEXLIVEDIST'... done.
update-fmtutil has updated the following file(s):
/var/lib/texmf/fmtutil.cnf-DEBIAN
/var/lib/texmf/fmtutil.cnf-TEXLIVEDIST
If you want to activate the changes in the above file(s),
you should run fmtutil-sys or fmtutil.
Running mktexlsr. This may take some time... done.
Setting up texlive-latex-extra (2015.20160320-1) ...
Setting up jadetex (3.13-16) ...
Processing triggers for tex-common (6.04) ...
locale: Cannot set LC_CTYPE to default locale: No such file or directory
locale: LC_ALL??????????????????: ??????????????????????
Running updmap-sys. This may take some time... done.
Running mktexlsr /var/lib/texmf ... done.
Building format(s) --all.
This may take some time... done.
Setting up dblatex (0.3.7-1) ...
mktexlsr: Updating /var/lib/texmf/ls-R-TEXMFMAIN...
mktexlsr: Done.
Processing triggers for sgml-base (1.26+nmu4ubuntu1) ...
Setting up docbook-utils (0.6.14-3ubuntu1) ...
Setting up rake (10.5.0-2) ...
Setting up libruby2.3:amd64 (2.3.1-2~16.04) ...
Setting up ruby2.3 (2.3.1-2~16.04) ...
Setting up libwww-perl (6.15-1) ...
Setting up liblwp-protocol-https-perl (6.06-2) ...
Setting up libxml-parser-perl (2.44-1build1) ...
Setting up libxml-twig-perl (1:3.48-1) ...
Setting up libnet-dbus-perl (1.1.0-3build1) ...
Setting up ruby (1:2.3.0+1) ...
Processing triggers for systemd (229-4ubuntu10) ...
Processing triggers for ureadahead (0.100.0-19) ...
Processing triggers for libc-bin (2.23-0ubuntu3) ...

Ubuntu: Installing build-essential

Command:

$ sudo apt-get install build-essential
[sudo] password for USERNAME:


Result:

Reading package lists... Done
Building dependency tree      
Reading state information... Done
The following packages were automatically installed and are no longer required:
  linux-headers-4.4.0-21 linux-headers-4.4.0-21-generic linux-headers-4.4.0-22 linux-headers-4.4.0-22-generic linux-headers-4.4.0-34
  linux-headers-4.4.0-34-generic linux-headers-4.4.0-36 linux-headers-4.4.0-36-generic linux-image-4.4.0-21-generic linux-image-4.4.0-22-generic
  linux-image-4.4.0-34-generic linux-image-4.4.0-36-generic linux-image-extra-4.4.0-21-generic linux-image-extra-4.4.0-22-generic
  linux-image-extra-4.4.0-34-generic linux-image-extra-4.4.0-36-generic
Use 'sudo apt autoremove' to remove them.
The following additional packages will be installed:
  dpkg-dev fakeroot g++ g++-5 libalgorithm-diff-perl libalgorithm-diff-xs-perl libalgorithm-merge-perl libdpkg-perl libfakeroot libfile-fcntllock-perl
  libstdc++-5-dev
Suggested packages:
  debian-keyring g++-multilib g++-5-multilib gcc-5-doc libstdc++6-5-dbg libstdc++-5-doc
The following NEW packages will be installed:
  build-essential dpkg-dev fakeroot g++ g++-5 libalgorithm-diff-perl libalgorithm-diff-xs-perl libalgorithm-merge-perl libdpkg-perl libfakeroot
  libfile-fcntllock-perl libstdc++-5-dev
0 upgraded, 12 newly installed, 0 to remove and 69 not upgraded.
Need to get 10.7 MB of archives.
After this operation, 43.4 MB of additional disk space will be used.
Do you want to continue? [Y/n]


Command:

Y


Result:

Get:1 http://jp.archive.ubuntu.com/ubuntu xenial-updates/main amd64 libstdc++-5-dev amd64 5.4.0-6ubuntu1~16.04.2 [1430 kB]
Get:2 http://jp.archive.ubuntu.com/ubuntu xenial-updates/main amd64 g++-5 amd64 5.4.0-6ubuntu1~16.04.2 [8302 kB]
Get:3 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 g++ amd64 4:5.3.1-1ubuntu1 [1504 B]
Get:4 http://jp.archive.ubuntu.com/ubuntu xenial-updates/main amd64 libdpkg-perl all 1.18.4ubuntu1.1 [195 kB]
Get:5 http://jp.archive.ubuntu.com/ubuntu xenial-updates/main amd64 dpkg-dev all 1.18.4ubuntu1.1 [584 kB]
Get:6 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 build-essential amd64 12.1ubuntu2 [4758 B]
Get:7 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libfakeroot amd64 1.20.2-1ubuntu1 [25.5 kB]
Get:8 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 fakeroot amd64 1.20.2-1ubuntu1 [61.8 kB]
Get:9 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libalgorithm-diff-perl all 1.19.03-1 [47.6 kB]
Get:10 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libalgorithm-diff-xs-perl amd64 0.04-4build1 [11.0 kB]
Get:11 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libalgorithm-merge-perl all 0.08-3 [12.0 kB]
Get:12 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libfile-fcntllock-perl amd64 0.22-3 [32.0 kB]
Fetched 10.7 MB in 4s (2567 kB/s)            
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LC_CTYPE = "UTF-8",
LANG = "ja_JP.UTF-8"
    are supported and installed on your system.
perl: warning: Falling back to a fallback locale ("ja_JP.UTF-8").
locale: Cannot set LC_CTYPE to default locale: No such file or directory
locale: LC_ALL??????????????????: ??????????????????????
Selecting previously unselected package libstdc++-5-dev:amd64.
(Reading database ... 257673 files and directories currently installed.)
Preparing to unpack .../libstdc++-5-dev_5.4.0-6ubuntu1~16.04.2_amd64.deb ...
Unpacking libstdc++-5-dev:amd64 (5.4.0-6ubuntu1~16.04.2) ...
Selecting previously unselected package g++-5.
Preparing to unpack .../g++-5_5.4.0-6ubuntu1~16.04.2_amd64.deb ...
Unpacking g++-5 (5.4.0-6ubuntu1~16.04.2) ...
Selecting previously unselected package g++.
Preparing to unpack .../g++_4%3a5.3.1-1ubuntu1_amd64.deb ...
Unpacking g++ (4:5.3.1-1ubuntu1) ...
Selecting previously unselected package libdpkg-perl.
Preparing to unpack .../libdpkg-perl_1.18.4ubuntu1.1_all.deb ...
Unpacking libdpkg-perl (1.18.4ubuntu1.1) ...
Selecting previously unselected package dpkg-dev.
Preparing to unpack .../dpkg-dev_1.18.4ubuntu1.1_all.deb ...
Unpacking dpkg-dev (1.18.4ubuntu1.1) ...
Selecting previously unselected package build-essential.
Preparing to unpack .../build-essential_12.1ubuntu2_amd64.deb ...
Unpacking build-essential (12.1ubuntu2) ...
Selecting previously unselected package libfakeroot:amd64.
Preparing to unpack .../libfakeroot_1.20.2-1ubuntu1_amd64.deb ...
Unpacking libfakeroot:amd64 (1.20.2-1ubuntu1) ...
Selecting previously unselected package fakeroot.
Preparing to unpack .../fakeroot_1.20.2-1ubuntu1_amd64.deb ...
Unpacking fakeroot (1.20.2-1ubuntu1) ...
Selecting previously unselected package libalgorithm-diff-perl.
Preparing to unpack .../libalgorithm-diff-perl_1.19.03-1_all.deb ...
Unpacking libalgorithm-diff-perl (1.19.03-1) ...
Selecting previously unselected package libalgorithm-diff-xs-perl.
Preparing to unpack .../libalgorithm-diff-xs-perl_0.04-4build1_amd64.deb ...
Unpacking libalgorithm-diff-xs-perl (0.04-4build1) ...
Selecting previously unselected package libalgorithm-merge-perl.
Preparing to unpack .../libalgorithm-merge-perl_0.08-3_all.deb ...
Unpacking libalgorithm-merge-perl (0.08-3) ...
Selecting previously unselected package libfile-fcntllock-perl.
Preparing to unpack .../libfile-fcntllock-perl_0.22-3_amd64.deb ...
Unpacking libfile-fcntllock-perl (0.22-3) ...
Processing triggers for man-db (2.7.5-1) ...
Setting up libstdc++-5-dev:amd64 (5.4.0-6ubuntu1~16.04.2) ...
Setting up g++-5 (5.4.0-6ubuntu1~16.04.2) ...
Setting up g++ (4:5.3.1-1ubuntu1) ...
update-alternatives: using /usr/bin/g++ to provide /usr/bin/c++ (c++) in auto mode
Setting up libdpkg-perl (1.18.4ubuntu1.1) ...
Setting up dpkg-dev (1.18.4ubuntu1.1) ...
Setting up build-essential (12.1ubuntu2) ...
Setting up libfakeroot:amd64 (1.20.2-1ubuntu1) ...
Setting up fakeroot (1.20.2-1ubuntu1) ...
update-alternatives: using /usr/bin/fakeroot-sysv to provide /usr/bin/fakeroot (fakeroot) in auto mode
Setting up libalgorithm-diff-perl (1.19.03-1) ...
Setting up libalgorithm-diff-xs-perl (0.04-4build1) ...
Setting up libalgorithm-merge-perl (0.08-3) ...
Setting up libfile-fcntllock-perl (0.22-3) ...

Ubuntu: Installing gcc (GNU Compiler Collection)

Command:

$ sudo apt install gcc
[sudo] password for USERNAME:


Result:

Reading package lists... Done
Building dependency tree      
Reading state information... Done
The following packages were automatically installed and are no longer required:
  linux-headers-4.4.0-21 linux-headers-4.4.0-21-generic linux-headers-4.4.0-22 linux-headers-4.4.0-22-generic linux-headers-4.4.0-34
  linux-headers-4.4.0-34-generic linux-headers-4.4.0-36 linux-headers-4.4.0-36-generic linux-image-4.4.0-21-generic linux-image-4.4.0-22-generic
  linux-image-4.4.0-34-generic linux-image-4.4.0-36-generic linux-image-extra-4.4.0-21-generic linux-image-extra-4.4.0-22-generic
  linux-image-extra-4.4.0-34-generic linux-image-extra-4.4.0-36-generic
Use 'sudo apt autoremove' to remove them.
The following additional packages will be installed:
  binutils cpp cpp-5 gcc-5 libasan2 libatomic1 libc-dev-bin libc6 libc6-dev libcc1-0 libcilkrts5 libgcc-5-dev libgomp1 libisl15 libitm1 liblsan0 libmpc3
  libmpx0 libquadmath0 libtsan0 libubsan0 linux-libc-dev manpages-dev
Suggested packages:
  binutils-doc cpp-doc gcc-5-locales gcc-multilib autoconf automake libtool flex bison gdb gcc-doc gcc-5-multilib gcc-5-doc libgcc1-dbg libgomp1-dbg
  libitm1-dbg libatomic1-dbg libasan2-dbg liblsan0-dbg libtsan0-dbg libubsan0-dbg libcilkrts5-dbg libmpx0-dbg libquadmath0-dbg glibc-doc
The following NEW packages will be installed:
  binutils cpp cpp-5 gcc gcc-5 libasan2 libatomic1 libc-dev-bin libc6-dev libcc1-0 libcilkrts5 libgcc-5-dev libgomp1 libisl15 libitm1 liblsan0 libmpc3 libmpx0
  libquadmath0 libtsan0 libubsan0 linux-libc-dev manpages-dev
The following packages will be upgraded:
  libc6
1 upgraded, 23 newly installed, 0 to remove and 69 not upgraded.
Need to get 30.1 MB of archives.
After this operation, 99.6 MB of additional disk space will be used.
Do you want to continue? [Y/n]


Command:

Y


Result:

Get:1 http://jp.archive.ubuntu.com/ubuntu xenial-updates/main amd64 libc6 amd64 2.23-0ubuntu4 [2586 kB]
Get:2 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libmpc3 amd64 1.0.3-1 [39.7 kB]
Get:3 http://jp.archive.ubuntu.com/ubuntu xenial-updates/main amd64 binutils amd64 2.26.1-1ubuntu1~16.04.3 [2310 kB]
Get:4 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 libisl15 amd64 0.16.1-1 [524 kB]
Get:5 http://jp.archive.ubuntu.com/ubuntu xenial-updates/main amd64 cpp-5 amd64 5.4.0-6ubuntu1~16.04.2 [7660 kB]
Get:6 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 cpp amd64 4:5.3.1-1ubuntu1 [27.7 kB]
Get:7 http://jp.archive.ubuntu.com/ubuntu xenial-updates/main amd64 libcc1-0 amd64 5.4.0-6ubuntu1~16.04.2 [38.8 kB]
Get:8 http://jp.archive.ubuntu.com/ubuntu xenial-updates/main amd64 libgomp1 amd64 5.4.0-6ubuntu1~16.04.2 [55.1 kB]
Get:9 http://jp.archive.ubuntu.com/ubuntu xenial-updates/main amd64 libitm1 amd64 5.4.0-6ubuntu1~16.04.2 [27.4 kB]
Get:10 http://jp.archive.ubuntu.com/ubuntu xenial-updates/main amd64 libatomic1 amd64 5.4.0-6ubuntu1~16.04.2 [8902 B]
Get:11 http://jp.archive.ubuntu.com/ubuntu xenial-updates/main amd64 libasan2 amd64 5.4.0-6ubuntu1~16.04.2 [264 kB]
Get:12 http://jp.archive.ubuntu.com/ubuntu xenial-updates/main amd64 liblsan0 amd64 5.4.0-6ubuntu1~16.04.2 [105 kB]
Get:13 http://jp.archive.ubuntu.com/ubuntu xenial-updates/main amd64 libtsan0 amd64 5.4.0-6ubuntu1~16.04.2 [244 kB]                                            
Get:14 http://jp.archive.ubuntu.com/ubuntu xenial-updates/main amd64 libubsan0 amd64 5.4.0-6ubuntu1~16.04.2 [95.4 kB]                                          
Get:15 http://jp.archive.ubuntu.com/ubuntu xenial-updates/main amd64 libcilkrts5 amd64 5.4.0-6ubuntu1~16.04.2 [40.0 kB]                                        
Get:16 http://jp.archive.ubuntu.com/ubuntu xenial-updates/main amd64 libmpx0 amd64 5.4.0-6ubuntu1~16.04.2 [9762 B]                                            
Get:17 http://jp.archive.ubuntu.com/ubuntu xenial-updates/main amd64 libquadmath0 amd64 5.4.0-6ubuntu1~16.04.2 [131 kB]                                        
Get:18 http://jp.archive.ubuntu.com/ubuntu xenial-updates/main amd64 libgcc-5-dev amd64 5.4.0-6ubuntu1~16.04.2 [2241 kB]                                      
Get:19 http://jp.archive.ubuntu.com/ubuntu xenial-updates/main amd64 gcc-5 amd64 5.4.0-6ubuntu1~16.04.2 [8604 kB]                                              
Get:20 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 gcc amd64 4:5.3.1-1ubuntu1 [5244 B]                                                              
Get:21 http://jp.archive.ubuntu.com/ubuntu xenial-updates/main amd64 libc-dev-bin amd64 2.23-0ubuntu4 [68.7 kB]                                                
Get:22 http://jp.archive.ubuntu.com/ubuntu xenial-updates/main amd64 linux-libc-dev amd64 4.4.0-45.66 [839 kB]                                                
Get:23 http://jp.archive.ubuntu.com/ubuntu xenial-updates/main amd64 libc6-dev amd64 2.23-0ubuntu4 [2084 kB]                                                  
Get:24 http://jp.archive.ubuntu.com/ubuntu xenial/main amd64 manpages-dev all 4.04-2 [2048 kB]                                                                
Fetched 30.1 MB in 11s (2535 kB/s)                                                                                                                            
perl: warning: Setting locale failed.
perl: warning: Please check that your locale settings:
LANGUAGE = (unset),
LC_ALL = (unset),
LC_CTYPE = "UTF-8",
LANG = "ja_JP.UTF-8"
    are supported and installed on your system.
perl: warning: Falling back to a fallback locale ("ja_JP.UTF-8").
locale: Cannot set LC_CTYPE to default locale: No such file or directory
locale: LC_ALL??????????????????: ??????????????????????
パッケージを事前設定しています ...
(Reading database ... 253802 files and directories currently installed.)
Preparing to unpack .../libc6_2.23-0ubuntu4_amd64.deb ...
Unpacking libc6:amd64 (2.23-0ubuntu4) over (2.23-0ubuntu3) ...
Setting up libc6:amd64 (2.23-0ubuntu4) ...
Processing triggers for libc-bin (2.23-0ubuntu3) ...
Selecting previously unselected package libmpc3:amd64.
(Reading database ... 253802 files and directories currently installed.)
Preparing to unpack .../libmpc3_1.0.3-1_amd64.deb ...
Unpacking libmpc3:amd64 (1.0.3-1) ...
Selecting previously unselected package binutils.
Preparing to unpack .../binutils_2.26.1-1ubuntu1~16.04.3_amd64.deb ...
Unpacking binutils (2.26.1-1ubuntu1~16.04.3) ...
Selecting previously unselected package libisl15:amd64.
Preparing to unpack .../libisl15_0.16.1-1_amd64.deb ...
Unpacking libisl15:amd64 (0.16.1-1) ...
Selecting previously unselected package cpp-5.
Preparing to unpack .../cpp-5_5.4.0-6ubuntu1~16.04.2_amd64.deb ...
Unpacking cpp-5 (5.4.0-6ubuntu1~16.04.2) ...
Selecting previously unselected package cpp.
Preparing to unpack .../cpp_4%3a5.3.1-1ubuntu1_amd64.deb ...
Unpacking cpp (4:5.3.1-1ubuntu1) ...
Selecting previously unselected package libcc1-0:amd64.
Preparing to unpack .../libcc1-0_5.4.0-6ubuntu1~16.04.2_amd64.deb ...
Unpacking libcc1-0:amd64 (5.4.0-6ubuntu1~16.04.2) ...
Selecting previously unselected package libgomp1:amd64.
Preparing to unpack .../libgomp1_5.4.0-6ubuntu1~16.04.2_amd64.deb ...
Unpacking libgomp1:amd64 (5.4.0-6ubuntu1~16.04.2) ...
Selecting previously unselected package libitm1:amd64.
Preparing to unpack .../libitm1_5.4.0-6ubuntu1~16.04.2_amd64.deb ...
Unpacking libitm1:amd64 (5.4.0-6ubuntu1~16.04.2) ...
Selecting previously unselected package libatomic1:amd64.
Preparing to unpack .../libatomic1_5.4.0-6ubuntu1~16.04.2_amd64.deb ...
Unpacking libatomic1:amd64 (5.4.0-6ubuntu1~16.04.2) ...
Selecting previously unselected package libasan2:amd64.
Preparing to unpack .../libasan2_5.4.0-6ubuntu1~16.04.2_amd64.deb ...
Unpacking libasan2:amd64 (5.4.0-6ubuntu1~16.04.2) ...
Selecting previously unselected package liblsan0:amd64.
Preparing to unpack .../liblsan0_5.4.0-6ubuntu1~16.04.2_amd64.deb ...
Unpacking liblsan0:amd64 (5.4.0-6ubuntu1~16.04.2) ...
Selecting previously unselected package libtsan0:amd64.
Preparing to unpack .../libtsan0_5.4.0-6ubuntu1~16.04.2_amd64.deb ...
Unpacking libtsan0:amd64 (5.4.0-6ubuntu1~16.04.2) ...
Selecting previously unselected package libubsan0:amd64.
Preparing to unpack .../libubsan0_5.4.0-6ubuntu1~16.04.2_amd64.deb ...
Unpacking libubsan0:amd64 (5.4.0-6ubuntu1~16.04.2) ...
Selecting previously unselected package libcilkrts5:amd64.
Preparing to unpack .../libcilkrts5_5.4.0-6ubuntu1~16.04.2_amd64.deb ...
Unpacking libcilkrts5:amd64 (5.4.0-6ubuntu1~16.04.2) ...
Selecting previously unselected package libmpx0:amd64.
Preparing to unpack .../libmpx0_5.4.0-6ubuntu1~16.04.2_amd64.deb ...
Unpacking libmpx0:amd64 (5.4.0-6ubuntu1~16.04.2) ...
Selecting previously unselected package libquadmath0:amd64.
Preparing to unpack .../libquadmath0_5.4.0-6ubuntu1~16.04.2_amd64.deb ...
Unpacking libquadmath0:amd64 (5.4.0-6ubuntu1~16.04.2) ...
Selecting previously unselected package libgcc-5-dev:amd64.
Preparing to unpack .../libgcc-5-dev_5.4.0-6ubuntu1~16.04.2_amd64.deb ...
Unpacking libgcc-5-dev:amd64 (5.4.0-6ubuntu1~16.04.2) ...
Selecting previously unselected package gcc-5.
Preparing to unpack .../gcc-5_5.4.0-6ubuntu1~16.04.2_amd64.deb ...
Unpacking gcc-5 (5.4.0-6ubuntu1~16.04.2) ...
Selecting previously unselected package gcc.
Preparing to unpack .../gcc_4%3a5.3.1-1ubuntu1_amd64.deb ...
Unpacking gcc (4:5.3.1-1ubuntu1) ...
Selecting previously unselected package libc-dev-bin.
Preparing to unpack .../libc-dev-bin_2.23-0ubuntu4_amd64.deb ...
Unpacking libc-dev-bin (2.23-0ubuntu4) ...
Selecting previously unselected package linux-libc-dev:amd64.
Preparing to unpack .../linux-libc-dev_4.4.0-45.66_amd64.deb ...
Unpacking linux-libc-dev:amd64 (4.4.0-45.66) ...
Selecting previously unselected package libc6-dev:amd64.
Preparing to unpack .../libc6-dev_2.23-0ubuntu4_amd64.deb ...
Unpacking libc6-dev:amd64 (2.23-0ubuntu4) ...
Selecting previously unselected package manpages-dev.
Preparing to unpack .../manpages-dev_4.04-2_all.deb ...
Unpacking manpages-dev (4.04-2) ...
Processing triggers for libc-bin (2.23-0ubuntu3) ...
Processing triggers for man-db (2.7.5-1) ...
Setting up libmpc3:amd64 (1.0.3-1) ...
Setting up binutils (2.26.1-1ubuntu1~16.04.3) ...
Setting up libisl15:amd64 (0.16.1-1) ...
Setting up cpp-5 (5.4.0-6ubuntu1~16.04.2) ...
Setting up cpp (4:5.3.1-1ubuntu1) ...
Setting up libcc1-0:amd64 (5.4.0-6ubuntu1~16.04.2) ...
Setting up libgomp1:amd64 (5.4.0-6ubuntu1~16.04.2) ...
Setting up libitm1:amd64 (5.4.0-6ubuntu1~16.04.2) ...
Setting up libatomic1:amd64 (5.4.0-6ubuntu1~16.04.2) ...
Setting up libasan2:amd64 (5.4.0-6ubuntu1~16.04.2) ...
Setting up liblsan0:amd64 (5.4.0-6ubuntu1~16.04.2) ...
Setting up libtsan0:amd64 (5.4.0-6ubuntu1~16.04.2) ...
Setting up libubsan0:amd64 (5.4.0-6ubuntu1~16.04.2) ...
Setting up libcilkrts5:amd64 (5.4.0-6ubuntu1~16.04.2) ...
Setting up libmpx0:amd64 (5.4.0-6ubuntu1~16.04.2) ...
Setting up libquadmath0:amd64 (5.4.0-6ubuntu1~16.04.2) ...
Setting up libgcc-5-dev:amd64 (5.4.0-6ubuntu1~16.04.2) ...
Setting up gcc-5 (5.4.0-6ubuntu1~16.04.2) ...
Setting up gcc (4:5.3.1-1ubuntu1) ...
Setting up libc-dev-bin (2.23-0ubuntu4) ...
Setting up linux-libc-dev:amd64 (4.4.0-45.66) ...
Setting up libc6-dev:amd64 (2.23-0ubuntu4) ...
Setting up manpages-dev (4.04-2) ...
Processing triggers for libc-bin (2.23-0ubuntu3) ...


Command:

$ gcc -v


Result:

Using built-in specs.
COLLECT_GCC=gcc
COLLECT_LTO_WRAPPER=/usr/lib/gcc/x86_64-linux-gnu/5/lto-wrapper
Target: x86_64-linux-gnu
Configured with: ../src/configure -v --with-pkgversion='Ubuntu 5.4.0-6ubuntu1~16.04.2' --with-bugurl=file:///usr/share/doc/gcc-5/README.Bugs --enable-languages=c,ada,c++,java,go,d,fortran,objc,obj-c++ --prefix=/usr --program-suffix=-5 --enable-shared --enable-linker-build-id --libexecdir=/usr/lib --without-included-gettext --enable-threads=posix --libdir=/usr/lib --enable-nls --with-sysroot=/ --enable-clocale=gnu --enable-libstdcxx-debug --enable-libstdcxx-time=yes --with-default-libstdcxx-abi=new --enable-gnu-unique-object --disable-vtable-verify --enable-libmpx --enable-plugin --with-system-zlib --disable-browser-plugin --enable-java-awt=gtk --enable-gtk-cairo --with-java-home=/usr/lib/jvm/java-1.5.0-gcj-5-amd64/jre --enable-java-home --with-jvm-root-dir=/usr/lib/jvm/java-1.5.0-gcj-5-amd64 --with-jvm-jar-dir=/usr/lib/jvm-exports/java-1.5.0-gcj-5-amd64 --with-arch-directory=amd64 --with-ecj-jar=/usr/share/java/eclipse-ecj.jar --enable-objc-gc --enable-multiarch --disable-werror --with-arch-32=i686 --with-abi=m64 --with-multilib-list=m32,m64,mx32 --enable-multilib --with-tune=generic --enable-checking=release --build=x86_64-linux-gnu --host=x86_64-linux-gnu --target=x86_64-linux-gnu
Thread model: posix
gcc version 5.4.0 20160609 (Ubuntu 5.4.0-6ubuntu1~16.04.2)

Ubuntu: Patch (Unix): Linux Kernel Patch Example

Command:

$ mkdir kernel
$ cd kernel
$ wget https://cdn.kernel.org/pub/linux/kernel/v4.x/linux-4.8.6.tar.xz


Result:

--2016-11-02 15:24:10--  https://cdn.kernel.org/pub/linux/kernel/v4.x/linux-4.8.6.tar.xz
Resolving cdn.kernel.org (cdn.kernel.org)... 151.101.72.69
Connecting to cdn.kernel.org (cdn.kernel.org)|151.101.72.69|:443... connected.
HTTP request sent, awaiting response... 200 OK
Length: 91969848 (88M) [application/x-xz]
Saving to: 'linux-4.8.6.tar.xz'

linux-4.8.6.tar.xz                       100%[===============================================================================>]  87.71M  2.95MB/s    in 31s  

2016-11-02 15:24:41 (2.85 MB/s) - 'linux-4.8.6.tar.xz' saved [91969848/91969848]


Command:

$ tar xf linux-4.8.6.tar.xz
$ ln -s linux-4.8.6 linux
$ wget http://ck.kolivas.org/patches/bfs/4.0/4.8/4.8-sched-bfs-512.patch


Result:

--2016-11-02 15:38:58--  http://ck.kolivas.org/patches/bfs/4.0/4.8/4.8-sched-bfs-512.patch
Resolving ck.kolivas.org (ck.kolivas.org)... 193.19.136.183
Connecting to ck.kolivas.org (ck.kolivas.org)|193.19.136.183|:80... connected.
HTTP request sent, awaiting response... 200 OK
Length: 271237 (265K) [text/plain]
Saving to: '4.8-sched-bfs-512.patch'

4.8-sched-bfs-512.patch                  100%[===============================================================================>] 264.88K   142KB/s    in 1.9s  

2016-11-02 15:39:02 (142 KB/s) - '4.8-sched-bfs-512.patch' saved [271237/271237]


Command:

$ wget http://algo.ing.unimo.it/people/paolo/disk_sched/patches/4.8.0-v8r4/0001-block-cgroups-kconfig-build-bits-for-BFQ-v7r11-4.8.0.patch


Result:

--2016-11-02 15:41:01--  http://algo.ing.unimo.it/people/paolo/disk_sched/patches/4.8.0-v8r4/0001-block-cgroups-kconfig-build-bits-for-BFQ-v7r11-4.8.0.patch
Resolving algo.ing.unimo.it (algo.ing.unimo.it)... 155.185.5.10
Connecting to algo.ing.unimo.it (algo.ing.unimo.it)|155.185.5.10|:80... connected.
HTTP request sent, awaiting response... 200 OK
Length: 3445 (3.4K) [text/x-diff]
Saving to: '0001-block-cgroups-kconfig-build-bits-for-BFQ-v7r11-4.8.0.patch'

0001-block-cgroups-kconfig-build-bits-fo 100%[===============================================================================>]   3.36K  --.-KB/s    in 0s    

2016-11-02 15:41:02 (695 MB/s) - '0001-block-cgroups-kconfig-build-bits-for-BFQ-v7r11-4.8.0.patch' saved [3445/3445]


Command:

$ wget http://algo.ing.unimo.it/people/paolo/disk_sched/patches/4.8.0-v8r4/0002-block-introduce-the-BFQ-v7r11-I-O-sched-to-be-ported.patch


Result:

--2016-11-02 15:41:33--  http://algo.ing.unimo.it/people/paolo/disk_sched/patches/4.8.0-v8r4/0002-block-introduce-the-BFQ-v7r11-I-O-sched-to-be-ported.patch
Resolving algo.ing.unimo.it (algo.ing.unimo.it)... 155.185.5.10
Connecting to algo.ing.unimo.it (algo.ing.unimo.it)|155.185.5.10|:80... connected.
HTTP request sent, awaiting response... 200 OK
Length: 227645 (222K) [text/x-diff]
Saving to: '0002-block-introduce-the-BFQ-v7r11-I-O-sched-to-be-ported.patch'

0002-block-introduce-the-BFQ-v7r11-I-O-s 100%[===============================================================================>] 222.31K  51.7KB/s    in 4.3s  

2016-11-02 15:41:39 (51.7 KB/s) - '0002-block-introduce-the-BFQ-v7r11-I-O-sched-to-be-ported.patch' saved [227645/227645]


Command:

$ wget http://algo.ing.unimo.it/people/paolo/disk_sched/patches/4.8.0-v8r4/0003-block-bfq-add-Early-Queue-Merge-EQM-to-BFQ-v7r11-to-.patch


Result:

--2016-11-02 15:41:55--  http://algo.ing.unimo.it/people/paolo/disk_sched/patches/4.8.0-v8r4/0003-block-bfq-add-Early-Queue-Merge-EQM-to-BFQ-v7r11-to-.patch
Resolving algo.ing.unimo.it (algo.ing.unimo.it)... 155.185.5.10
Connecting to algo.ing.unimo.it (algo.ing.unimo.it)|155.185.5.10|:80... connected.
HTTP request sent, awaiting response... 200 OK
Length: 36350 (35K) [text/x-diff]
Saving to: '0003-block-bfq-add-Early-Queue-Merge-EQM-to-BFQ-v7r11-to-.patch'

0003-block-bfq-add-Early-Queue-Merge-EQM 100%[===============================================================================>]  35.50K  50.9KB/s    in 0.7s  

2016-11-02 15:41:57 (50.9 KB/s) - '0003-block-bfq-add-Early-Queue-Merge-EQM-to-BFQ-v7r11-to-.patch' saved [36350/36350]


Command:

$ wget http://algo.ing.unimo.it/people/paolo/disk_sched/patches/4.8.0-v8r4/0004-Turn-BFQ-v7r11-into-BFQ-v8r4-for-4.8.0.patch


Result:

--2016-11-02 15:42:04--  http://algo.ing.unimo.it/people/paolo/disk_sched/patches/4.8.0-v8r4/0004-Turn-BFQ-v7r11-into-BFQ-v8r4-for-4.8.0.patch
Resolving algo.ing.unimo.it (algo.ing.unimo.it)... 155.185.5.10
Connecting to algo.ing.unimo.it (algo.ing.unimo.it)|155.185.5.10|:80... connected.
HTTP request sent, awaiting response... 200 OK
Length: 273468 (267K) [text/x-diff]
Saving to: '0004-Turn-BFQ-v7r11-into-BFQ-v8r4-for-4.8.0.patch'

0004-Turn-BFQ-v7r11-into-BFQ-v8r4-for-4. 100%[===============================================================================>] 267.06K  66.9KB/s    in 4.0s  

2016-11-02 15:42:09 (66.9 KB/s) - '0004-Turn-BFQ-v7r11-into-BFQ-v8r4-for-4.8.0.patch' saved [273468/273468]


Command:

$ ls


Result:

0001-block-cgroups-kconfig-build-bits-for-BFQ-v7r11-4.8.0.patch  0004-Turn-BFQ-v7r11-into-BFQ-v8r4-for-4.8.0.patch  linux-4.8.6
0002-block-introduce-the-BFQ-v7r11-I-O-sched-to-be-ported.patch  4.8-sched-bfs-512.patch                            linux-4.8.6.tar.xz
0003-block-bfq-add-Early-Queue-Merge-EQM-to-BFQ-v7r11-to-.patch  linux


Command:

$ cd linux
$ cp ../0001-block-cgroups-kconfig-build-bits-for-BFQ-v7r11-4.8.0.patch .
$ cp ../0002-block-introduce-the-BFQ-v7r11-I-O-sched-to-be-ported.patch .
$ cp ../0003-block-bfq-add-Early-Queue-Merge-EQM-to-BFQ-v7r11-to-.patch .
$ cp ../0004-Turn-BFQ-v7r11-into-BFQ-v8r4-for-4.8.0.patch .
$ cp ../4.8-sched-bfs-512.patch .
$ patch -p1 < 0001-block-cgroups-kconfig-build-bits-for-BFQ-v7r11-4.8.0.patch


Result:

patching file block/Kconfig.iosched
patching file block/Makefile
patching file include/linux/blkdev.h


Command:

$ patch -p1 < 0002-block-introduce-the-BFQ-v7r11-I-O-sched-to-be-ported.patch


Result:

patching file block/Kconfig.iosched
patching file block/bfq-cgroup.c
patching file block/bfq-ioc.c
patching file block/bfq-iosched.c
patching file block/bfq-sched.c
patching file block/bfq.h


Command:

$ patch -p1 < 0003-block-bfq-add-Early-Queue-Merge-EQM-to-BFQ-v7r11-to-.patch


Result:

patching file block/bfq-cgroup.c
patching file block/bfq-iosched.c
patching file block/bfq.h


Command:

$ patch -p1 < 0004-Turn-BFQ-v7r11-into-BFQ-v8r4-for-4.8.0.patch


Result:

patching file block/Kconfig.iosched
patching file block/bfq-cgroup.c
patching file block/bfq-iosched.c
patching file block/bfq-sched.c
patching file block/bfq.h


Command:

$ patch -p1 < 4.8-sched-bfs-512.patch


Result:

patching file arch/powerpc/platforms/cell/spufs/sched.c
patching file Documentation/scheduler/sched-BFS.txt
patching file Documentation/sysctl/kernel.txt
patching file fs/proc/base.c
patching file include/linux/init_task.h
patching file include/linux/ioprio.h
patching file include/linux/sched.h
patching file init/Kconfig
patching file init/main.c
patching file kernel/delayacct.c
patching file kernel/exit.c
patching file kernel/sysctl.c
patching file lib/Kconfig.debug
patching file include/linux/jiffies.h
patching file drivers/cpufreq/cpufreq_ondemand.c
patching file kernel/sched/bfs.c
patching file include/uapi/linux/sched.h
patching file drivers/cpufreq/cpufreq_conservative.c
Hunk #1 succeeded at 31 (offset 1 line).
patching file kernel/time/Kconfig
patching file kernel/sched/Makefile
patching file kernel/sched/bfs_sched.h
patching file kernel/sched/stats.c
patching file arch/x86/Kconfig
patching file include/linux/sched/prio.h
patching file kernel/sched/idle.c
patching file kernel/time/posix-cpu-timers.c
patching file kernel/trace/trace_selftest.c
patching file kernel/sched/cpufreq.c
patching file kernel/sched/cpufreq_schedutil.c
patching file kernel/skip_lists.c
patching file include/linux/skip_lists.h
patching file kernel/Makefile
patching file kernel/smpboot.c


Patch used:

• Brain Fuck Scheduler
• Budget Fair Queueing (BFQ) Storage-I/O Scheduler

OhHeyItsLou: The Linux Kernel (Part1): Patching

OhHeyItsLou

ASCII fluid dynamics -- IOCCC2012 endoh1.c

Obfuscated C programs: Introduction

macOS Sierra: Installing Brainfuck Interpretter

Command:

$ git clone https://github.com/fabianishere/brainfuck.git


Result:

Cloning into 'brainfuck'...
remote: Counting objects: 1275, done.
remote: Total 1275 (delta 0), reused 0 (delta 0), pack-reused 1275
Receiving objects: 100% (1275/1275), 640.72 KiB | 519.00 KiB/s, done.
Resolving deltas: 100% (574/574), done.


Command:

$ ls


Result:

CHANGELOG.markdown LICENSE examples man
CMakeLists.txt README.markdown include src


Command:

$ cmake -f CMakeLists.txt

-- The C compiler identification is AppleClang 8.0.0.8000042
-- Check for working C compiler: /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/cc
-- Check for working C compiler: /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/cc -- works
-- Detecting C compiler ABI info
-- Detecting C compiler ABI info - done
-- Detecting C compile features
-- Detecting C compile features - done
-- Configuring done
-- Generating done
-- Build files have been written to: /Users/USERNAME/brainfuck


Command:

$ make


Result:

Scanning dependencies of target libbrainfuck
[ 25%] Building C object CMakeFiles/libbrainfuck.dir/src/brainfuck.c.o
[ 50%] Linking C static library libbrainfuck.a
[ 50%] Built target libbrainfuck
Scanning dependencies of target brainfuck
[ 75%] Building C object CMakeFiles/brainfuck.dir/src/main.c.o
[100%] Linking C executable brainfuck
[100%] Built target brainfuck


Command:

$ ls


Result:

CHANGELOG.markdown CMakeLists.txt README.markdown examples man
CMakeCache.txt LICENSE brainfuck include src
CMakeFiles Makefile cmake_install.cmake libbrainfuck.a


Command:

$ ./brainfuck


Result:

brainfuck 2.6.6 (Oct 29 2016, 17:56:11)

macOS Sierra: SWI-Prolog: Hello, World!

Command:

$ cat helloworld.swi


Result:

main :-
write('Hello, World!\n').


Command:

$ swipl


Result:

Welcome to SWI-Prolog (Multi-threaded, 64 bits, Version 7.2.3)
Copyright (c) 1990-2015 University of Amsterdam, VU Amsterdam
SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software,
and you are welcome to redistribute it under certain conditions.
Please visit http://www.swi-prolog.org for details.

For help, use ?- help(Topic). or ?- apropos(Word).


Command:

?- ['helloworld.swi'].


Result:

true.


Command:

?- main.


Result:

Hello, World!
true.

macOS Sierra: SWI-Prog: Trying Read-Eval-Print loop (REPL)

Command:

$ swipl


Result:

Welcome to SWI-Prolog (Multi-threaded, 64 bits, Version 7.2.3)
Copyright (c) 1990-2015 University of Amsterdam, VU Amsterdam
SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software,
and you are welcome to redistribute it under certain conditions.
Please visit http://www.swi-prolog.org for details.

For help, use ?- help(Topic). or ?- apropos(Word).


Command:

?- [user].
⏎
|: p(X) :- q(X).
|: q(a).
Ctrl-D

Result:

|: true.


Command:

?- p(a).


Result:

true.


Command:

?- listing.


Result:

:- dynamic expand_answer/2.
:- multifile expand_answer/2.

expand_answer(A, B) :-
toplevel_variables:expand_answer(A, B).

:- dynamic expand_query/4.
:- multifile expand_query/4.

expand_query(A, B, C, D) :-
toplevel_variables:expand_query(A, B, C, D).

:- multifile prolog_list_goal/1.


:- dynamic prolog_event_hook/1.
:- multifile prolog_event_hook/1.


:- dynamic exception/3.
:- multifile exception/3.


:- dynamic file_search_path/2.
:- multifile file_search_path/2.

file_search_path(library, A) :-
library_directory(A).
file_search_path(swi, A) :-
system:current_prolog_flag(home, A).
file_search_path(foreign, swi(B)) :-
    system:
    (   current_prolog_flag(arch, A),
atom_concat('lib/', A, B)
    ).
file_search_path(foreign, swi(A)) :-
    system:
    (   (   current_prolog_flag(windows, true)
->  A=bin
;   A=lib
)
    ).
file_search_path(path, C) :-
    system:
    (   getenv('PATH', A),
(   current_prolog_flag(windows, true)
->  atomic_list_concat(B, ;, A)
;   atomic_list_concat(B, :, A)
),
'$member'(C, B),
'$no-null-bytes'(C)
    ).
file_search_path(user_profile, app_preferences('.')).
file_search_path(app_data, A) :-
'$toplevel':catch(expand_file_name('~/lib/swipl', [A]), _, fail).
file_search_path(app_preferences, A) :-
'$toplevel':catch(expand_file_name(~, [A]), _, fail).
file_search_path(autoload, library('.')).
file_search_path(pack, app_data(pack)).
file_search_path(pack, swi(pack)).
file_search_path(library, A) :-
'$pack':pack_dir(_, prolog, A).
file_search_path(foreign, A) :-
'$pack':pack_dir(_, foreign, A).

:- thread_local thread_message_hook/3.
:- dynamic thread_message_hook/3.
:- volatile thread_message_hook/3.


:- dynamic portray/1.
:- multifile portray/1.


:- dynamic prolog_file_type/2.
:- multifile prolog_file_type/2.

prolog_file_type(pl, prolog).
prolog_file_type(prolog, prolog).
prolog_file_type(qlf, prolog).
prolog_file_type(qlf, qlf).
prolog_file_type(A, executable) :-
system:current_prolog_flag(shared_object_extension, A).

:- dynamic prolog_load_file/2.
:- multifile prolog_load_file/2.


:- multifile message_property/2.


:- dynamic library_directory/1.
:- multifile library_directory/1.

library_directory(B) :-
    '$parms':
    (   cached_library_directory(local, A=lib, A),
B=A
    ).
library_directory(B) :-
    '$parms':
    (   cached_library_directory(user,
expand_file_name('~/lib/prolog', [A]),
A),
B=A
    ).
library_directory(B) :-
    '$parms':
    (   cached_library_directory(system,
absolute_file_name(swi(library), A),
A),
B=A
    ).
library_directory(B) :-
    '$parms':
    (   cached_library_directory(clp,
absolute_file_name(swi('library/clp'), A),
A),
B=A
    ).

:- dynamic resource/3.
:- multifile resource/3.


:- dynamic message_hook/3.
:- multifile message_hook/3.

true.

macOS Sierra: Installing SWI-Prolog

Command:

$ brew install swi-prolog


Result:

==> Auto-updated Homebrew!
Updated 2 taps (homebrew/core, homebrew/python).
==> Updated Formulae
flow                           homebrew/python/pyrit          sbt ✔

==> Downloading https://homebrew.bintray.com/bottles/swi-prolog-7.2.3_1.sierra.bottle.tar.g
######################################################################## 100.0%
==> Pouring swi-prolog-7.2.3_1.sierra.bottle.tar.gz
🍺  /usr/local/Cellar/swi-prolog/7.2.3_1: 801 files, 17.6M

macOS Sierra: Installing Coq (Proof assistant)

Command:

$ brew install coq


Result:

==> Installing dependencies for coq: ocaml, camlp5
==> Installing coq dependency: ocaml
==> Downloading https://homebrew.bintray.com/bottles/ocaml-4.03.0.sierra.bottle.tar.gz
######################################################################## 100.0%
==> Pouring ocaml-4.03.0.sierra.bottle.tar.gz
🍺  /usr/local/Cellar/ocaml/4.03.0: 1,641 files, 173.7M
==> Installing coq dependency: camlp5
==> Downloading https://homebrew.bintray.com/bottles/camlp5-6.16.sierra.bottle.tar.gz
######################################################################## 100.0%
==> Pouring camlp5-6.16.sierra.bottle.tar.gz
🍺  /usr/local/Cellar/camlp5/6.16: 212 files, 23.5M
==> Installing coq
==> Downloading https://homebrew.bintray.com/bottles/coq-8.5pl2.sierra.bottle.tar.gz
######################################################################## 100.0%
==> Pouring coq-8.5pl2.sierra.bottle.tar.gz
==> Caveats
Emacs Lisp files have been installed to:
  /usr/local/share/emacs/site-lisp/coq
==> Summary
🍺  /usr/local/Cellar/coq/8.5pl2: 3,959 files, 218.6M


Command:

$ coqc -v


Result:

The Coq Proof Assistant, version 8.5pl2 (September 2016)
compiled on Sep 17 2016 10:2:53 with OCaml 4.03.0