The following actions will be performed:
∗ install conf-pkg-config 1.1 [required by conf-gtksourceview]
↗ upgrade coq 8.8.0 to 8.8.1 [required by coqide]
∗ install conf-gtksourceview 2 [required by coqide]
∗ install lablgtk 2.18.5 [required by coqide]
∗ install coqide 8.8.1
===== ∗ 4 ↗ 1 =====
Do you want to continue ? [Y/n] Y
=-=- Gathering sources =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
[default] https://opam.ocaml.org/archives/coqide.8.8.1+opam.tar.gz downloaded
[default] https://opam.ocaml.org/archives/coq.8.8.1+opam.tar.gz downloaded
[default] https://opam.ocaml.org/archives/coq.8.8.0+opam.tar.gz downloaded
[default] https://opam.ocaml.org/archives/lablgtk.2.18.5+opam.tar.gz downloaded
=-=- Processing actions -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
[ERROR] The compilation of conf-pkg-config failed at "pkg-config --help".
⊘ removed coq.8.8.0
∗ installed coq.8.8.1
#=== ERROR while installing conf-pkg-config.1.1 ===============================#
# opam-version 1.2.2
# os linux
# command pkg-config --help
# path /home/mube/.opam/4.05.0/build/conf-pkg-config.1.1
# compiler 4.05.0
# exit-code 127
# env-file /home/mube/.opam/4.05.0/build/conf-pkg-config.1.1/conf-pkg-config-9474-d0f245.env
# stdout-file /home/mube/.opam/4.05.0/build/conf-pkg-config.1.1/conf-pkg-config-9474-d0f245.out
# stderr-file /home/mube/.opam/4.05.0/build/conf-pkg-config.1.1/conf-pkg-config-9474-d0f245.err
### stdout ###
=-=- Error report -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
The following actions were aborted
∗ install conf-gtksourceview 2
∗ install coqide 8.8.1
∗ install lablgtk 2.18.5
The following actions failed
∗ install conf-pkg-config 1.1
The following changes have been performed
↗ upgrade coq 8.8.0 to 8.8.1
=-=- conf-pkg-config.1.1 troobleshooting =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
=> This package relies on external (system) dependencies that may be missing.
`opam depext conf-pkg-config.1.1' may help you find the correct installation
for your system.
The former state can be restored with:
opam switch import "~/.opam/4.05.0/backup/state-20180615065847.export"
$ opam depext conf-pkg-config.1.1
OPAM plugin depext is not installed. Install it on the current switch? [Y/n] Y
The following actions will be performed:
∗ install depext 1.0.5
=-=- Gathering sources =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
[default] https://opam.ocaml.org/archives/depext.1.0.5+opam.tar.gz downloaded
=-=- Processing actions -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
∗ installed depext.1.0.5
Done.
=-=- Carrying on to "opam depext conf-pkg-config.1.1" -=-=-=-=-=-=-=-=-=-=-=-=-=
# Detecting depexts using flags: x86 linux ubuntu
# The following system packages are needed:
# - pkg-config
The following command needs to be run through "sudo":
apt-get install pkg-config
Allow ? [Y/n]
Allow ? [Y/n] Y
[sudo] mube のパスワード:
パッケージリストを読み込んでいます... 完了
依存関係ツリーを作成しています
状態情報を読み取っています... 完了
以下のパッケージが新たにインストールされます:
pkg-config
アップグレード: 0 個、新規インストール: 1 個、削除: 0 個、保留: 139 個。
45.8 kB のアーカイブを取得する必要があります。
この操作後に追加で 175 kB のディスク容量が消費されます。
取得:1 http://jp.archive.ubuntu.com/ubuntu bionic/main i386 pkg-config i386 0.29.1-0ubuntu2 [45.8 kB]
45.8 kB を 1秒 で取得しました (90.6 kB/s)
以前に未選択のパッケージ pkg-config を選択しています。
(データベースを読み込んでいます ... 現在 147423 個のファイルとディレクトリがインストールされています。)
.../pkg-config_0.29.1-0ubuntu2_i386.deb を展開する準備をしています ...
pkg-config (0.29.1-0ubuntu2) を展開しています...
pkg-config (0.29.1-0ubuntu2) を設定しています ...
man-db (2.8.3-2) のトリガを処理しています ...
[master a1a8c84] committing changes in /etc after apt run
2 files changed, 2 insertions(+), 1 deletion(-)
create mode 100644 dpkg/dpkg.cfg.d/pkg-config-hook-config
# OS packages installation successful
The following actions will be performed:
∗ install conf-pkg-config 1.1 [required by conf-gtksourceview]
∗ install conf-gtksourceview 2 [required by coqide]
∗ install lablgtk 2.18.5 [required by coqide]
∗ install coqide 8.8.1
===== ∗ 4 =====
Do you want to continue ? [Y/n] Y
=-=- Gathering sources =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
[coqide] Archive in cache
[lablgtk] Archive in cache
=-=- Processing actions -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
∗ installed conf-pkg-config.1.1
[ERROR] The compilation of conf-gtksourceview failed at "pkg-config
--short-errors --print-errors gtksourceview-2.0".
#=== ERROR while installing conf-gtksourceview.2 ==============================#
# opam-version 1.2.2
# os linux
# command pkg-config --short-errors --print-errors gtksourceview-2.0
# path /home/mube/.opam/4.05.0/build/conf-gtksourceview.2
# compiler 4.05.0
# exit-code 1
# env-file /home/mube/.opam/4.05.0/build/conf-gtksourceview.2/conf-gtksourceview-10213-42bb52.env
# stdout-file /home/mube/.opam/4.05.0/build/conf-gtksourceview.2/conf-gtksourceview-10213-42bb52.out
# stderr-file /home/mube/.opam/4.05.0/build/conf-gtksourceview.2/conf-gtksourceview-10213-42bb52.err
### stderr ###
# No package 'gtksourceview-2.0' found
=-=- Error report -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
The following actions were aborted
∗ install coqide 8.8.1
∗ install lablgtk 2.18.5
The following actions failed
∗ install conf-gtksourceview 2
The following changes have been performed
∗ install conf-pkg-config 1.1
=-=- conf-gtksourceview.2 troobleshooting -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
=> This package relies on external (system) dependencies that may be missing.
`opam depext conf-gtksourceview.2' may help you find the correct
installation for your system.
The former state can be restored with:
opam switch import "~/.opam/4.05.0/backup/state-20180615070822.export"
$ opam depext conf-gtksourceview.2
# Detecting depexts using flags: x86 linux ubuntu
# The following system packages are needed:
# - libgtksourceview2.0-dev
# - pkg-config
# The following new OS packages need to be installed: libgtksourceview2.0-dev
The following command needs to be run through "sudo":
apt-get install libgtksourceview2.0-dev
パッケージリストを読み込んでいます... 完了
依存関係ツリーを作成しています
状態情報を読み取っています... 完了
以下の追加パッケージがインストールされます:
autoconf automake autopoint autotools-dev debhelper dh-autoreconf
dh-strip-nondeterminism gir1.2-gtk-2.0 gir1.2-harfbuzz-0.0 icu-devtools
libarchive-cpio-perl libatk1.0-dev libcairo-script-interpreter2
libcairo2-dev libexpat1-dev libfile-stripnondeterminism-perl
libfontconfig1-dev libfreetype6-dev libgdk-pixbuf2.0-dev libglib2.0-dev
libglib2.0-dev-bin libgraphite2-dev libgtk2.0-dev libgtksourceview2.0-0
libgtksourceview2.0-common libharfbuzz-dev libharfbuzz-gobject0 libice-dev
libicu-dev libicu-le-hb-dev libicu-le-hb0 libiculx60 libltdl-dev
libmail-sendmail-perl libpango1.0-dev libpcre16-3 libpcre3-dev libpcre32-3
libpcrecpp0v5 libpixman-1-dev libpng-dev libpng-tools libpng16-16
libpthread-stubs0-dev libsm-dev libsys-hostname-long-perl libtool libx11-dev
libx11-doc libxau-dev libxcb-render0-dev libxcb-shm0-dev libxcb1-dev
libxcomposite-dev libxcursor-dev libxdamage-dev libxdmcp-dev libxext-dev
libxfixes-dev libxft-dev libxi-dev libxinerama-dev libxml2-dev libxml2-utils
libxrandr-dev libxrender-dev po-debconf python3-distutils python3-lib2to3
x11proto-composite-dev x11proto-core-dev x11proto-damage-dev x11proto-dev
x11proto-fixes-dev x11proto-input-dev x11proto-randr-dev x11proto-xext-dev
x11proto-xinerama-dev xorg-sgml-doctools xtrans-dev zlib1g-dev
提案パッケージ:
autoconf-archive gnu-standards autoconf-doc dh-make dwz libcairo2-doc
libglib2.0-doc libgraphite2-utils libgtk2.0-doc libgtksourceview2.0-doc
libice-doc icu-doc libtool-doc libpango1.0-doc libsm-doc gfortran
| fortran95-compiler gcj-jdk libxcb-doc libxext-doc libmail-box-perl
以下のパッケージが新たにインストールされます:
autoconf automake autopoint autotools-dev debhelper dh-autoreconf
dh-strip-nondeterminism gir1.2-gtk-2.0 gir1.2-harfbuzz-0.0 icu-devtools
libarchive-cpio-perl libatk1.0-dev libcairo-script-interpreter2
libcairo2-dev libexpat1-dev libfile-stripnondeterminism-perl
libfontconfig1-dev libfreetype6-dev libgdk-pixbuf2.0-dev libglib2.0-dev
libglib2.0-dev-bin libgraphite2-dev libgtk2.0-dev libgtksourceview2.0-0
libgtksourceview2.0-common libgtksourceview2.0-dev libharfbuzz-dev
libharfbuzz-gobject0 libice-dev libicu-dev libicu-le-hb-dev libicu-le-hb0
libiculx60 libltdl-dev libmail-sendmail-perl libpango1.0-dev libpcre16-3
libpcre3-dev libpcre32-3 libpcrecpp0v5 libpixman-1-dev libpng-dev
libpng-tools libpthread-stubs0-dev libsm-dev libsys-hostname-long-perl
libtool libx11-dev libx11-doc libxau-dev libxcb-render0-dev libxcb-shm0-dev
libxcb1-dev libxcomposite-dev libxcursor-dev libxdamage-dev libxdmcp-dev
libxext-dev libxfixes-dev libxft-dev libxi-dev libxinerama-dev libxml2-dev
libxml2-utils libxrandr-dev libxrender-dev po-debconf python3-distutils
python3-lib2to3 x11proto-composite-dev x11proto-core-dev x11proto-damage-dev
x11proto-dev x11proto-fixes-dev x11proto-input-dev x11proto-randr-dev
x11proto-xext-dev x11proto-xinerama-dev xorg-sgml-doctools xtrans-dev
zlib1g-dev
以下のパッケージはアップグレードされます:
libpng16-16
アップグレード: 1 個、新規インストール: 81 個、削除: 0 個、保留: 138 個。
29.0 MB 中 28.8 MB のアーカイブを取得する必要があります。
この操作後に追加で 128 MB のディスク容量が消費されます。
取得:1 http://jp.archive.ubuntu.com/ubuntu bionic/main i386 autoconf all 2.69-11 [322 kB]
取得:2 http://jp.archive.ubuntu.com/ubuntu bionic/main i386 autotools-dev all 20180224.1 [39.6 kB]
取得:3 http://jp.archive.ubuntu.com/ubuntu bionic/main i386 automake all 1:1.15.1-3ubuntu2 [509 kB]
取得:4 http://jp.archive.ubuntu.com/ubuntu bionic/main i386 autopoint all 0.19.8.1-6 [412 kB]
取得:5 http://jp.archive.ubuntu.com/ubuntu bionic/main i386 libtool all 2.4.6-2 [194 kB]
取得:6 http://jp.archive.ubuntu.com/ubuntu bionic/main i386 dh-autoreconf all 17 [15.8 kB]
取得:7 http://jp.archive.ubuntu.com/ubuntu bionic/main i386 libfile-stripnondeterminism-perl all 0.040-1.1~build1 [13.8 kB]
取得:8 http://jp.archive.ubuntu.com/ubuntu bionic/main i386 dh-strip-nondeterminism all 0.040-1.1~build1 [5,208 B]
取得:9 http://jp.archive.ubuntu.com/ubuntu bionic/main i386 po-debconf all 1.0.20 [232 kB]
取得:10 http://jp.archive.ubuntu.com/ubuntu bionic-updates/main i386 debhelper all 11.1.6ubuntu2 [902 kB]
取得:11 http://jp.archive.ubuntu.com/ubuntu bionic/main i386 gir1.2-gtk-2.0 i386 2.24.32-1ubuntu1 [172 kB]
取得:12 http://jp.archive.ubuntu.com/ubuntu bionic/main i386 gir1.2-harfbuzz-0.0 i386 1.7.2-1ubuntu1 [18.5 kB]
取得:13 http://jp.archive.ubuntu.com/ubuntu bionic/main i386 icu-devtools i386 60.2-3ubuntu3 [186 kB]
取得:14 http://jp.archive.ubuntu.com/ubuntu bionic/main i386 libarchive-cpio-perl all 0.10-1 [9,644 B]
取得:15 http://jp.archive.ubuntu.com/ubuntu bionic/main i386 python3-lib2to3 all 3.6.5-3 [76.6 kB]
取得:16 http://jp.archive.ubuntu.com/ubuntu bionic/main i386 python3-distutils all 3.6.5-3 [141 kB]
取得:17 http://jp.archive.ubuntu.com/ubuntu bionic/main i386 libglib2.0-dev-bin i386 2.56.1-2ubuntu1 [102 kB]
取得:18 http://jp.archive.ubuntu.com/ubuntu bionic/main i386 libpcre16-3 i386 2:8.39-9 [147 kB]
取得:19 http://jp.archive.ubuntu.com/ubuntu bionic/main i386 libpcre32-3 i386 2:8.39-9 [138 kB]
取得:20 http://jp.archive.ubuntu.com/ubuntu bionic/main i386 libpcrecpp0v5 i386 2:8.39-9 [16.3 kB]
取得:21 http://jp.archive.ubuntu.com/ubuntu bionic/main i386 libpcre3-dev i386 2:8.39-9 [537 kB]
取得:22 http://jp.archive.ubuntu.com/ubuntu bionic/main i386 zlib1g-dev i386 1:1.2.11.dfsg-0ubuntu2 [178 kB]
取得:23 http://jp.archive.ubuntu.com/ubuntu bionic/main i386 libglib2.0-dev i386 2.56.1-2ubuntu1 [1,491 kB]
取得:24 http://jp.archive.ubuntu.com/ubuntu bionic/main i386 libatk1.0-dev i386 2.28.1-1 [79.9 kB]
取得:25 http://jp.archive.ubuntu.com/ubuntu bionic/main i386 libcairo-script-interpreter2 i386 1.15.10-2 [57.6 kB]
取得:26 http://jp.archive.ubuntu.com/ubuntu bionic/main i386 libexpat1-dev i386 2.2.5-3 [127 kB]
取得:27 http://jp.archive.ubuntu.com/ubuntu bionic-updates/main i386 libpng-dev i386 1.6.34-1ubuntu0.18.04.1 [186 kB]
取得:28 http://jp.archive.ubuntu.com/ubuntu bionic/main i386 libfreetype6-dev i386 2.8.1-2ubuntu2 [2,560 kB]
取得:29 http://jp.archive.ubuntu.com/ubuntu bionic/main i386 libfontconfig1-dev i386 2.12.6-0ubuntu2 [703 kB]
取得:30 http://jp.archive.ubuntu.com/ubuntu bionic/main i386 xorg-sgml-doctools all 1:1.11-1 [12.9 kB]
取得:31 http://jp.archive.ubuntu.com/ubuntu bionic/main i386 x11proto-dev all 2018.4-4 [251 kB]
取得:32 http://jp.archive.ubuntu.com/ubuntu bionic/main i386 x11proto-core-dev all 2018.4-4 [2,620 B]
取得:33 http://jp.archive.ubuntu.com/ubuntu bionic/main i386 libxau-dev i386 1:1.0.8-1 [10.2 kB]
取得:34 http://jp.archive.ubuntu.com/ubuntu bionic/main i386 libxdmcp-dev i386 1:1.1.2-3 [24.9 kB]
取得:35 http://jp.archive.ubuntu.com/ubuntu bionic/main i386 x11proto-input-dev all 2018.4-4 [2,620 B]
取得:36 http://jp.archive.ubuntu.com/ubuntu bionic/main i386 xtrans-dev all 1.3.5-1 [70.5 kB]
取得:37 http://jp.archive.ubuntu.com/ubuntu bionic/main i386 libpthread-stubs0-dev i386 0.3-4 [4,054 B]
取得:38 http://jp.archive.ubuntu.com/ubuntu bionic/main i386 libxcb1-dev i386 1.13-1 [85.4 kB]
取得:39 http://jp.archive.ubuntu.com/ubuntu bionic/main i386 libx11-dev i386 2:1.6.4-3 [661 kB]
取得:40 http://jp.archive.ubuntu.com/ubuntu bionic/main i386 libxrender-dev i386 1:0.9.10-1 [25.1 kB]
取得:41 http://jp.archive.ubuntu.com/ubuntu bionic/main i386 x11proto-xext-dev all 2018.4-4 [2,620 B]
取得:42 http://jp.archive.ubuntu.com/ubuntu bionic/main i386 libxext-dev i386 2:1.3.3-1 [82.8 kB]
取得:43 http://jp.archive.ubuntu.com/ubuntu bionic/main i386 libice-dev i386 2:1.0.9-2 [46.8 kB]
取得:44 http://jp.archive.ubuntu.com/ubuntu bionic/main i386 libsm-dev i386 2:1.2.2-1 [15.1 kB]
取得:45 http://jp.archive.ubuntu.com/ubuntu bionic/main i386 libpixman-1-dev i386 0.34.0-2 [258 kB]
取得:46 http://jp.archive.ubuntu.com/ubuntu bionic/main i386 libxcb-render0-dev i386 1.13-1 [19.3 kB]
取得:47 http://jp.archive.ubuntu.com/ubuntu bionic/main i386 libxcb-shm0-dev i386 1.13-1 [6,892 B]
取得:48 http://jp.archive.ubuntu.com/ubuntu bionic/main i386 libcairo2-dev i386 1.15.10-2 [702 kB]
取得:49 http://jp.archive.ubuntu.com/ubuntu bionic/main i386 libgdk-pixbuf2.0-dev i386 2.36.11-2 [47.0 kB]
取得:50 http://jp.archive.ubuntu.com/ubuntu bionic/main i386 libgraphite2-dev i386 1.3.11-2 [14.5 kB]
取得:51 http://jp.archive.ubuntu.com/ubuntu bionic/main i386 libharfbuzz-gobject0 i386 1.7.2-1ubuntu1 [12.4 kB]
取得:52 http://jp.archive.ubuntu.com/ubuntu bionic/main i386 libicu-le-hb0 i386 1.0.3+git161113-4 [15.6 kB]
取得:53 http://jp.archive.ubuntu.com/ubuntu bionic/main i386 libiculx60 i386 60.2-3ubuntu3 [19.7 kB]
取得:54 http://jp.archive.ubuntu.com/ubuntu bionic/main i386 libicu-le-hb-dev i386 1.0.3+git161113-4 [31.2 kB]
取得:55 http://jp.archive.ubuntu.com/ubuntu bionic/main i386 libicu-dev i386 60.2-3ubuntu3 [9,076 kB]
取得:56 http://jp.archive.ubuntu.com/ubuntu bionic/main i386 libharfbuzz-dev i386 1.7.2-1ubuntu1 [316 kB]
取得:57 http://jp.archive.ubuntu.com/ubuntu bionic/main i386 libxft-dev i386 2.3.2-1 [43.6 kB]
取得:58 http://jp.archive.ubuntu.com/ubuntu bionic/main i386 libpango1.0-dev i386 1.40.14-1 [306 kB]
取得:59 http://jp.archive.ubuntu.com/ubuntu bionic/main i386 x11proto-xinerama-dev all 2018.4-4 [2,628 B]
取得:60 http://jp.archive.ubuntu.com/ubuntu bionic/main i386 libxinerama-dev i386 2:1.1.3-1 [8,268 B]
取得:61 http://jp.archive.ubuntu.com/ubuntu bionic/main i386 x11proto-fixes-dev all 1:2018.4-4 [2,620 B]
取得:62 http://jp.archive.ubuntu.com/ubuntu bionic/main i386 libxfixes-dev i386 1:5.0.3-1 [11.2 kB]
取得:63 http://jp.archive.ubuntu.com/ubuntu bionic/main i386 libxi-dev i386 2:1.7.9-1 [186 kB]
取得:64 http://jp.archive.ubuntu.com/ubuntu bionic/main i386 x11proto-randr-dev all 2018.4-4 [2,620 B]
取得:65 http://jp.archive.ubuntu.com/ubuntu bionic/main i386 libxrandr-dev i386 2:1.5.1-1 [25.1 kB]
取得:66 http://jp.archive.ubuntu.com/ubuntu bionic/main i386 libxcursor-dev i386 1:1.1.15-1 [28.6 kB]
取得:67 http://jp.archive.ubuntu.com/ubuntu bionic/main i386 x11proto-composite-dev all 1:2018.4-4 [2,620 B]
取得:68 http://jp.archive.ubuntu.com/ubuntu bionic/main i386 libxcomposite-dev i386 1:0.4.4-2 [9,244 B]
取得:69 http://jp.archive.ubuntu.com/ubuntu bionic/main i386 x11proto-damage-dev all 1:2018.4-4 [2,620 B]
取得:70 http://jp.archive.ubuntu.com/ubuntu bionic/main i386 libxdamage-dev i386 1:1.1.4-3 [5,174 B]
取得:71 http://jp.archive.ubuntu.com/ubuntu bionic/main i386 libxml2-utils i386 2.9.4+dfsg1-6.1ubuntu1 [36.3 kB]
取得:72 http://jp.archive.ubuntu.com/ubuntu bionic/main i386 libgtk2.0-dev i386 2.24.32-1ubuntu1 [2,825 kB]
取得:73 http://jp.archive.ubuntu.com/ubuntu bionic/universe i386 libgtksourceview2.0-common all 2.10.5-3 [425 kB]
取得:74 http://jp.archive.ubuntu.com/ubuntu bionic/universe i386 libgtksourceview2.0-0 i386 2.10.5-3 [162 kB]
取得:75 http://jp.archive.ubuntu.com/ubuntu bionic/main i386 libxml2-dev i386 2.9.4+dfsg1-6.1ubuntu1 [820 kB]
取得:76 http://jp.archive.ubuntu.com/ubuntu bionic/universe i386 libgtksourceview2.0-dev i386 2.10.5-3 [191 kB]
取得:77 http://jp.archive.ubuntu.com/ubuntu bionic/main i386 libltdl-dev i386 2.4.6-2 [163 kB]
取得:78 http://jp.archive.ubuntu.com/ubuntu bionic/main i386 libsys-hostname-long-perl all 1.5-1 [11.7 kB]
取得:79 http://jp.archive.ubuntu.com/ubuntu bionic/main i386 libmail-sendmail-perl all 0.80-1 [22.6 kB]
取得:80 http://jp.archive.ubuntu.com/ubuntu bionic-updates/main i386 libpng-tools i386 1.6.34-1ubuntu0.18.04.1 [26.1 kB]
取得:81 http://jp.archive.ubuntu.com/ubuntu bionic/main i386 libx11-doc all 2:1.6.4-3 [2,067 kB]
28.8 MB を 15秒 で取得しました (1,869 kB/s)
パッケージからテンプレートを展開しています: 100%
(データベースを読み込んでいます ... 現在 147438 個のファイルとディレクトリがインストールされています。)
.../00-libpng16-16_1.6.34-1ubuntu0.18.04.1_i386.deb を展開する準備をしています ...
libpng16-16:i386 (1.6.34-1ubuntu0.18.04.1) で (1.6.34-1 に) 上書き展開しています ...
以前に未選択のパッケージ autoconf を選択しています。
.../01-autoconf_2.69-11_all.deb を展開する準備をしています ...
autoconf (2.69-11) を展開しています...
以前に未選択のパッケージ autotools-dev を選択しています。
.../02-autotools-dev_20180224.1_all.deb を展開する準備をしています ...
autotools-dev (20180224.1) を展開しています...
以前に未選択のパッケージ automake を選択しています。
.../03-automake_1%3a1.15.1-3ubuntu2_all.deb を展開する準備をしています ...
automake (1:1.15.1-3ubuntu2) を展開しています...
以前に未選択のパッケージ autopoint を選択しています。
.../04-autopoint_0.19.8.1-6_all.deb を展開する準備をしています ...
autopoint (0.19.8.1-6) を展開しています...
以前に未選択のパッケージ libtool を選択しています。
.../05-libtool_2.4.6-2_all.deb を展開する準備をしています ...
libtool (2.4.6-2) を展開しています...
以前に未選択のパッケージ dh-autoreconf を選択しています。
.../06-dh-autoreconf_17_all.deb を展開する準備をしています ...
dh-autoreconf (17) を展開しています...
以前に未選択のパッケージ libfile-stripnondeterminism-perl を選択しています。
.../07-libfile-stripnondeterminism-perl_0.040-1.1~build1_all.deb を展開する準備をしています ...
libfile-stripnondeterminism-perl (0.040-1.1~build1) を展開しています...
以前に未選択のパッケージ dh-strip-nondeterminism を選択しています。
.../08-dh-strip-nondeterminism_0.040-1.1~build1_all.deb を展開する準備をしています ...
dh-strip-nondeterminism (0.040-1.1~build1) を展開しています...
以前に未選択のパッケージ po-debconf を選択しています。
.../09-po-debconf_1.0.20_all.deb を展開する準備をしています ...
po-debconf (1.0.20) を展開しています...
以前に未選択のパッケージ debhelper を選択しています。
.../10-debhelper_11.1.6ubuntu2_all.deb を展開する準備をしています ...
debhelper (11.1.6ubuntu2) を展開しています...
以前に未選択のパッケージ gir1.2-gtk-2.0 を選択しています。
.../11-gir1.2-gtk-2.0_2.24.32-1ubuntu1_i386.deb を展開する準備をしています ...
gir1.2-gtk-2.0 (2.24.32-1ubuntu1) を展開しています...
以前に未選択のパッケージ gir1.2-harfbuzz-0.0:i386 を選択しています。
.../12-gir1.2-harfbuzz-0.0_1.7.2-1ubuntu1_i386.deb を展開する準備をしています ...
gir1.2-harfbuzz-0.0:i386 (1.7.2-1ubuntu1) を展開しています...
以前に未選択のパッケージ icu-devtools を選択しています。
.../13-icu-devtools_60.2-3ubuntu3_i386.deb を展開する準備をしています ...
icu-devtools (60.2-3ubuntu3) を展開しています...
以前に未選択のパッケージ libarchive-cpio-perl を選択しています。
.../14-libarchive-cpio-perl_0.10-1_all.deb を展開する準備をしています ...
libarchive-cpio-perl (0.10-1) を展開しています...
以前に未選択のパッケージ python3-lib2to3 を選択しています。
.../15-python3-lib2to3_3.6.5-3_all.deb を展開する準備をしています ...
python3-lib2to3 (3.6.5-3) を展開しています...
以前に未選択のパッケージ python3-distutils を選択しています。
.../16-python3-distutils_3.6.5-3_all.deb を展開する準備をしています ...
python3-distutils (3.6.5-3) を展開しています...
以前に未選択のパッケージ libglib2.0-dev-bin を選択しています。
.../17-libglib2.0-dev-bin_2.56.1-2ubuntu1_i386.deb を展開する準備をしています ...
libglib2.0-dev-bin (2.56.1-2ubuntu1) を展開しています...
以前に未選択のパッケージ libpcre16-3:i386 を選択しています。
.../18-libpcre16-3_2%3a8.39-9_i386.deb を展開する準備をしています ...
libpcre16-3:i386 (2:8.39-9) を展開しています...
以前に未選択のパッケージ libpcre32-3:i386 を選択しています。
.../19-libpcre32-3_2%3a8.39-9_i386.deb を展開する準備をしています ...
libpcre32-3:i386 (2:8.39-9) を展開しています...
以前に未選択のパッケージ libpcrecpp0v5:i386 を選択しています。
.../20-libpcrecpp0v5_2%3a8.39-9_i386.deb を展開する準備をしています ...
libpcrecpp0v5:i386 (2:8.39-9) を展開しています...
以前に未選択のパッケージ libpcre3-dev:i386 を選択しています。
.../21-libpcre3-dev_2%3a8.39-9_i386.deb を展開する準備をしています ...
libpcre3-dev:i386 (2:8.39-9) を展開しています...
以前に未選択のパッケージ zlib1g-dev:i386 を選択しています。
.../22-zlib1g-dev_1%3a1.2.11.dfsg-0ubuntu2_i386.deb を展開する準備をしています ...
zlib1g-dev:i386 (1:1.2.11.dfsg-0ubuntu2) を展開しています...
以前に未選択のパッケージ libglib2.0-dev:i386 を選択しています。
.../23-libglib2.0-dev_2.56.1-2ubuntu1_i386.deb を展開する準備をしています ...
libglib2.0-dev:i386 (2.56.1-2ubuntu1) を展開しています...
以前に未選択のパッケージ libatk1.0-dev:i386 を選択しています。
.../24-libatk1.0-dev_2.28.1-1_i386.deb を展開する準備をしています ...
libatk1.0-dev:i386 (2.28.1-1) を展開しています...
以前に未選択のパッケージ libcairo-script-interpreter2:i386 を選択しています。
.../25-libcairo-script-interpreter2_1.15.10-2_i386.deb を展開する準備をしています ...
libcairo-script-interpreter2:i386 (1.15.10-2) を展開しています...
以前に未選択のパッケージ libexpat1-dev:i386 を選択しています。
.../26-libexpat1-dev_2.2.5-3_i386.deb を展開する準備をしています ...
libexpat1-dev:i386 (2.2.5-3) を展開しています...
以前に未選択のパッケージ libpng-dev:i386 を選択しています。
.../27-libpng-dev_1.6.34-1ubuntu0.18.04.1_i386.deb を展開する準備をしています ...
libpng-dev:i386 (1.6.34-1ubuntu0.18.04.1) を展開しています...
以前に未選択のパッケージ libfreetype6-dev:i386 を選択しています。
.../28-libfreetype6-dev_2.8.1-2ubuntu2_i386.deb を展開する準備をしています ...
libfreetype6-dev:i386 (2.8.1-2ubuntu2) を展開しています...
以前に未選択のパッケージ libfontconfig1-dev:i386 を選択しています。
.../29-libfontconfig1-dev_2.12.6-0ubuntu2_i386.deb を展開する準備をしています ...
libfontconfig1-dev:i386 (2.12.6-0ubuntu2) を展開しています...
以前に未選択のパッケージ xorg-sgml-doctools を選択しています。
.../30-xorg-sgml-doctools_1%3a1.11-1_all.deb を展開する準備をしています ...
xorg-sgml-doctools (1:1.11-1) を展開しています...
以前に未選択のパッケージ x11proto-dev を選択しています。
.../31-x11proto-dev_2018.4-4_all.deb を展開する準備をしています ...
x11proto-dev (2018.4-4) を展開しています...
以前に未選択のパッケージ x11proto-core-dev を選択しています。
.../32-x11proto-core-dev_2018.4-4_all.deb を展開する準備をしています ...
x11proto-core-dev (2018.4-4) を展開しています...
以前に未選択のパッケージ libxau-dev:i386 を選択しています。
.../33-libxau-dev_1%3a1.0.8-1_i386.deb を展開する準備をしています ...
libxau-dev:i386 (1:1.0.8-1) を展開しています...
以前に未選択のパッケージ libxdmcp-dev:i386 を選択しています。
.../34-libxdmcp-dev_1%3a1.1.2-3_i386.deb を展開する準備をしています ...
libxdmcp-dev:i386 (1:1.1.2-3) を展開しています...
以前に未選択のパッケージ x11proto-input-dev を選択しています。
.../35-x11proto-input-dev_2018.4-4_all.deb を展開する準備をしています ...
x11proto-input-dev (2018.4-4) を展開しています...
以前に未選択のパッケージ xtrans-dev を選択しています。
.../36-xtrans-dev_1.3.5-1_all.deb を展開する準備をしています ...
xtrans-dev (1.3.5-1) を展開しています...
以前に未選択のパッケージ libpthread-stubs0-dev:i386 を選択しています。
.../37-libpthread-stubs0-dev_0.3-4_i386.deb を展開する準備をしています ...
libpthread-stubs0-dev:i386 (0.3-4) を展開しています...
以前に未選択のパッケージ libxcb1-dev:i386 を選択しています。
.../38-libxcb1-dev_1.13-1_i386.deb を展開する準備をしています ...
libxcb1-dev:i386 (1.13-1) を展開しています...
以前に未選択のパッケージ libx11-dev:i386 を選択しています。
.../39-libx11-dev_2%3a1.6.4-3_i386.deb を展開する準備をしています ...
libx11-dev:i386 (2:1.6.4-3) を展開しています...
以前に未選択のパッケージ libxrender-dev:i386 を選択しています。
.../40-libxrender-dev_1%3a0.9.10-1_i386.deb を展開する準備をしています ...
libxrender-dev:i386 (1:0.9.10-1) を展開しています...
以前に未選択のパッケージ x11proto-xext-dev を選択しています。
.../41-x11proto-xext-dev_2018.4-4_all.deb を展開する準備をしています ...
x11proto-xext-dev (2018.4-4) を展開しています...
以前に未選択のパッケージ libxext-dev:i386 を選択しています。
.../42-libxext-dev_2%3a1.3.3-1_i386.deb を展開する準備をしています ...
libxext-dev:i386 (2:1.3.3-1) を展開しています...
以前に未選択のパッケージ libice-dev:i386 を選択しています。
.../43-libice-dev_2%3a1.0.9-2_i386.deb を展開する準備をしています ...
libice-dev:i386 (2:1.0.9-2) を展開しています...
以前に未選択のパッケージ libsm-dev:i386 を選択しています。
.../44-libsm-dev_2%3a1.2.2-1_i386.deb を展開する準備をしています ...
libsm-dev:i386 (2:1.2.2-1) を展開しています...
以前に未選択のパッケージ libpixman-1-dev:i386 を選択しています。
.../45-libpixman-1-dev_0.34.0-2_i386.deb を展開する準備をしています ...
libpixman-1-dev:i386 (0.34.0-2) を展開しています...
以前に未選択のパッケージ libxcb-render0-dev:i386 を選択しています。
.../46-libxcb-render0-dev_1.13-1_i386.deb を展開する準備をしています ...
libxcb-render0-dev:i386 (1.13-1) を展開しています...
以前に未選択のパッケージ libxcb-shm0-dev:i386 を選択しています。
.../47-libxcb-shm0-dev_1.13-1_i386.deb を展開する準備をしています ...
libxcb-shm0-dev:i386 (1.13-1) を展開しています...
以前に未選択のパッケージ libcairo2-dev:i386 を選択しています。
.../48-libcairo2-dev_1.15.10-2_i386.deb を展開する準備をしています ...
libcairo2-dev:i386 (1.15.10-2) を展開しています...
以前に未選択のパッケージ libgdk-pixbuf2.0-dev を選択しています。
.../49-libgdk-pixbuf2.0-dev_2.36.11-2_i386.deb を展開する準備をしています ...
libgdk-pixbuf2.0-dev (2.36.11-2) を展開しています...
以前に未選択のパッケージ libgraphite2-dev:i386 を選択しています。
.../50-libgraphite2-dev_1.3.11-2_i386.deb を展開する準備をしています ...
libgraphite2-dev:i386 (1.3.11-2) を展開しています...
以前に未選択のパッケージ libharfbuzz-gobject0:i386 を選択しています。
.../51-libharfbuzz-gobject0_1.7.2-1ubuntu1_i386.deb を展開する準備をしています ...
libharfbuzz-gobject0:i386 (1.7.2-1ubuntu1) を展開しています...
以前に未選択のパッケージ libicu-le-hb0:i386 を選択しています。
.../52-libicu-le-hb0_1.0.3+git161113-4_i386.deb を展開する準備をしています ...
libicu-le-hb0:i386 (1.0.3+git161113-4) を展開しています...
以前に未選択のパッケージ libiculx60:i386 を選択しています。
.../53-libiculx60_60.2-3ubuntu3_i386.deb を展開する準備をしています ...
libiculx60:i386 (60.2-3ubuntu3) を展開しています...
以前に未選択のパッケージ libicu-le-hb-dev:i386 を選択しています。
.../54-libicu-le-hb-dev_1.0.3+git161113-4_i386.deb を展開する準備をしています ...
libicu-le-hb-dev:i386 (1.0.3+git161113-4) を展開しています...
以前に未選択のパッケージ libicu-dev を選択しています。
.../55-libicu-dev_60.2-3ubuntu3_i386.deb を展開する準備をしています ...
libicu-dev (60.2-3ubuntu3) を展開しています...
以前に未選択のパッケージ libharfbuzz-dev:i386 を選択しています。
.../56-libharfbuzz-dev_1.7.2-1ubuntu1_i386.deb を展開する準備をしています ...
libharfbuzz-dev:i386 (1.7.2-1ubuntu1) を展開しています...
以前に未選択のパッケージ libxft-dev を選択しています。
.../57-libxft-dev_2.3.2-1_i386.deb を展開する準備をしています ...
libxft-dev (2.3.2-1) を展開しています...
以前に未選択のパッケージ libpango1.0-dev を選択しています。
.../58-libpango1.0-dev_1.40.14-1_i386.deb を展開する準備をしています ...
libpango1.0-dev (1.40.14-1) を展開しています...
以前に未選択のパッケージ x11proto-xinerama-dev を選択しています。
.../59-x11proto-xinerama-dev_2018.4-4_all.deb を展開する準備をしています ...
x11proto-xinerama-dev (2018.4-4) を展開しています...
以前に未選択のパッケージ libxinerama-dev:i386 を選択しています。
.../60-libxinerama-dev_2%3a1.1.3-1_i386.deb を展開する準備をしています ...
libxinerama-dev:i386 (2:1.1.3-1) を展開しています...
以前に未選択のパッケージ x11proto-fixes-dev を選択しています。
.../61-x11proto-fixes-dev_1%3a2018.4-4_all.deb を展開する準備をしています ...
x11proto-fixes-dev (1:2018.4-4) を展開しています...
以前に未選択のパッケージ libxfixes-dev:i386 を選択しています。
.../62-libxfixes-dev_1%3a5.0.3-1_i386.deb を展開する準備をしています ...
libxfixes-dev:i386 (1:5.0.3-1) を展開しています...
以前に未選択のパッケージ libxi-dev:i386 を選択しています。
.../63-libxi-dev_2%3a1.7.9-1_i386.deb を展開する準備をしています ...
libxi-dev:i386 (2:1.7.9-1) を展開しています...
以前に未選択のパッケージ x11proto-randr-dev を選択しています。
.../64-x11proto-randr-dev_2018.4-4_all.deb を展開する準備をしています ...
x11proto-randr-dev (2018.4-4) を展開しています...
以前に未選択のパッケージ libxrandr-dev:i386 を選択しています。
.../65-libxrandr-dev_2%3a1.5.1-1_i386.deb を展開する準備をしています ...
libxrandr-dev:i386 (2:1.5.1-1) を展開しています...
以前に未選択のパッケージ libxcursor-dev:i386 を選択しています。
.../66-libxcursor-dev_1%3a1.1.15-1_i386.deb を展開する準備をしています ...
libxcursor-dev:i386 (1:1.1.15-1) を展開しています...
以前に未選択のパッケージ x11proto-composite-dev を選択しています。
.../67-x11proto-composite-dev_1%3a2018.4-4_all.deb を展開する準備をしています ...
x11proto-composite-dev (1:2018.4-4) を展開しています...
以前に未選択のパッケージ libxcomposite-dev:i386 を選択しています。
.../68-libxcomposite-dev_1%3a0.4.4-2_i386.deb を展開する準備をしています ...
libxcomposite-dev:i386 (1:0.4.4-2) を展開しています...
以前に未選択のパッケージ x11proto-damage-dev を選択しています。
.../69-x11proto-damage-dev_1%3a2018.4-4_all.deb を展開する準備をしています ...
x11proto-damage-dev (1:2018.4-4) を展開しています...
以前に未選択のパッケージ libxdamage-dev:i386 を選択しています。
.../70-libxdamage-dev_1%3a1.1.4-3_i386.deb を展開する準備をしています ...
libxdamage-dev:i386 (1:1.1.4-3) を展開しています...
以前に未選択のパッケージ libxml2-utils を選択しています。
.../71-libxml2-utils_2.9.4+dfsg1-6.1ubuntu1_i386.deb を展開する準備をしています ...
libxml2-utils (2.9.4+dfsg1-6.1ubuntu1) を展開しています...
以前に未選択のパッケージ libgtk2.0-dev を選択しています。
.../72-libgtk2.0-dev_2.24.32-1ubuntu1_i386.deb を展開する準備をしています ...
libgtk2.0-dev (2.24.32-1ubuntu1) を展開しています...
以前に未選択のパッケージ libgtksourceview2.0-common を選択しています。
.../73-libgtksourceview2.0-common_2.10.5-3_all.deb を展開する準備をしています ...
libgtksourceview2.0-common (2.10.5-3) を展開しています...
以前に未選択のパッケージ libgtksourceview2.0-0:i386 を選択しています。
.../74-libgtksourceview2.0-0_2.10.5-3_i386.deb を展開する準備をしています ...
libgtksourceview2.0-0:i386 (2.10.5-3) を展開しています...
以前に未選択のパッケージ libxml2-dev:i386 を選択しています。
.../75-libxml2-dev_2.9.4+dfsg1-6.1ubuntu1_i386.deb を展開する準備をしています ...
libxml2-dev:i386 (2.9.4+dfsg1-6.1ubuntu1) を展開しています...
以前に未選択のパッケージ libgtksourceview2.0-dev:i386 を選択しています。
.../76-libgtksourceview2.0-dev_2.10.5-3_i386.deb を展開する準備をしています ...
libgtksourceview2.0-dev:i386 (2.10.5-3) を展開しています...
以前に未選択のパッケージ libltdl-dev:i386 を選択しています。
.../77-libltdl-dev_2.4.6-2_i386.deb を展開する準備をしています ...
libltdl-dev:i386 (2.4.6-2) を展開しています...
以前に未選択のパッケージ libsys-hostname-long-perl を選択しています。
.../78-libsys-hostname-long-perl_1.5-1_all.deb を展開する準備をしています ...
libsys-hostname-long-perl (1.5-1) を展開しています...
以前に未選択のパッケージ libmail-sendmail-perl を選択しています。
.../79-libmail-sendmail-perl_0.80-1_all.deb を展開する準備をしています ...
libmail-sendmail-perl (0.80-1) を展開しています...
以前に未選択のパッケージ libpng-tools を選択しています。
.../80-libpng-tools_1.6.34-1ubuntu0.18.04.1_i386.deb を展開する準備をしています ...
libpng-tools (1.6.34-1ubuntu0.18.04.1) を展開しています...
以前に未選択のパッケージ libx11-doc を選択しています。
.../81-libx11-doc_2%3a1.6.4-3_all.deb を展開する準備をしています ...
libx11-doc (2:1.6.4-3) を展開しています...
gir1.2-gtk-2.0 (2.24.32-1ubuntu1) を設定しています ...
libltdl-dev:i386 (2.4.6-2) を設定しています ...
po-debconf (1.0.20) を設定しています ...
libpng16-16:i386 (1.6.34-1ubuntu0.18.04.1) を設定しています ...
libcairo-script-interpreter2:i386 (1.15.10-2) を設定しています ...
libpthread-stubs0-dev:i386 (0.3-4) を設定しています ...
install-info (6.5.0.dfsg.1-2) のトリガを処理しています ...
libpng-tools (1.6.34-1ubuntu0.18.04.1) を設定しています ...
libglib2.0-0:i386 (2.56.1-2ubuntu1) のトリガを処理しています ...
xorg-sgml-doctools (1:1.11-1) を設定しています ...
libicu-le-hb0:i386 (1.0.3+git161113-4) を設定しています ...
libxml2-utils (2.9.4+dfsg1-6.1ubuntu1) を設定しています ...
libarchive-cpio-perl (0.10-1) を設定しています ...
autoconf (2.69-11) を設定しています ...
x11proto-dev (2018.4-4) を設定しています ...
libsys-hostname-long-perl (1.5-1) を設定しています ...
x11proto-damage-dev (1:2018.4-4) を設定しています ...
xtrans-dev (1.3.5-1) を設定しています ...
x11proto-xext-dev (2018.4-4) を設定しています ...
libxdmcp-dev:i386 (1:1.1.2-3) を設定しています ...
libmail-sendmail-perl (0.80-1) を設定しています ...
libgtksourceview2.0-common (2.10.5-3) を設定しています ...
libc-bin (2.27-3ubuntu1) のトリガを処理しています ...
gir1.2-harfbuzz-0.0:i386 (1.7.2-1ubuntu1) を設定しています ...
x11proto-xinerama-dev (2018.4-4) を設定しています ...
autotools-dev (20180224.1) を設定しています ...
libice-dev:i386 (2:1.0.9-2) を設定しています ...
libpixman-1-dev:i386 (0.34.0-2) を設定しています ...
x11proto-randr-dev (2018.4-4) を設定しています ...
automake (1:1.15.1-3ubuntu2) を設定しています ...
update-alternatives: /usr/bin/automake (automake) を提供するために自動モードで /usr/bin/automake-1.15 を使います
libiculx60:i386 (60.2-3ubuntu3) を設定しています ...
libexpat1-dev:i386 (2.2.5-3) を設定しています ...
libx11-doc (2:1.6.4-3) を設定しています ...
man-db (2.8.3-2) のトリガを処理しています ...
libpcrecpp0v5:i386 (2:8.39-9) を設定しています ...
libpcre32-3:i386 (2:8.39-9) を設定しています ...
icu-devtools (60.2-3ubuntu3) を設定しています ...
libpcre16-3:i386 (2:8.39-9) を設定しています ...
python3-lib2to3 (3.6.5-3) を設定しています ...
libgraphite2-dev:i386 (1.3.11-2) を設定しています ...
x11proto-input-dev (2018.4-4) を設定しています ...
libharfbuzz-gobject0:i386 (1.7.2-1ubuntu1) を設定しています ...
x11proto-composite-dev (1:2018.4-4) を設定しています ...
python3-distutils (3.6.5-3) を設定しています ...
autopoint (0.19.8.1-6) を設定しています ...
zlib1g-dev:i386 (1:1.2.11.dfsg-0ubuntu2) を設定しています ...
libfile-stripnondeterminism-perl (0.040-1.1~build1) を設定しています ...
libtool (2.4.6-2) を設定しています ...
libsm-dev:i386 (2:1.2.2-1) を設定しています ...
libpcre3-dev:i386 (2:8.39-9) を設定しています ...
x11proto-core-dev (2018.4-4) を設定しています ...
libglib2.0-dev-bin (2.56.1-2ubuntu1) を設定しています ...
x11proto-fixes-dev (1:2018.4-4) を設定しています ...
libgtksourceview2.0-0:i386 (2.10.5-3) を設定しています ...
libxau-dev:i386 (1:1.0.8-1) を設定しています ...
libglib2.0-dev:i386 (2.56.1-2ubuntu1) を設定しています ...
libxcb1-dev:i386 (1.13-1) を設定しています ...
libx11-dev:i386 (2:1.6.4-3) を設定しています ...
libpng-dev:i386 (1.6.34-1ubuntu0.18.04.1) を設定しています ...
libxfixes-dev:i386 (1:5.0.3-1) を設定しています ...
libxcb-shm0-dev:i386 (1.13-1) を設定しています ...
libxdamage-dev:i386 (1:1.1.4-3) を設定しています ...
libatk1.0-dev:i386 (2.28.1-1) を設定しています ...
libxrender-dev:i386 (1:0.9.10-1) を設定しています ...
libxcb-render0-dev:i386 (1.13-1) を設定しています ...
libgdk-pixbuf2.0-dev (2.36.11-2) を設定しています ...
libfreetype6-dev:i386 (2.8.1-2ubuntu2) を設定しています ...
libxext-dev:i386 (2:1.3.3-1) を設定しています ...
libxinerama-dev:i386 (2:1.1.3-1) を設定しています ...
libxi-dev:i386 (2:1.7.9-1) を設定しています ...
libfontconfig1-dev:i386 (2.12.6-0ubuntu2) を設定しています ...
libxcursor-dev:i386 (1:1.1.15-1) を設定しています ...
libxrandr-dev:i386 (2:1.5.1-1) を設定しています ...
libcairo2-dev:i386 (1.15.10-2) を設定しています ...
libxcomposite-dev:i386 (1:0.4.4-2) を設定しています ...
libxft-dev (2.3.2-1) を設定しています ...
dh-autoreconf (17) を設定しています ...
libicu-le-hb-dev:i386 (1.0.3+git161113-4) を設定しています ...
libicu-dev (60.2-3ubuntu3) を設定しています ...
libxml2-dev:i386 (2.9.4+dfsg1-6.1ubuntu1) を設定しています ...
libharfbuzz-dev:i386 (1.7.2-1ubuntu1) を設定しています ...
debhelper (11.1.6ubuntu2) を設定しています ...
dh-strip-nondeterminism (0.040-1.1~build1) を設定しています ...
libpango1.0-dev (1.40.14-1) を設定しています ...
libgtk2.0-dev (2.24.32-1ubuntu1) を設定しています ...
libgtksourceview2.0-dev:i386 (2.10.5-3) を設定しています ...
libc-bin (2.27-3ubuntu1) のトリガを処理しています ...
[master 56e2cf5] committing changes in /etc after apt run
6 files changed, 22 insertions(+)
create mode 120000 alternatives/aclocal
create mode 120000 alternatives/aclocal.1.gz
create mode 120000 alternatives/automake
create mode 120000 alternatives/automake.1.gz
create mode 100644 emacs/site-start.d/50autoconf.el
# OS packages installation successful
The following actions will be performed:
∗ install conf-gtksourceview 2 [required by coqide]
∗ install lablgtk 2.18.5 [required by coqide]
∗ install coqide 8.8.1
===== ∗ 3 =====
Do you want to continue ? [Y/n] Y
=-=- Gathering sources =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
[coqide] Archive in cache
[lablgtk] Archive in cache
=-=- Processing actions -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
∗ installed conf-gtksourceview.2
∗ installed lablgtk.2.18.5
∗ installed coqide.8.8.1
Done.
環境