aac-tactics →
0.3.pl1-1 →
armhf → 2013-06-06 08:45:59
sbuild (Debian sbuild) 0.63.2 (18 Aug 2012) on debian-armhf
╔══════════════════════════════════════════════════════════════════════════════╗
║ aac-tactics 0.3.pl1-1 (armhf) 06 Jun 2013 08:26 ║
╚══════════════════════════════════════════════════════════════════════════════╝
Package: aac-tactics
Version: 0.3.pl1-1
Source Version: 0.3.pl1-1
Distribution: jessie-staging
Machine Architecture: armhf
Host Architecture: armhf
Build Architecture: armhf
I: NOTICE: Log filtering will replace 'build/aac-tactics-VpVnYw/aac-tactics-0.3.pl1' with '«PKGBUILDDIR»'
I: NOTICE: Log filtering will replace 'build/aac-tactics-VpVnYw' with '«BUILDDIR»'
I: NOTICE: Log filtering will replace 'var/lib/schroot/mount/jessie-staging-armhf-sbuild-5b2db526-9b5d-46bf-8fcc-c6d47231e758' with '«CHROOT»'
┌──────────────────────────────────────────────────────────────────────────────┐
│ Update chroot │
└──────────────────────────────────────────────────────────────────────────────┘
Get:1 http://172.17.0.1 jessie-staging Release.gpg [490 B]
Get:2 http://172.17.0.1 jessie-staging Release [10.8 kB]
Get:3 http://172.17.0.1 jessie-staging/main Sources [6613 kB]
Get:4 http://172.17.0.1 jessie-staging/main armhf Packages [7614 kB]
Ign http://172.17.0.1 jessie-staging/main Translation-en
Fetched 14.2 MB in 37s (378 kB/s)
Reading package lists...
┌──────────────────────────────────────────────────────────────────────────────┐
│ Fetch source files │
└──────────────────────────────────────────────────────────────────────────────┘
Check APT
─────────
Checking available source versions...
Download source files with APT
──────────────────────────────
Reading package lists...
Building dependency tree...
Reading state information...
NOTICE: 'aac-tactics' packaging is maintained in the 'Git' version control system at:
git://git.debian.org/git/pkg-ocaml-maint/packages/aac-tactics.git
Need to get 79.4 kB of source archives.
Get:1 http://172.17.0.1/private/ jessie-staging/main aac-tactics 0.3.pl1-1 (dsc) [2225 B]
Get:2 http://172.17.0.1/private/ jessie-staging/main aac-tactics 0.3.pl1-1 (tar) [74.2 kB]
Get:3 http://172.17.0.1/private/ jessie-staging/main aac-tactics 0.3.pl1-1 (diff) [3034 B]
Fetched 79.4 kB in 0s (102 kB/s)
Download complete and in download only mode
Check arch
──────────
Merged Build-Depends: build-essential, fakeroot
Filtered Build-Depends: build-essential, fakeroot
dpkg-deb: building package `sbuild-build-depends-core-dummy' in `/«BUILDDIR»/resolver-QXZeuo/apt_archive/sbuild-build-depends-core-dummy.deb'.
OK
Reading package lists...
┌──────────────────────────────────────────────────────────────────────────────┐
│ Install core build dependencies (apt-based resolver) │
└──────────────────────────────────────────────────────────────────────────────┘
Installing build dependencies
Reading package lists...
Building dependency tree...
Reading state information...
The following NEW packages will be installed:
sbuild-build-depends-core-dummy
debconf: delaying package configuration, since apt-utils is not installed
0 upgraded, 1 newly installed, 0 to remove and 52 not upgraded.
Need to get 0 B/704 B of archives.
After this operation, 0 B of additional disk space will be used.
Selecting previously unselected package sbuild-build-depends-core-dummy.
(Reading database ... 11288 files and directories currently installed.)
Unpacking sbuild-build-depends-core-dummy (from .../sbuild-build-depends-core-dummy.deb) ...
Setting up sbuild-build-depends-core-dummy (0.invalid.0) ...
Merged Build-Depends: libc6-dev | libc-dev, gcc (>= 4:4.4.3), g++ (>= 4:4.4.3), make, dpkg-dev (>= 1.13.5), debhelper (>= 8), dh-ocaml (>= 0.9~), ocaml-nox (>= 3.11.1-3~), coq (>= 8.4dfsg-2~), libcoq-ocaml-dev
Filtered Build-Depends: libc6-dev, gcc (>= 4:4.4.3), g++ (>= 4:4.4.3), make, dpkg-dev (>= 1.13.5), debhelper (>= 8), dh-ocaml (>= 0.9~), ocaml-nox (>= 3.11.1-3~), coq (>= 8.4dfsg-2~), libcoq-ocaml-dev
dpkg-deb: building package `sbuild-build-depends-aac-tactics-dummy' in `/«BUILDDIR»/resolver-SHCIvg/apt_archive/sbuild-build-depends-aac-tactics-dummy.deb'.
OK
Reading package lists...
┌──────────────────────────────────────────────────────────────────────────────┐
│ Install aac-tactics build dependencies (apt-based resolver) │
└──────────────────────────────────────────────────────────────────────────────┘
Installing build dependencies
Reading package lists...
Building dependency tree...
Reading state information...
The following extra packages will be installed:
aspell aspell-en bsdmainutils camlp5 coq coq-theories debhelper dh-ocaml
dictionaries-common emacsen-common file fontconfig fontconfig-config
fonts-dejavu-core gettext gettext-base gir1.2-atk-1.0 gir1.2-freedesktop
gir1.2-gdkpixbuf-2.0 gir1.2-glib-2.0 gir1.2-pango-1.0 groff-base html2text
intltool-debian libaspell15 libasprintf-dev libasprintf0c2 libatk1.0-0
libatk1.0-data libatk1.0-dev libavahi-client3 libavahi-common-data
libavahi-common3 libcairo-gobject2 libcairo-script-interpreter2 libcairo2
libcairo2-dev libcoq-ocaml libcoq-ocaml-dev libcroco3 libcups2 libdatrie1
libelfg0 libenchant-dev libenchant1c2a libexpat1 libexpat1-dev libffi6
libfontconfig1 libfontconfig1-dev libfreetype6 libfreetype6-dev libgcrypt11
libgdk-pixbuf2.0-0 libgdk-pixbuf2.0-common libgdk-pixbuf2.0-dev
libgettextpo-dev libgettextpo0 libgirepository-1.0-1 libglade2-0
libglade2-dev libglib2.0-0 libglib2.0-bin libglib2.0-data libglib2.0-dev
libgnutls26 libgpg-error0 libgssapi-krb5-2 libgtk2.0-0 libgtk2.0-common
libgtk2.0-dev libgtkspell-dev libgtkspell0 libhunspell-1.3-0 libice-dev
libice6 libjasper1 libjbig0 libjpeg8 libk5crypto3 libkeyutils1 libkrb5-3
libkrb5support0 liblablgtk2-ocaml liblablgtk2-ocaml-dev liblzo2-2 libmagic1
libncurses5 libncurses5-dev libncursesw5 libp11-kit0 libpango1.0-0
libpango1.0-dev libpcre3 libpcre3-dev libpcrecpp0 libpipeline1 libpixman-1-0
libpixman-1-dev libpng12-0 libpng12-dev libpopt0 libpthread-stubs0
libpthread-stubs0-dev libpython2.7-minimal libpython2.7-stdlib libsm-dev
libsm6 libsqlite3-0 libssl1.0.0 libtasn1-3 libthai-data libthai0 libtiff4
libtinfo-dev libtinfo5 libunistring0 libx11-6 libx11-data libx11-dev
libxau-dev libxau6 libxcb-render0 libxcb-render0-dev libxcb-shm0
libxcb-shm0-dev libxcb1 libxcb1-dev libxcomposite-dev libxcomposite1
libxcursor-dev libxcursor1 libxdamage-dev libxdamage1 libxdmcp-dev libxdmcp6
libxext-dev libxext6 libxfixes-dev libxfixes3 libxft-dev libxft2 libxi-dev
libxi6 libxinerama-dev libxinerama1 libxml2 libxml2-dev libxml2-utils
libxrandr-dev libxrandr2 libxrender-dev libxrender1 man-db mime-support
ncurses-bin ocaml-base-nox ocaml-compiler-libs ocaml-interp ocaml-nox
pkg-config po-debconf python python-minimal python2.7 python2.7-minimal
shared-mime-info ttf-dejavu-core ucf x11-common x11proto-composite-dev
x11proto-core-dev x11proto-damage-dev x11proto-fixes-dev x11proto-input-dev
x11proto-kb-dev x11proto-randr-dev x11proto-render-dev x11proto-xext-dev
x11proto-xinerama-dev xorg-sgml-doctools xtrans-dev zlib1g zlib1g-dev
Suggested packages:
aspell-doc spellutils wamerican wordlist whois vacation ocaml-findlib
proofgeneral ledit readline-editor why coq-doc dh-make git ispell jed-extra
gettext-doc groff libcairo2-doc cups-common libenchant-voikko rng-tools
glade glade-gnome libglib2.0-doc krb5-doc krb5-user librsvg2-common gvfs
libgtk2.0-doc libice-doc libjasper-runtime liblablgtk2-gl-ocaml-dev
liblablgtk2-gnome-ocaml-dev ncurses-doc ttf-baekmuk ttf-arphic-gbsn00lp
ttf-arphic-bsmi00lp ttf-arphic-gkai00mp ttf-arphic-bkai00mp libpango1.0-doc
imagemagick libsm-doc libxcb-doc libxext-doc less www-browser libgdbm-dev
tuareg-mode ocaml-mode libmail-box-perl python-doc python-tk python2.7-doc
binfmt-support
Recommended packages:
curl wget lynx-cur autopoint enchant hicolor-icon-theme libgtk2.0-bin
hunspell-en-us hunspell-dictionary myspell-dictionary krb5-locales
liblablgtk2-ocaml-doc libgpm2 libx11-doc xml-core camlp4
libmail-sendmail-perl
The following NEW packages will be installed:
aspell aspell-en bsdmainutils camlp5 coq coq-theories debhelper dh-ocaml
dictionaries-common emacsen-common file fontconfig fontconfig-config
fonts-dejavu-core gettext gettext-base gir1.2-atk-1.0 gir1.2-freedesktop
gir1.2-gdkpixbuf-2.0 gir1.2-glib-2.0 gir1.2-pango-1.0 groff-base html2text
intltool-debian libaspell15 libasprintf-dev libasprintf0c2 libatk1.0-0
libatk1.0-data libatk1.0-dev libavahi-client3 libavahi-common-data
libavahi-common3 libcairo-gobject2 libcairo-script-interpreter2 libcairo2
libcairo2-dev libcoq-ocaml libcoq-ocaml-dev libcroco3 libcups2 libdatrie1
libelfg0 libenchant-dev libenchant1c2a libexpat1 libexpat1-dev libffi6
libfontconfig1 libfontconfig1-dev libfreetype6 libfreetype6-dev libgcrypt11
libgdk-pixbuf2.0-0 libgdk-pixbuf2.0-common libgdk-pixbuf2.0-dev
libgettextpo-dev libgettextpo0 libgirepository-1.0-1 libglade2-0
libglade2-dev libglib2.0-0 libglib2.0-bin libglib2.0-data libglib2.0-dev
libgnutls26 libgpg-error0 libgssapi-krb5-2 libgtk2.0-0 libgtk2.0-common
libgtk2.0-dev libgtkspell-dev libgtkspell0 libhunspell-1.3-0 libice-dev
libice6 libjasper1 libjbig0 libjpeg8 libk5crypto3 libkeyutils1 libkrb5-3
libkrb5support0 liblablgtk2-ocaml liblablgtk2-ocaml-dev liblzo2-2 libmagic1
libncurses5-dev libp11-kit0 libpango1.0-0 libpango1.0-dev libpcre3
libpcre3-dev libpcrecpp0 libpipeline1 libpixman-1-0 libpixman-1-dev
libpng12-0 libpng12-dev libpopt0 libpthread-stubs0 libpthread-stubs0-dev
libpython2.7-minimal libpython2.7-stdlib libsm-dev libsm6 libsqlite3-0
libssl1.0.0 libtasn1-3 libthai-data libthai0 libtiff4 libtinfo-dev
libunistring0 libx11-6 libx11-data libx11-dev libxau-dev libxau6
libxcb-render0 libxcb-render0-dev libxcb-shm0 libxcb-shm0-dev libxcb1
libxcb1-dev libxcomposite-dev libxcomposite1 libxcursor-dev libxcursor1
libxdamage-dev libxdamage1 libxdmcp-dev libxdmcp6 libxext-dev libxext6
libxfixes-dev libxfixes3 libxft-dev libxft2 libxi-dev libxi6 libxinerama-dev
libxinerama1 libxml2 libxml2-dev libxml2-utils libxrandr-dev libxrandr2
libxrender-dev libxrender1 man-db mime-support ocaml-base-nox
ocaml-compiler-libs ocaml-interp ocaml-nox pkg-config po-debconf python
python-minimal python2.7 python2.7-minimal
sbuild-build-depends-aac-tactics-dummy shared-mime-info ttf-dejavu-core ucf
x11-common x11proto-composite-dev x11proto-core-dev x11proto-damage-dev
x11proto-fixes-dev x11proto-input-dev x11proto-kb-dev x11proto-randr-dev
x11proto-render-dev x11proto-xext-dev x11proto-xinerama-dev
xorg-sgml-doctools xtrans-dev zlib1g-dev
The following packages will be upgraded:
libncurses5 libncursesw5 libtinfo5 ncurses-bin zlib1g
5 upgraded, 180 newly installed, 0 to remove and 47 not upgraded.
Need to get 127 MB/127 MB of archives.
After this operation, 375 MB of additional disk space will be used.
Get:1 http://172.17.0.1/private/ jessie-staging/main libncursesw5 armhf 5.9+20130504-1 [122 kB]
Get:2 http://172.17.0.1/private/ jessie-staging/main libtinfo5 armhf 5.9+20130504-1 [284 kB]
Get:3 http://172.17.0.1/private/ jessie-staging/main libncurses5 armhf 5.9+20130504-1 [95.6 kB]
Get:4 http://172.17.0.1/private/ jessie-staging/main ncurses-bin armhf 5.9+20130504-1 [357 kB]
Get:5 http://172.17.0.1/private/ jessie-staging/main zlib1g armhf 1:1.2.8.dfsg-1 [88.8 kB]
Get:6 http://172.17.0.1/private/ jessie-staging/main libpcre3 armhf 1:8.31-2 [248 kB]
Get:7 http://172.17.0.1/private/ jessie-staging/main libpipeline1 armhf 1.2.3-1 [35.8 kB]
Get:8 http://172.17.0.1/private/ jessie-staging/main libpopt0 armhf 1.16-7 [56.5 kB]
Get:9 http://172.17.0.1/private/ jessie-staging/main libssl1.0.0 armhf 1.0.1e-2+rpi1 [1049 kB]
Get:10 http://172.17.0.1/private/ jessie-staging/main groff-base armhf 1.22.2-2 [666 kB]
Get:11 http://172.17.0.1/private/ jessie-staging/main bsdmainutils armhf 9.0.5 [206 kB]
Get:12 http://172.17.0.1/private/ jessie-staging/main man-db armhf 2.6.3-6 [867 kB]
Get:13 http://172.17.0.1/private/ jessie-staging/main libasprintf0c2 armhf 0.18.1.1-10 [26.8 kB]
Get:14 http://172.17.0.1/private/ jessie-staging/main libgpg-error0 armhf 1.10-3.1 [78.5 kB]
Get:15 http://172.17.0.1/private/ jessie-staging/main libgcrypt11 armhf 1.5.0-5 [299 kB]
Get:16 http://172.17.0.1/private/ jessie-staging/main libp11-kit0 armhf 0.12-3 [48.2 kB]
Get:17 http://172.17.0.1/private/ jessie-staging/main libtasn1-3 armhf 2.13-2 [63.3 kB]
Get:18 http://172.17.0.1/private/ jessie-staging/main libgnutls26 armhf 2.12.20-6 [601 kB]
Get:19 http://172.17.0.1/private/ jessie-staging/main libkeyutils1 armhf 1.5.5-7 [8024 B]
Get:20 http://172.17.0.1/private/ jessie-staging/main libkrb5support0 armhf 1.10.1+dfsg-5 [46.2 kB]
Get:21 http://172.17.0.1/private/ jessie-staging/main libk5crypto3 armhf 1.10.1+dfsg-5 [112 kB]
Get:22 http://172.17.0.1/private/ jessie-staging/main libkrb5-3 armhf 1.10.1+dfsg-5 [342 kB]
Get:23 http://172.17.0.1/private/ jessie-staging/main libgssapi-krb5-2 armhf 1.10.1+dfsg-5 [131 kB]
Get:24 http://172.17.0.1/private/ jessie-staging/main libmagic1 armhf 1:5.14-2 [213 kB]
Get:25 http://172.17.0.1/private/ jessie-staging/main libsqlite3-0 armhf 3.7.16.2-1 [429 kB]
Get:26 http://172.17.0.1/private/ jessie-staging/main libxml2 armhf 2.8.0+dfsg1-7+nmu1 [822 kB]
Get:27 http://172.17.0.1/private/ jessie-staging/main libpython2.7-minimal armhf 2.7.5-4 [520 kB]
Get:28 http://172.17.0.1/private/ jessie-staging/main python2.7-minimal armhf 2.7.5-4 [1195 kB]
Get:29 http://172.17.0.1/private/ jessie-staging/main libffi6 armhf 3.0.13-4 [19.8 kB]
Get:30 http://172.17.0.1/private/ jessie-staging/main libglib2.0-0 armhf 2.36.1-2build1 [1895 kB]
Get:31 http://172.17.0.1/private/ jessie-staging/main libatk1.0-data all 2.8.0-2 [169 kB]
Get:32 http://172.17.0.1/private/ jessie-staging/main libatk1.0-0 armhf 2.8.0-2 [78.1 kB]
Get:33 http://172.17.0.1/private/ jessie-staging/main libavahi-common-data armhf 0.6.31-2 [137 kB]
Get:34 http://172.17.0.1/private/ jessie-staging/main libavahi-common3 armhf 0.6.31-2 [52.6 kB]
Get:35 http://172.17.0.1/private/ jessie-staging/main libavahi-client3 armhf 0.6.31-2 [55.4 kB]
Get:36 http://172.17.0.1/private/ jessie-staging/main libexpat1 armhf 2.1.0-3 [117 kB]
Get:37 http://172.17.0.1/private/ jessie-staging/main libfreetype6 armhf 2.4.9-1.1 [401 kB]
Get:38 http://172.17.0.1/private/ jessie-staging/main ucf all 3.0027 [71.4 kB]
Get:39 http://172.17.0.1/private/ jessie-staging/main fonts-dejavu-core all 2.33+svn2514-3 [1042 kB]
Get:40 http://172.17.0.1/private/ jessie-staging/main ttf-dejavu-core all 2.33+svn2514-3 [29.8 kB]
Get:41 http://172.17.0.1/private/ jessie-staging/main fontconfig-config all 2.9.0-7.1 [233 kB]
Get:42 http://172.17.0.1/private/ jessie-staging/main libfontconfig1 armhf 2.9.0-7.1 [285 kB]
Get:43 http://172.17.0.1/private/ jessie-staging/main libpixman-1-0 armhf 0.26.0-4 [413 kB]
Get:44 http://172.17.0.1/private/ jessie-staging/main libpng12-0 armhf 1.2.49-4 [179 kB]
Get:45 http://172.17.0.1/private/ jessie-staging/main libxau6 armhf 1:1.0.7-1 [17.6 kB]
Get:46 http://172.17.0.1/private/ jessie-staging/main libxdmcp6 armhf 1:1.1.1-1 [24.6 kB]
Get:47 http://172.17.0.1/private/ jessie-staging/main libxcb1 armhf 1.8.1-2 [42.7 kB]
Get:48 http://172.17.0.1/private/ jessie-staging/main libx11-data all 2:1.5.0-1+deb7u1 [189 kB]
Get:49 http://172.17.0.1/private/ jessie-staging/main libx11-6 armhf 2:1.5.0-1 [836 kB]
Get:50 http://172.17.0.1/private/ jessie-staging/main libxcb-render0 armhf 1.8.1-2 [16.3 kB]
Get:51 http://172.17.0.1/private/ jessie-staging/main libxcb-shm0 armhf 1.8.1-2 [9968 B]
Get:52 http://172.17.0.1/private/ jessie-staging/main libxext6 armhf 2:1.3.1-2 [49.7 kB]
Get:53 http://172.17.0.1/private/ jessie-staging/main libxrender1 armhf 1:0.9.7-1 [29.9 kB]
Get:54 http://172.17.0.1/private/ jessie-staging/main libcairo2 armhf 1.12.14-4 [936 kB]
Get:55 http://172.17.0.1/private/ jessie-staging/main libcairo-gobject2 armhf 1.12.14-4 [506 kB]
Get:56 http://172.17.0.1/private/ jessie-staging/main liblzo2-2 armhf 2.06-1 [56.0 kB]
Get:57 http://172.17.0.1/private/ jessie-staging/main libcairo-script-interpreter2 armhf 1.12.14-4 [542 kB]
Get:58 http://172.17.0.1/private/ jessie-staging/main libcroco3 armhf 0.6.6-2 [119 kB]
Get:59 http://172.17.0.1/private/ jessie-staging/main libcups2 armhf 1.5.3-5 [237 kB]
Get:60 http://172.17.0.1/private/ jessie-staging/main libdatrie1 armhf 0.2.6-2 [27.0 kB]
Get:61 http://172.17.0.1/private/ jessie-staging/main libjpeg8 armhf 8d-1 [132 kB]
Get:62 http://172.17.0.1/private/ jessie-staging/main libjasper1 armhf 1.900.1-14 [141 kB]
Get:63 http://172.17.0.1/private/ jessie-staging/main libjbig0 armhf 2.0-2 [31.5 kB]
Get:64 http://172.17.0.1/private/ jessie-staging/main libtiff4 armhf 3.9.6-11 [188 kB]
Get:65 http://172.17.0.1/private/ jessie-staging/main libgdk-pixbuf2.0-common all 2.28.1-1 [291 kB]
Get:66 http://172.17.0.1/private/ jessie-staging/main libgdk-pixbuf2.0-0 armhf 2.28.1-1 [141 kB]
Get:67 http://172.17.0.1/private/ jessie-staging/main libunistring0 armhf 0.9.3-5 [408 kB]
Get:68 http://172.17.0.1/private/ jessie-staging/main libgettextpo0 armhf 0.18.1.1-10 [131 kB]
Get:69 http://172.17.0.1/private/ jessie-staging/main libelfg0 armhf 0.8.13-3 [56.5 kB]
Get:70 http://172.17.0.1/private/ jessie-staging/main libglib2.0-data all 2.36.1-2build1 [1835 kB]
Get:71 http://172.17.0.1/private/ jessie-staging/main libglib2.0-bin armhf 2.36.1-2build1 [1050 kB]
Get:72 http://172.17.0.1/private/ jessie-staging/main libgtk2.0-common all 2.24.18-1 [3126 kB]
Get:73 http://172.17.0.1/private/ jessie-staging/main libthai-data all 0.1.19-2 [156 kB]
Get:74 http://172.17.0.1/private/ jessie-staging/main libthai0 armhf 0.1.19-2 [40.5 kB]
Get:75 http://172.17.0.1/private/ jessie-staging/main libxft2 armhf 2.3.1-1 [55.4 kB]
Get:76 http://172.17.0.1/private/ jessie-staging/main fontconfig armhf 2.9.0-7.1 [348 kB]
Get:77 http://172.17.0.1/private/ jessie-staging/main libpango1.0-0 armhf 1.30.0-1 [417 kB]
Get:78 http://172.17.0.1/private/ jessie-staging/main libxcomposite1 armhf 1:0.4.3-2 [16.2 kB]
Get:79 http://172.17.0.1/private/ jessie-staging/main libxfixes3 armhf 1:5.0-4 [19.8 kB]
Get:80 http://172.17.0.1/private/ jessie-staging/main libxcursor1 armhf 1:1.1.13-1 [23.7 kB]
Get:81 http://172.17.0.1/private/ jessie-staging/main libxdamage1 armhf 1:1.1.3-2 [13.8 kB]
Get:82 http://172.17.0.1/private/ jessie-staging/main libxi6 armhf 2:1.6.1-1 [70.2 kB]
Get:83 http://172.17.0.1/private/ jessie-staging/main libxinerama1 armhf 2:1.1.2-1 [16.1 kB]
Get:84 http://172.17.0.1/private/ jessie-staging/main libxrandr2 armhf 2:1.3.2-2 [31.1 kB]
Get:85 http://172.17.0.1/private/ jessie-staging/main shared-mime-info armhf 1.0-1 [1065 kB]
Get:86 http://172.17.0.1/private/ jessie-staging/main libgtk2.0-0 armhf 2.24.10-2 [1893 kB]
Get:87 http://172.17.0.1/private/ jessie-staging/main libhunspell-1.3-0 armhf 1.3.2-4 [163 kB]
Get:88 http://172.17.0.1/private/ jessie-staging/main x11-common all 1:7.7+3 [284 kB]
Get:89 http://172.17.0.1/private/ jessie-staging/main libice6 armhf 2:1.0.8-2 [56.2 kB]
Get:90 http://172.17.0.1/private/ jessie-staging/main libpcrecpp0 armhf 1:8.31-2 [125 kB]
Get:91 http://172.17.0.1/private/ jessie-staging/main libsm6 armhf 2:1.2.1-2 [32.5 kB]
Get:92 http://172.17.0.1/private/ jessie-staging/main file armhf 1:5.14-2 [53.8 kB]
Get:93 http://172.17.0.1/private/ jessie-staging/main gettext-base armhf 0.18.1.1-10 [130 kB]
Get:94 http://172.17.0.1/private/ jessie-staging/main mime-support all 3.54 [36.4 kB]
Get:95 http://172.17.0.1/private/ jessie-staging/main libpython2.7-stdlib armhf 2.7.5-4 [2411 kB]
Get:96 http://172.17.0.1/private/ jessie-staging/main python2.7 armhf 2.7.5-4 [228 kB]
Get:97 http://172.17.0.1/private/ jessie-staging/main python-minimal all 2.7.3-5 [41.8 kB]
Get:98 http://172.17.0.1/private/ jessie-staging/main python all 2.7.3-5 [184 kB]
Get:99 http://172.17.0.1/private/ jessie-staging/main libaspell15 armhf 0.60.7~20110707-1 [623 kB]
Get:100 http://172.17.0.1/private/ jessie-staging/main dictionaries-common all 1.12.11 [302 kB]
Get:101 http://172.17.0.1/private/ jessie-staging/main aspell armhf 0.60.7~20110707-1 [360 kB]
Get:102 http://172.17.0.1/private/ jessie-staging/main aspell-en all 7.1-0-1 [268 kB]
Get:103 http://172.17.0.1/private/ jessie-staging/main coq-theories all 8.4pl2dfsg-1 [58.9 MB]
Get:104 http://172.17.0.1/private/ jessie-staging/main emacsen-common all 2.0.5 [20.9 kB]
Get:105 http://172.17.0.1/private/ jessie-staging/main ocaml-base-nox armhf 3.12.1-4 [493 kB]
Get:106 http://172.17.0.1/private/ jessie-staging/main libglade2-0 armhf 1:2.6.4-1 [85.3 kB]
Get:107 http://172.17.0.1/private/ jessie-staging/main libenchant1c2a armhf 1.6.0-7 [74.7 kB]
Get:108 http://172.17.0.1/private/ jessie-staging/main libgtkspell0 armhf 2.0.16-1 [27.0 kB]
Get:109 http://172.17.0.1/private/ jessie-staging/main liblablgtk2-ocaml armhf 2.14.2+dfsg-3 [318 kB]
Get:110 http://172.17.0.1/private/ jessie-staging/main libcoq-ocaml armhf 8.4pl2dfsg-1+b1 [571 kB]
Get:111 http://172.17.0.1/private/ jessie-staging/main coq armhf 8.4pl2dfsg-1+b1 [1926 kB]
Get:112 http://172.17.0.1/private/ jessie-staging/main html2text armhf 1.3.2a-15 [98.5 kB]
Get:113 http://172.17.0.1/private/ jessie-staging/main libasprintf-dev armhf 0.18.1.1-10 [26.7 kB]
Get:114 http://172.17.0.1/private/ jessie-staging/main libgettextpo-dev armhf 0.18.1.1-10 [160 kB]
Get:115 http://172.17.0.1/private/ jessie-staging/main gettext armhf 0.18.1.1-10 [1721 kB]
Get:116 http://172.17.0.1/private/ jessie-staging/main intltool-debian all 0.35.0+20060710.1 [29.8 kB]
Get:117 http://172.17.0.1/private/ jessie-staging/main po-debconf all 1.0.16+nmu2 [223 kB]
Get:118 http://172.17.0.1/private/ jessie-staging/main debhelper all 9.20120909 [705 kB]
Get:119 http://172.17.0.1/private/ jessie-staging/main libgirepository-1.0-1 armhf 1.36.0-2 [97.0 kB]
Get:120 http://172.17.0.1/private/ jessie-staging/main gir1.2-glib-2.0 armhf 1.36.0-2 [177 kB]
Get:121 http://172.17.0.1/private/ jessie-staging/main gir1.2-atk-1.0 armhf 2.8.0-2 [61.0 kB]
Get:122 http://172.17.0.1/private/ jessie-staging/main gir1.2-freedesktop armhf 1.36.0-2 [20.7 kB]
Get:123 http://172.17.0.1/private/ jessie-staging/main gir1.2-gdkpixbuf-2.0 armhf 2.28.1-1 [14.7 kB]
Get:124 http://172.17.0.1/private/ jessie-staging/main gir1.2-pango-1.0 armhf 1.30.0-1 [151 kB]
Get:125 http://172.17.0.1/private/ jessie-staging/main pkg-config armhf 0.26-1 [56.9 kB]
Get:126 http://172.17.0.1/private/ jessie-staging/main libpcre3-dev armhf 1:8.31-2 [350 kB]
Get:127 http://172.17.0.1/private/ jessie-staging/main zlib1g-dev armhf 1:1.2.8.dfsg-1 [212 kB]
Get:128 http://172.17.0.1/private/ jessie-staging/main libglib2.0-dev armhf 2.36.1-2build1 [2104 kB]
Get:129 http://172.17.0.1/private/ jessie-staging/main libatk1.0-dev armhf 2.8.0-2 [103 kB]
Get:130 http://172.17.0.1/private/ jessie-staging/main libexpat1-dev armhf 2.1.0-3 [210 kB]
Get:131 http://172.17.0.1/private/ jessie-staging/main libfreetype6-dev armhf 2.4.9-1.1 [748 kB]
Get:132 http://172.17.0.1/private/ jessie-staging/main libfontconfig1-dev armhf 2.9.0-7.1 [840 kB]
Get:133 http://172.17.0.1/private/ jessie-staging/main xorg-sgml-doctools all 1:1.10-1 [24.1 kB]
Get:134 http://172.17.0.1/private/ jessie-staging/main x11proto-core-dev all 7.0.23-1 [774 kB]
Get:135 http://172.17.0.1/private/ jessie-staging/main libxau-dev armhf 1:1.0.7-1 [21.0 kB]
Get:136 http://172.17.0.1/private/ jessie-staging/main libxdmcp-dev armhf 1:1.1.1-1 [40.8 kB]
Get:137 http://172.17.0.1/private/ jessie-staging/main x11proto-input-dev all 2.2-1 [172 kB]
Get:138 http://172.17.0.1/private/ jessie-staging/main x11proto-kb-dev all 1.0.6-2 [269 kB]
Get:139 http://172.17.0.1/private/ jessie-staging/main xtrans-dev all 1.2.7-1 [112 kB]
Get:140 http://172.17.0.1/private/ jessie-staging/main libpthread-stubs0 armhf 0.3-3 [3230 B]
Get:141 http://172.17.0.1/private/ jessie-staging/main libpthread-stubs0-dev armhf 0.3-3 [3996 B]
Get:142 http://172.17.0.1/private/ jessie-staging/main libxcb1-dev armhf 1.8.1-2 [82.0 kB]
Get:143 http://172.17.0.1/private/ jessie-staging/main libx11-dev armhf 2:1.5.0-1 [956 kB]
Get:144 http://172.17.0.1/private/ jessie-staging/main x11proto-render-dev all 2:0.11.1-2 [20.8 kB]
Get:145 http://172.17.0.1/private/ jessie-staging/main libxrender-dev armhf 1:0.9.7-1 [38.8 kB]
Get:146 http://172.17.0.1/private/ jessie-staging/main x11proto-xext-dev all 7.2.1-1 [273 kB]
Get:147 http://172.17.0.1/private/ jessie-staging/main libxext-dev armhf 2:1.3.1-2 [111 kB]
Get:148 http://172.17.0.1/private/ jessie-staging/main libpng12-dev armhf 1.2.49-4 [260 kB]
Get:149 http://172.17.0.1/private/ jessie-staging/main libice-dev armhf 2:1.0.8-2 [65.9 kB]
Get:150 http://172.17.0.1/private/ jessie-staging/main libsm-dev armhf 2:1.2.1-2 [35.6 kB]
Get:151 http://172.17.0.1/private/ jessie-staging/main libpixman-1-dev armhf 0.26.0-4 [439 kB]
Get:152 http://172.17.0.1/private/ jessie-staging/main libxcb-render0-dev armhf 1.8.1-2 [24.7 kB]
Get:153 http://172.17.0.1/private/ jessie-staging/main libxcb-shm0-dev armhf 1.8.1-2 [11.6 kB]
Get:154 http://172.17.0.1/private/ jessie-staging/main libcairo2-dev armhf 1.12.14-4 [1149 kB]
Get:155 http://172.17.0.1/private/ jessie-staging/main libtinfo-dev armhf 5.9+20130504-1 [92.5 kB]
Get:156 http://172.17.0.1/private/ jessie-staging/main libncurses5-dev armhf 5.9+20130504-1 [201 kB]
Get:157 http://172.17.0.1/private/ jessie-staging/main ocaml-interp armhf 3.12.1-4 [319 kB]
Get:158 http://172.17.0.1/private/ jessie-staging/main ocaml-nox armhf 3.12.1-4 [4888 kB]
Get:159 http://172.17.0.1/private/ jessie-staging/main ocaml-compiler-libs armhf 3.12.1-4 [643 kB]
Get:160 http://172.17.0.1/private/ jessie-staging/main camlp5 armhf 6.08-1 [1612 kB]
Get:161 http://172.17.0.1/private/ jessie-staging/main libgdk-pixbuf2.0-dev armhf 2.28.1-1 [48.3 kB]
Get:162 http://172.17.0.1/private/ jessie-staging/main libxft-dev armhf 2.3.1-1 [68.1 kB]
Get:163 http://172.17.0.1/private/ jessie-staging/main libpango1.0-dev armhf 1.30.0-1 [573 kB]
Get:164 http://172.17.0.1/private/ jessie-staging/main x11proto-xinerama-dev all 1.2.1-2 [4938 B]
Get:165 http://172.17.0.1/private/ jessie-staging/main libxinerama-dev armhf 2:1.1.2-1 [18.6 kB]
Get:166 http://172.17.0.1/private/ jessie-staging/main libxi-dev armhf 2:1.6.1-1 [245 kB]
Get:167 http://172.17.0.1/private/ jessie-staging/main x11proto-randr-dev all 1.3.2-2 [40.0 kB]
Get:168 http://172.17.0.1/private/ jessie-staging/main libxrandr-dev armhf 2:1.3.2-2 [39.7 kB]
Get:169 http://172.17.0.1/private/ jessie-staging/main x11proto-fixes-dev all 1:5.0-2 [19.2 kB]
Get:170 http://172.17.0.1/private/ jessie-staging/main libxfixes-dev armhf 1:5.0-4 [21.9 kB]
Get:171 http://172.17.0.1/private/ jessie-staging/main libxcursor-dev armhf 1:1.1.13-1 [31.8 kB]
Get:172 http://172.17.0.1/private/ jessie-staging/main x11proto-composite-dev all 1:0.4.2-2 [15.3 kB]
Get:173 http://172.17.0.1/private/ jessie-staging/main libxcomposite-dev armhf 1:0.4.3-2 [19.7 kB]
Get:174 http://172.17.0.1/private/ jessie-staging/main x11proto-damage-dev all 1:1.2.1-2 [11.8 kB]
Get:175 http://172.17.0.1/private/ jessie-staging/main libxdamage-dev armhf 1:1.1.3-2 [13.5 kB]
Get:176 http://172.17.0.1/private/ jessie-staging/main libxml2-utils armhf 2.8.0+dfsg1-7+nmu1 [95.6 kB]
Get:177 http://172.17.0.1/private/ jessie-staging/main libgtk2.0-dev armhf 2.24.10-2 [2686 kB]
Get:178 http://172.17.0.1/private/ jessie-staging/main libxml2-dev armhf 2.8.0+dfsg1-7+nmu1 [822 kB]
Get:179 http://172.17.0.1/private/ jessie-staging/main libglade2-dev armhf 1:2.6.4-1 [132 kB]
Get:180 http://172.17.0.1/private/ jessie-staging/main libenchant-dev armhf 1.6.0-7 [64.2 kB]
Get:181 http://172.17.0.1/private/ jessie-staging/main libgtkspell-dev armhf 2.0.16-1 [30.7 kB]
Get:182 http://172.17.0.1/private/ jessie-staging/main liblablgtk2-ocaml-dev armhf 2.14.2+dfsg-3 [1377 kB]
Get:183 http://172.17.0.1/private/ jessie-staging/main libcoq-ocaml-dev armhf 8.4pl2dfsg-1+b1 [2195 kB]
Get:184 http://172.17.0.1/private/ jessie-staging/main dh-ocaml all 1.0.7 [94.4 kB]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 127 MB in 2min 43s (773 kB/s)
(Reading database ... 11288 files and directories currently installed.)
Preparing to replace libncursesw5:armhf 5.9-10 (using .../libncursesw5_5.9+20130504-1_armhf.deb) ...
Unpacking replacement libncursesw5:armhf ...
Preparing to replace libtinfo5:armhf 5.9-10 (using .../libtinfo5_5.9+20130504-1_armhf.deb) ...
Unpacking replacement libtinfo5:armhf ...
Setting up libtinfo5:armhf (5.9+20130504-1) ...
(Reading database ... 11288 files and directories currently installed.)
Preparing to replace libncurses5:armhf 5.9-10 (using .../libncurses5_5.9+20130504-1_armhf.deb) ...
Unpacking replacement libncurses5:armhf ...
Setting up libncurses5:armhf (5.9+20130504-1) ...
(Reading database ... 11288 files and directories currently installed.)
Preparing to replace ncurses-bin 5.9-10 (using .../ncurses-bin_5.9+20130504-1_armhf.deb) ...
Unpacking replacement ncurses-bin ...
Setting up ncurses-bin (5.9+20130504-1) ...
(Reading database ... 11286 files and directories currently installed.)
Preparing to replace zlib1g:armhf 1:1.2.7.dfsg-13 (using .../zlib1g_1%3a1.2.8.dfsg-1_armhf.deb) ...
Unpacking replacement zlib1g:armhf ...
Setting up zlib1g:armhf (1:1.2.8.dfsg-1) ...
Selecting previously unselected package libpcre3:armhf.
(Reading database ... 11286 files and directories currently installed.)
Unpacking libpcre3:armhf (from .../libpcre3_1%3a8.31-2_armhf.deb) ...
Selecting previously unselected package libpipeline1:armhf.
Unpacking libpipeline1:armhf (from .../libpipeline1_1.2.3-1_armhf.deb) ...
Selecting previously unselected package libpopt0:armhf.
Unpacking libpopt0:armhf (from .../libpopt0_1.16-7_armhf.deb) ...
Selecting previously unselected package libssl1.0.0:armhf.
Unpacking libssl1.0.0:armhf (from .../libssl1.0.0_1.0.1e-2+rpi1_armhf.deb) ...
Selecting previously unselected package groff-base.
Unpacking groff-base (from .../groff-base_1.22.2-2_armhf.deb) ...
Selecting previously unselected package bsdmainutils.
Unpacking bsdmainutils (from .../bsdmainutils_9.0.5_armhf.deb) ...
Selecting previously unselected package man-db.
Unpacking man-db (from .../man-db_2.6.3-6_armhf.deb) ...
Selecting previously unselected package libasprintf0c2:armhf.
Unpacking libasprintf0c2:armhf (from .../libasprintf0c2_0.18.1.1-10_armhf.deb) ...
Selecting previously unselected package libgpg-error0:armhf.
Unpacking libgpg-error0:armhf (from .../libgpg-error0_1.10-3.1_armhf.deb) ...
Selecting previously unselected package libgcrypt11:armhf.
Unpacking libgcrypt11:armhf (from .../libgcrypt11_1.5.0-5_armhf.deb) ...
Selecting previously unselected package libp11-kit0:armhf.
Unpacking libp11-kit0:armhf (from .../libp11-kit0_0.12-3_armhf.deb) ...
Selecting previously unselected package libtasn1-3:armhf.
Unpacking libtasn1-3:armhf (from .../libtasn1-3_2.13-2_armhf.deb) ...
Selecting previously unselected package libgnutls26:armhf.
Unpacking libgnutls26:armhf (from .../libgnutls26_2.12.20-6_armhf.deb) ...
Selecting previously unselected package libkeyutils1:armhf.
Unpacking libkeyutils1:armhf (from .../libkeyutils1_1.5.5-7_armhf.deb) ...
Selecting previously unselected package libkrb5support0:armhf.
Unpacking libkrb5support0:armhf (from .../libkrb5support0_1.10.1+dfsg-5_armhf.deb) ...
Selecting previously unselected package libk5crypto3:armhf.
Unpacking libk5crypto3:armhf (from .../libk5crypto3_1.10.1+dfsg-5_armhf.deb) ...
Selecting previously unselected package libkrb5-3:armhf.
Unpacking libkrb5-3:armhf (from .../libkrb5-3_1.10.1+dfsg-5_armhf.deb) ...
Selecting previously unselected package libgssapi-krb5-2:armhf.
Unpacking libgssapi-krb5-2:armhf (from .../libgssapi-krb5-2_1.10.1+dfsg-5_armhf.deb) ...
Selecting previously unselected package libmagic1:armhf.
Unpacking libmagic1:armhf (from .../libmagic1_1%3a5.14-2_armhf.deb) ...
Selecting previously unselected package libsqlite3-0:armhf.
Unpacking libsqlite3-0:armhf (from .../libsqlite3-0_3.7.16.2-1_armhf.deb) ...
Selecting previously unselected package libxml2:armhf.
Unpacking libxml2:armhf (from .../libxml2_2.8.0+dfsg1-7+nmu1_armhf.deb) ...
Selecting previously unselected package libpython2.7-minimal.
Unpacking libpython2.7-minimal (from .../libpython2.7-minimal_2.7.5-4_armhf.deb) ...
Selecting previously unselected package python2.7-minimal.
Unpacking python2.7-minimal (from .../python2.7-minimal_2.7.5-4_armhf.deb) ...
Selecting previously unselected package libffi6:armhf.
Unpacking libffi6:armhf (from .../libffi6_3.0.13-4_armhf.deb) ...
Selecting previously unselected package libglib2.0-0:armhf.
Unpacking libglib2.0-0:armhf (from .../libglib2.0-0_2.36.1-2build1_armhf.deb) ...
Selecting previously unselected package libatk1.0-data.
Unpacking libatk1.0-data (from .../libatk1.0-data_2.8.0-2_all.deb) ...
Selecting previously unselected package libatk1.0-0:armhf.
Unpacking libatk1.0-0:armhf (from .../libatk1.0-0_2.8.0-2_armhf.deb) ...
Selecting previously unselected package libavahi-common-data:armhf.
Unpacking libavahi-common-data:armhf (from .../libavahi-common-data_0.6.31-2_armhf.deb) ...
Selecting previously unselected package libavahi-common3:armhf.
Unpacking libavahi-common3:armhf (from .../libavahi-common3_0.6.31-2_armhf.deb) ...
Selecting previously unselected package libavahi-client3:armhf.
Unpacking libavahi-client3:armhf (from .../libavahi-client3_0.6.31-2_armhf.deb) ...
Selecting previously unselected package libexpat1:armhf.
Unpacking libexpat1:armhf (from .../libexpat1_2.1.0-3_armhf.deb) ...
Selecting previously unselected package libfreetype6:armhf.
Unpacking libfreetype6:armhf (from .../libfreetype6_2.4.9-1.1_armhf.deb) ...
Selecting previously unselected package ucf.
Unpacking ucf (from .../archives/ucf_3.0027_all.deb) ...
Moving old data out of the way
Selecting previously unselected package fonts-dejavu-core.
Unpacking fonts-dejavu-core (from .../fonts-dejavu-core_2.33+svn2514-3_all.deb) ...
Selecting previously unselected package ttf-dejavu-core.
Unpacking ttf-dejavu-core (from .../ttf-dejavu-core_2.33+svn2514-3_all.deb) ...
Selecting previously unselected package fontconfig-config.
Unpacking fontconfig-config (from .../fontconfig-config_2.9.0-7.1_all.deb) ...
Selecting previously unselected package libfontconfig1:armhf.
Unpacking libfontconfig1:armhf (from .../libfontconfig1_2.9.0-7.1_armhf.deb) ...
Selecting previously unselected package libpixman-1-0:armhf.
Unpacking libpixman-1-0:armhf (from .../libpixman-1-0_0.26.0-4_armhf.deb) ...
Selecting previously unselected package libpng12-0:armhf.
Unpacking libpng12-0:armhf (from .../libpng12-0_1.2.49-4_armhf.deb) ...
Selecting previously unselected package libxau6:armhf.
Unpacking libxau6:armhf (from .../libxau6_1%3a1.0.7-1_armhf.deb) ...
Selecting previously unselected package libxdmcp6:armhf.
Unpacking libxdmcp6:armhf (from .../libxdmcp6_1%3a1.1.1-1_armhf.deb) ...
Selecting previously unselected package libxcb1:armhf.
Unpacking libxcb1:armhf (from .../libxcb1_1.8.1-2_armhf.deb) ...
Selecting previously unselected package libx11-data.
Unpacking libx11-data (from .../libx11-data_2%3a1.5.0-1+deb7u1_all.deb) ...
Selecting previously unselected package libx11-6:armhf.
Unpacking libx11-6:armhf (from .../libx11-6_2%3a1.5.0-1_armhf.deb) ...
Selecting previously unselected package libxcb-render0:armhf.
Unpacking libxcb-render0:armhf (from .../libxcb-render0_1.8.1-2_armhf.deb) ...
Selecting previously unselected package libxcb-shm0:armhf.
Unpacking libxcb-shm0:armhf (from .../libxcb-shm0_1.8.1-2_armhf.deb) ...
Selecting previously unselected package libxext6:armhf.
Unpacking libxext6:armhf (from .../libxext6_2%3a1.3.1-2_armhf.deb) ...
Selecting previously unselected package libxrender1:armhf.
Unpacking libxrender1:armhf (from .../libxrender1_1%3a0.9.7-1_armhf.deb) ...
Selecting previously unselected package libcairo2:armhf.
Unpacking libcairo2:armhf (from .../libcairo2_1.12.14-4_armhf.deb) ...
Selecting previously unselected package libcairo-gobject2:armhf.
Unpacking libcairo-gobject2:armhf (from .../libcairo-gobject2_1.12.14-4_armhf.deb) ...
Selecting previously unselected package liblzo2-2:armhf.
Unpacking liblzo2-2:armhf (from .../liblzo2-2_2.06-1_armhf.deb) ...
Selecting previously unselected package libcairo-script-interpreter2:armhf.
Unpacking libcairo-script-interpreter2:armhf (from .../libcairo-script-interpreter2_1.12.14-4_armhf.deb) ...
Selecting previously unselected package libcroco3:armhf.
Unpacking libcroco3:armhf (from .../libcroco3_0.6.6-2_armhf.deb) ...
Selecting previously unselected package libcups2:armhf.
Unpacking libcups2:armhf (from .../libcups2_1.5.3-5_armhf.deb) ...
Selecting previously unselected package libdatrie1:armhf.
Unpacking libdatrie1:armhf (from .../libdatrie1_0.2.6-2_armhf.deb) ...
Selecting previously unselected package libjpeg8:armhf.
Unpacking libjpeg8:armhf (from .../libjpeg8_8d-1_armhf.deb) ...
Selecting previously unselected package libjasper1:armhf.
Unpacking libjasper1:armhf (from .../libjasper1_1.900.1-14_armhf.deb) ...
Selecting previously unselected package libjbig0:armhf.
Unpacking libjbig0:armhf (from .../libjbig0_2.0-2_armhf.deb) ...
Selecting previously unselected package libtiff4:armhf.
Unpacking libtiff4:armhf (from .../libtiff4_3.9.6-11_armhf.deb) ...
Selecting previously unselected package libgdk-pixbuf2.0-common.
Unpacking libgdk-pixbuf2.0-common (from .../libgdk-pixbuf2.0-common_2.28.1-1_all.deb) ...
Selecting previously unselected package libgdk-pixbuf2.0-0:armhf.
Unpacking libgdk-pixbuf2.0-0:armhf (from .../libgdk-pixbuf2.0-0_2.28.1-1_armhf.deb) ...
Selecting previously unselected package libunistring0:armhf.
Unpacking libunistring0:armhf (from .../libunistring0_0.9.3-5_armhf.deb) ...
Selecting previously unselected package libgettextpo0:armhf.
Unpacking libgettextpo0:armhf (from .../libgettextpo0_0.18.1.1-10_armhf.deb) ...
Selecting previously unselected package libelfg0.
Unpacking libelfg0 (from .../libelfg0_0.8.13-3_armhf.deb) ...
Selecting previously unselected package libglib2.0-data.
Unpacking libglib2.0-data (from .../libglib2.0-data_2.36.1-2build1_all.deb) ...
Selecting previously unselected package libglib2.0-bin.
Unpacking libglib2.0-bin (from .../libglib2.0-bin_2.36.1-2build1_armhf.deb) ...
Selecting previously unselected package libgtk2.0-common.
Unpacking libgtk2.0-common (from .../libgtk2.0-common_2.24.18-1_all.deb) ...
Selecting previously unselected package libthai-data.
Unpacking libthai-data (from .../libthai-data_0.1.19-2_all.deb) ...
Selecting previously unselected package libthai0:armhf.
Unpacking libthai0:armhf (from .../libthai0_0.1.19-2_armhf.deb) ...
Selecting previously unselected package libxft2:armhf.
Unpacking libxft2:armhf (from .../libxft2_2.3.1-1_armhf.deb) ...
Selecting previously unselected package fontconfig.
Unpacking fontconfig (from .../fontconfig_2.9.0-7.1_armhf.deb) ...
Selecting previously unselected package libpango1.0-0:armhf.
Unpacking libpango1.0-0:armhf (from .../libpango1.0-0_1.30.0-1_armhf.deb) ...
Selecting previously unselected package libxcomposite1:armhf.
Unpacking libxcomposite1:armhf (from .../libxcomposite1_1%3a0.4.3-2_armhf.deb) ...
Selecting previously unselected package libxfixes3:armhf.
Unpacking libxfixes3:armhf (from .../libxfixes3_1%3a5.0-4_armhf.deb) ...
Selecting previously unselected package libxcursor1:armhf.
Unpacking libxcursor1:armhf (from .../libxcursor1_1%3a1.1.13-1_armhf.deb) ...
Selecting previously unselected package libxdamage1:armhf.
Unpacking libxdamage1:armhf (from .../libxdamage1_1%3a1.1.3-2_armhf.deb) ...
Selecting previously unselected package libxi6:armhf.
Unpacking libxi6:armhf (from .../libxi6_2%3a1.6.1-1_armhf.deb) ...
Selecting previously unselected package libxinerama1:armhf.
Unpacking libxinerama1:armhf (from .../libxinerama1_2%3a1.1.2-1_armhf.deb) ...
Selecting previously unselected package libxrandr2:armhf.
Unpacking libxrandr2:armhf (from .../libxrandr2_2%3a1.3.2-2_armhf.deb) ...
Selecting previously unselected package shared-mime-info.
Unpacking shared-mime-info (from .../shared-mime-info_1.0-1_armhf.deb) ...
Selecting previously unselected package libgtk2.0-0:armhf.
Unpacking libgtk2.0-0:armhf (from .../libgtk2.0-0_2.24.10-2_armhf.deb) ...
Selecting previously unselected package libhunspell-1.3-0:armhf.
Unpacking libhunspell-1.3-0:armhf (from .../libhunspell-1.3-0_1.3.2-4_armhf.deb) ...
Selecting previously unselected package x11-common.
Unpacking x11-common (from .../x11-common_1%3a7.7+3_all.deb) ...
Selecting previously unselected package libice6:armhf.
Unpacking libice6:armhf (from .../libice6_2%3a1.0.8-2_armhf.deb) ...
Selecting previously unselected package libpcrecpp0:armhf.
Unpacking libpcrecpp0:armhf (from .../libpcrecpp0_1%3a8.31-2_armhf.deb) ...
Selecting previously unselected package libsm6:armhf.
Unpacking libsm6:armhf (from .../libsm6_2%3a1.2.1-2_armhf.deb) ...
Selecting previously unselected package file.
Unpacking file (from .../file_1%3a5.14-2_armhf.deb) ...
Selecting previously unselected package gettext-base.
Unpacking gettext-base (from .../gettext-base_0.18.1.1-10_armhf.deb) ...
Selecting previously unselected package mime-support.
Unpacking mime-support (from .../mime-support_3.54_all.deb) ...
Selecting previously unselected package libpython2.7-stdlib.
Unpacking libpython2.7-stdlib (from .../libpython2.7-stdlib_2.7.5-4_armhf.deb) ...
Selecting previously unselected package python2.7.
Unpacking python2.7 (from .../python2.7_2.7.5-4_armhf.deb) ...
Selecting previously unselected package python-minimal.
Unpacking python-minimal (from .../python-minimal_2.7.3-5_all.deb) ...
Selecting previously unselected package python.
Unpacking python (from .../python_2.7.3-5_all.deb) ...
Selecting previously unselected package libaspell15.
Unpacking libaspell15 (from .../libaspell15_0.60.7~20110707-1_armhf.deb) ...
Selecting previously unselected package dictionaries-common.
Unpacking dictionaries-common (from .../dictionaries-common_1.12.11_all.deb) ...
Adding 'diversion of /usr/share/dict/words to /usr/share/dict/words.pre-dictionaries-common by dictionaries-common'
Selecting previously unselected package aspell.
Unpacking aspell (from .../aspell_0.60.7~20110707-1_armhf.deb) ...
Selecting previously unselected package aspell-en.
Unpacking aspell-en (from .../aspell-en_7.1-0-1_all.deb) ...
Selecting previously unselected package coq-theories.
Unpacking coq-theories (from .../coq-theories_8.4pl2dfsg-1_all.deb) ...
Selecting previously unselected package emacsen-common.
Unpacking emacsen-common (from .../emacsen-common_2.0.5_all.deb) ...
Selecting previously unselected package ocaml-base-nox.
Unpacking ocaml-base-nox (from .../ocaml-base-nox_3.12.1-4_armhf.deb) ...
Selecting previously unselected package libglade2-0.
Unpacking libglade2-0 (from .../libglade2-0_1%3a2.6.4-1_armhf.deb) ...
Selecting previously unselected package libenchant1c2a.
Unpacking libenchant1c2a (from .../libenchant1c2a_1.6.0-7_armhf.deb) ...
Selecting previously unselected package libgtkspell0.
Unpacking libgtkspell0 (from .../libgtkspell0_2.0.16-1_armhf.deb) ...
Selecting previously unselected package liblablgtk2-ocaml.
Unpacking liblablgtk2-ocaml (from .../liblablgtk2-ocaml_2.14.2+dfsg-3_armhf.deb) ...
Selecting previously unselected package libcoq-ocaml.
Unpacking libcoq-ocaml (from .../libcoq-ocaml_8.4pl2dfsg-1+b1_armhf.deb) ...
Selecting previously unselected package coq.
Unpacking coq (from .../coq_8.4pl2dfsg-1+b1_armhf.deb) ...
Selecting previously unselected package html2text.
Unpacking html2text (from .../html2text_1.3.2a-15_armhf.deb) ...
Selecting previously unselected package libasprintf-dev:armhf.
Unpacking libasprintf-dev:armhf (from .../libasprintf-dev_0.18.1.1-10_armhf.deb) ...
Selecting previously unselected package libgettextpo-dev:armhf.
Unpacking libgettextpo-dev:armhf (from .../libgettextpo-dev_0.18.1.1-10_armhf.deb) ...
Selecting previously unselected package gettext.
Unpacking gettext (from .../gettext_0.18.1.1-10_armhf.deb) ...
Selecting previously unselected package intltool-debian.
Unpacking intltool-debian (from .../intltool-debian_0.35.0+20060710.1_all.deb) ...
Selecting previously unselected package po-debconf.
Unpacking po-debconf (from .../po-debconf_1.0.16+nmu2_all.deb) ...
Selecting previously unselected package debhelper.
Unpacking debhelper (from .../debhelper_9.20120909_all.deb) ...
Selecting previously unselected package libgirepository-1.0-1.
Unpacking libgirepository-1.0-1 (from .../libgirepository-1.0-1_1.36.0-2_armhf.deb) ...
Selecting previously unselected package gir1.2-glib-2.0.
Unpacking gir1.2-glib-2.0 (from .../gir1.2-glib-2.0_1.36.0-2_armhf.deb) ...
Selecting previously unselected package gir1.2-atk-1.0.
Unpacking gir1.2-atk-1.0 (from .../gir1.2-atk-1.0_2.8.0-2_armhf.deb) ...
Selecting previously unselected package gir1.2-freedesktop.
Unpacking gir1.2-freedesktop (from .../gir1.2-freedesktop_1.36.0-2_armhf.deb) ...
Selecting previously unselected package gir1.2-gdkpixbuf-2.0.
Unpacking gir1.2-gdkpixbuf-2.0 (from .../gir1.2-gdkpixbuf-2.0_2.28.1-1_armhf.deb) ...
Selecting previously unselected package gir1.2-pango-1.0.
Unpacking gir1.2-pango-1.0 (from .../gir1.2-pango-1.0_1.30.0-1_armhf.deb) ...
Selecting previously unselected package pkg-config.
Unpacking pkg-config (from .../pkg-config_0.26-1_armhf.deb) ...
Selecting previously unselected package libpcre3-dev:armhf.
Unpacking libpcre3-dev:armhf (from .../libpcre3-dev_1%3a8.31-2_armhf.deb) ...
Selecting previously unselected package zlib1g-dev:armhf.
Unpacking zlib1g-dev:armhf (from .../zlib1g-dev_1%3a1.2.8.dfsg-1_armhf.deb) ...
Selecting previously unselected package libglib2.0-dev.
Unpacking libglib2.0-dev (from .../libglib2.0-dev_2.36.1-2build1_armhf.deb) ...
Selecting previously unselected package libatk1.0-dev.
Unpacking libatk1.0-dev (from .../libatk1.0-dev_2.8.0-2_armhf.deb) ...
Selecting previously unselected package libexpat1-dev:armhf.
Unpacking libexpat1-dev:armhf (from .../libexpat1-dev_2.1.0-3_armhf.deb) ...
Selecting previously unselected package libfreetype6-dev.
Unpacking libfreetype6-dev (from .../libfreetype6-dev_2.4.9-1.1_armhf.deb) ...
Selecting previously unselected package libfontconfig1-dev.
Unpacking libfontconfig1-dev (from .../libfontconfig1-dev_2.9.0-7.1_armhf.deb) ...
Selecting previously unselected package xorg-sgml-doctools.
Unpacking xorg-sgml-doctools (from .../xorg-sgml-doctools_1%3a1.10-1_all.deb) ...
Selecting previously unselected package x11proto-core-dev.
Unpacking x11proto-core-dev (from .../x11proto-core-dev_7.0.23-1_all.deb) ...
Selecting previously unselected package libxau-dev:armhf.
Unpacking libxau-dev:armhf (from .../libxau-dev_1%3a1.0.7-1_armhf.deb) ...
Selecting previously unselected package libxdmcp-dev:armhf.
Unpacking libxdmcp-dev:armhf (from .../libxdmcp-dev_1%3a1.1.1-1_armhf.deb) ...
Selecting previously unselected package x11proto-input-dev.
Unpacking x11proto-input-dev (from .../x11proto-input-dev_2.2-1_all.deb) ...
Selecting previously unselected package x11proto-kb-dev.
Unpacking x11proto-kb-dev (from .../x11proto-kb-dev_1.0.6-2_all.deb) ...
Selecting previously unselected package xtrans-dev.
Unpacking xtrans-dev (from .../xtrans-dev_1.2.7-1_all.deb) ...
Selecting previously unselected package libpthread-stubs0:armhf.
Unpacking libpthread-stubs0:armhf (from .../libpthread-stubs0_0.3-3_armhf.deb) ...
Selecting previously unselected package libpthread-stubs0-dev:armhf.
Unpacking libpthread-stubs0-dev:armhf (from .../libpthread-stubs0-dev_0.3-3_armhf.deb) ...
Selecting previously unselected package libxcb1-dev:armhf.
Unpacking libxcb1-dev:armhf (from .../libxcb1-dev_1.8.1-2_armhf.deb) ...
Selecting previously unselected package libx11-dev:armhf.
Unpacking libx11-dev:armhf (from .../libx11-dev_2%3a1.5.0-1_armhf.deb) ...
Selecting previously unselected package x11proto-render-dev.
Unpacking x11proto-render-dev (from .../x11proto-render-dev_2%3a0.11.1-2_all.deb) ...
Selecting previously unselected package libxrender-dev:armhf.
Unpacking libxrender-dev:armhf (from .../libxrender-dev_1%3a0.9.7-1_armhf.deb) ...
Selecting previously unselected package x11proto-xext-dev.
Unpacking x11proto-xext-dev (from .../x11proto-xext-dev_7.2.1-1_all.deb) ...
Selecting previously unselected package libxext-dev:armhf.
Unpacking libxext-dev:armhf (from .../libxext-dev_2%3a1.3.1-2_armhf.deb) ...
Selecting previously unselected package libpng12-dev.
Unpacking libpng12-dev (from .../libpng12-dev_1.2.49-4_armhf.deb) ...
Selecting previously unselected package libice-dev:armhf.
Unpacking libice-dev:armhf (from .../libice-dev_2%3a1.0.8-2_armhf.deb) ...
Selecting previously unselected package libsm-dev:armhf.
Unpacking libsm-dev:armhf (from .../libsm-dev_2%3a1.2.1-2_armhf.deb) ...
Selecting previously unselected package libpixman-1-dev.
Unpacking libpixman-1-dev (from .../libpixman-1-dev_0.26.0-4_armhf.deb) ...
Selecting previously unselected package libxcb-render0-dev:armhf.
Unpacking libxcb-render0-dev:armhf (from .../libxcb-render0-dev_1.8.1-2_armhf.deb) ...
Selecting previously unselected package libxcb-shm0-dev:armhf.
Unpacking libxcb-shm0-dev:armhf (from .../libxcb-shm0-dev_1.8.1-2_armhf.deb) ...
Selecting previously unselected package libcairo2-dev.
Unpacking libcairo2-dev (from .../libcairo2-dev_1.12.14-4_armhf.deb) ...
Selecting previously unselected package libtinfo-dev:armhf.
Unpacking libtinfo-dev:armhf (from .../libtinfo-dev_5.9+20130504-1_armhf.deb) ...
Selecting previously unselected package libncurses5-dev:armhf.
Unpacking libncurses5-dev:armhf (from .../libncurses5-dev_5.9+20130504-1_armhf.deb) ...
Selecting previously unselected package ocaml-interp.
Unpacking ocaml-interp (from .../ocaml-interp_3.12.1-4_armhf.deb) ...
Selecting previously unselected package ocaml-nox.
Unpacking ocaml-nox (from .../ocaml-nox_3.12.1-4_armhf.deb) ...
Selecting previously unselected package ocaml-compiler-libs.
Unpacking ocaml-compiler-libs (from .../ocaml-compiler-libs_3.12.1-4_armhf.deb) ...
Selecting previously unselected package camlp5.
Unpacking camlp5 (from .../camlp5_6.08-1_armhf.deb) ...
Selecting previously unselected package libgdk-pixbuf2.0-dev.
Unpacking libgdk-pixbuf2.0-dev (from .../libgdk-pixbuf2.0-dev_2.28.1-1_armhf.deb) ...
Selecting previously unselected package libxft-dev.
Unpacking libxft-dev (from .../libxft-dev_2.3.1-1_armhf.deb) ...
Selecting previously unselected package libpango1.0-dev.
Unpacking libpango1.0-dev (from .../libpango1.0-dev_1.30.0-1_armhf.deb) ...
Selecting previously unselected package x11proto-xinerama-dev.
Unpacking x11proto-xinerama-dev (from .../x11proto-xinerama-dev_1.2.1-2_all.deb) ...
Selecting previously unselected package libxinerama-dev:armhf.
Unpacking libxinerama-dev:armhf (from .../libxinerama-dev_2%3a1.1.2-1_armhf.deb) ...
Selecting previously unselected package libxi-dev.
Unpacking libxi-dev (from .../libxi-dev_2%3a1.6.1-1_armhf.deb) ...
Selecting previously unselected package x11proto-randr-dev.
Unpacking x11proto-randr-dev (from .../x11proto-randr-dev_1.3.2-2_all.deb) ...
Selecting previously unselected package libxrandr-dev.
Unpacking libxrandr-dev (from .../libxrandr-dev_2%3a1.3.2-2_armhf.deb) ...
Selecting previously unselected package x11proto-fixes-dev.
Unpacking x11proto-fixes-dev (from .../x11proto-fixes-dev_1%3a5.0-2_all.deb) ...
Selecting previously unselected package libxfixes-dev.
Unpacking libxfixes-dev (from .../libxfixes-dev_1%3a5.0-4_armhf.deb) ...
Selecting previously unselected package libxcursor-dev:armhf.
Unpacking libxcursor-dev:armhf (from .../libxcursor-dev_1%3a1.1.13-1_armhf.deb) ...
Selecting previously unselected package x11proto-composite-dev.
Unpacking x11proto-composite-dev (from .../x11proto-composite-dev_1%3a0.4.2-2_all.deb) ...
Selecting previously unselected package libxcomposite-dev.
Unpacking libxcomposite-dev (from .../libxcomposite-dev_1%3a0.4.3-2_armhf.deb) ...
Selecting previously unselected package x11proto-damage-dev.
Unpacking x11proto-damage-dev (from .../x11proto-damage-dev_1%3a1.2.1-2_all.deb) ...
Selecting previously unselected package libxdamage-dev.
Unpacking libxdamage-dev (from .../libxdamage-dev_1%3a1.1.3-2_armhf.deb) ...
Selecting previously unselected package libxml2-utils.
Unpacking libxml2-utils (from .../libxml2-utils_2.8.0+dfsg1-7+nmu1_armhf.deb) ...
Selecting previously unselected package libgtk2.0-dev.
Unpacking libgtk2.0-dev (from .../libgtk2.0-dev_2.24.10-2_armhf.deb) ...
Selecting previously unselected package libxml2-dev:armhf.
Unpacking libxml2-dev:armhf (from .../libxml2-dev_2.8.0+dfsg1-7+nmu1_armhf.deb) ...
Selecting previously unselected package libglade2-dev.
Unpacking libglade2-dev (from .../libglade2-dev_1%3a2.6.4-1_armhf.deb) ...
Selecting previously unselected package libenchant-dev.
Unpacking libenchant-dev (from .../libenchant-dev_1.6.0-7_armhf.deb) ...
Selecting previously unselected package libgtkspell-dev.
Unpacking libgtkspell-dev (from .../libgtkspell-dev_2.0.16-1_armhf.deb) ...
Selecting previously unselected package liblablgtk2-ocaml-dev.
Unpacking liblablgtk2-ocaml-dev (from .../liblablgtk2-ocaml-dev_2.14.2+dfsg-3_armhf.deb) ...
Selecting previously unselected package libcoq-ocaml-dev.
Unpacking libcoq-ocaml-dev (from .../libcoq-ocaml-dev_8.4pl2dfsg-1+b1_armhf.deb) ...
Selecting previously unselected package dh-ocaml.
Unpacking dh-ocaml (from .../dh-ocaml_1.0.7_all.deb) ...
Selecting previously unselected package sbuild-build-depends-aac-tactics-dummy.
Unpacking sbuild-build-depends-aac-tactics-dummy (from .../sbuild-build-depends-aac-tactics-dummy.deb) ...
Setting up libncursesw5:armhf (5.9+20130504-1) ...
Setting up libpcre3:armhf (1:8.31-2) ...
Setting up libpipeline1:armhf (1.2.3-1) ...
Setting up libpopt0:armhf (1.16-7) ...
Setting up libssl1.0.0:armhf (1.0.1e-2+rpi1) ...
Setting up groff-base (1.22.2-2) ...
Setting up bsdmainutils (9.0.5) ...
update-alternatives: using /usr/bin/bsd-write to provide /usr/bin/write (write) in auto mode
update-alternatives: using /usr/bin/bsd-from to provide /usr/bin/from (from) in auto mode
Setting up man-db (2.6.3-6) ...
Not building database; man-db/auto-update is not 'true'.
Setting up libasprintf0c2:armhf (0.18.1.1-10) ...
Setting up libgpg-error0:armhf (1.10-3.1) ...
Setting up libgcrypt11:armhf (1.5.0-5) ...
Setting up libp11-kit0:armhf (0.12-3) ...
Setting up libtasn1-3:armhf (2.13-2) ...
Setting up libgnutls26:armhf (2.12.20-6) ...
Setting up libkeyutils1:armhf (1.5.5-7) ...
Setting up libkrb5support0:armhf (1.10.1+dfsg-5) ...
Setting up libk5crypto3:armhf (1.10.1+dfsg-5) ...
Setting up libkrb5-3:armhf (1.10.1+dfsg-5) ...
Setting up libgssapi-krb5-2:armhf (1.10.1+dfsg-5) ...
Setting up libmagic1:armhf (1:5.14-2) ...
Setting up libsqlite3-0:armhf (3.7.16.2-1) ...
Setting up libxml2:armhf (2.8.0+dfsg1-7+nmu1) ...
Setting up libpython2.7-minimal (2.7.5-4) ...
Setting up python2.7-minimal (2.7.5-4) ...
Setting up libffi6:armhf (3.0.13-4) ...
Setting up libglib2.0-0:armhf (2.36.1-2build1) ...
No schema files found: doing nothing.
Setting up libatk1.0-data (2.8.0-2) ...
Setting up libatk1.0-0:armhf (2.8.0-2) ...
Setting up libavahi-common-data:armhf (0.6.31-2) ...
Setting up libavahi-common3:armhf (0.6.31-2) ...
Setting up libavahi-client3:armhf (0.6.31-2) ...
Setting up libexpat1:armhf (2.1.0-3) ...
Setting up libfreetype6:armhf (2.4.9-1.1) ...
Setting up ucf (3.0027) ...
Setting up fonts-dejavu-core (2.33+svn2514-3) ...
Setting up ttf-dejavu-core (2.33+svn2514-3) ...
Setting up fontconfig-config (2.9.0-7.1) ...
Setting up libfontconfig1:armhf (2.9.0-7.1) ...
Setting up libpixman-1-0:armhf (0.26.0-4) ...
Setting up libpng12-0:armhf (1.2.49-4) ...
Setting up libxau6:armhf (1:1.0.7-1) ...
Setting up libxdmcp6:armhf (1:1.1.1-1) ...
Setting up libxcb1:armhf (1.8.1-2) ...
Setting up libx11-data (2:1.5.0-1+deb7u1) ...
Setting up libx11-6:armhf (2:1.5.0-1) ...
Setting up libxcb-render0:armhf (1.8.1-2) ...
Setting up libxcb-shm0:armhf (1.8.1-2) ...
Setting up libxext6:armhf (2:1.3.1-2) ...
Setting up libxrender1:armhf (1:0.9.7-1) ...
Setting up libcairo2:armhf (1.12.14-4) ...
Setting up libcairo-gobject2:armhf (1.12.14-4) ...
Setting up liblzo2-2:armhf (2.06-1) ...
Setting up libcairo-script-interpreter2:armhf (1.12.14-4) ...
Setting up libcroco3:armhf (0.6.6-2) ...
Setting up libcups2:armhf (1.5.3-5) ...
Setting up libdatrie1:armhf (0.2.6-2) ...
Setting up libjpeg8:armhf (8d-1) ...
Setting up libjasper1:armhf (1.900.1-14) ...
Setting up libjbig0:armhf (2.0-2) ...
Setting up libtiff4:armhf (3.9.6-11) ...
Setting up libgdk-pixbuf2.0-common (2.28.1-1) ...
Setting up libgdk-pixbuf2.0-0:armhf (2.28.1-1) ...
Setting up libunistring0:armhf (0.9.3-5) ...
Setting up libgettextpo0:armhf (0.18.1.1-10) ...
Setting up libelfg0 (0.8.13-3) ...
Setting up libglib2.0-data (2.36.1-2build1) ...
Setting up libglib2.0-bin (2.36.1-2build1) ...
Setting up libgtk2.0-common (2.24.18-1) ...
Setting up libthai-data (0.1.19-2) ...
Setting up libthai0:armhf (0.1.19-2) ...
Setting up libxft2:armhf (2.3.1-1) ...
Setting up fontconfig (2.9.0-7.1) ...
Regenerating fonts cache... done.
Setting up libpango1.0-0:armhf (1.30.0-1) ...
Setting up libxcomposite1:armhf (1:0.4.3-2) ...
Setting up libxfixes3:armhf (1:5.0-4) ...
Setting up libxcursor1:armhf (1:1.1.13-1) ...
Setting up libxdamage1:armhf (1:1.1.3-2) ...
Setting up libxi6:armhf (2:1.6.1-1) ...
Setting up libxinerama1:armhf (2:1.1.2-1) ...
Setting up libxrandr2:armhf (2:1.3.2-2) ...
Setting up shared-mime-info (1.0-1) ...
Setting up libgtk2.0-0:armhf (2.24.10-2) ...
Setting up libhunspell-1.3-0:armhf (1.3.2-4) ...
Setting up x11-common (1:7.7+3) ...
All runlevel operations denied by policy
invoke-rc.d: policy-rc.d denied execution of start.
Setting up libice6:armhf (2:1.0.8-2) ...
Setting up libpcrecpp0:armhf (1:8.31-2) ...
Setting up libsm6:armhf (2:1.2.1-2) ...
Setting up file (1:5.14-2) ...
Setting up gettext-base (0.18.1.1-10) ...
Setting up mime-support (3.54) ...
update-alternatives: using /usr/bin/see to provide /usr/bin/view (view) in auto mode
Setting up libpython2.7-stdlib (2.7.5-4) ...
Setting up python2.7 (2.7.5-4) ...
Setting up python-minimal (2.7.3-5) ...
Setting up python (2.7.3-5) ...
Setting up libaspell15 (0.60.7~20110707-1) ...
Setting up dictionaries-common (1.12.11) ...
Install dictionaries-common for emacs
Setting up emacsen-common (2.0.5) ...
Setting up ocaml-base-nox (3.12.1-4) ...
Setting up libglade2-0 (1:2.6.4-1) ...
Setting up html2text (1.3.2a-15) ...
Setting up libasprintf-dev:armhf (0.18.1.1-10) ...
Setting up libgettextpo-dev:armhf (0.18.1.1-10) ...
Setting up gettext (0.18.1.1-10) ...
Setting up intltool-debian (0.35.0+20060710.1) ...
Setting up po-debconf (1.0.16+nmu2) ...
Setting up debhelper (9.20120909) ...
Setting up libgirepository-1.0-1 (1.36.0-2) ...
Setting up gir1.2-glib-2.0 (1.36.0-2) ...
Setting up gir1.2-atk-1.0 (2.8.0-2) ...
Setting up gir1.2-freedesktop (1.36.0-2) ...
Setting up gir1.2-gdkpixbuf-2.0 (2.28.1-1) ...
Setting up gir1.2-pango-1.0 (1.30.0-1) ...
Setting up pkg-config (0.26-1) ...
Setting up libpcre3-dev:armhf (1:8.31-2) ...
Setting up zlib1g-dev:armhf (1:1.2.8.dfsg-1) ...
Setting up libglib2.0-dev (2.36.1-2build1) ...
Setting up libatk1.0-dev (2.8.0-2) ...
Setting up libexpat1-dev:armhf (2.1.0-3) ...
Setting up libfreetype6-dev (2.4.9-1.1) ...
Setting up libfontconfig1-dev (2.9.0-7.1) ...
Setting up xorg-sgml-doctools (1:1.10-1) ...
Setting up x11proto-core-dev (7.0.23-1) ...
Setting up libxau-dev:armhf (1:1.0.7-1) ...
Setting up libxdmcp-dev:armhf (1:1.1.1-1) ...
Setting up x11proto-input-dev (2.2-1) ...
Setting up x11proto-kb-dev (1.0.6-2) ...
Setting up xtrans-dev (1.2.7-1) ...
Setting up libpthread-stubs0:armhf (0.3-3) ...
Setting up libpthread-stubs0-dev:armhf (0.3-3) ...
Setting up libxcb1-dev:armhf (1.8.1-2) ...
Setting up libx11-dev:armhf (2:1.5.0-1) ...
Setting up x11proto-render-dev (2:0.11.1-2) ...
Setting up libxrender-dev:armhf (1:0.9.7-1) ...
Setting up x11proto-xext-dev (7.2.1-1) ...
Setting up libxext-dev:armhf (2:1.3.1-2) ...
Setting up libpng12-dev (1.2.49-4) ...
Setting up libice-dev:armhf (2:1.0.8-2) ...
Setting up libsm-dev:armhf (2:1.2.1-2) ...
Setting up libpixman-1-dev (0.26.0-4) ...
Setting up libxcb-render0-dev:armhf (1.8.1-2) ...
Setting up libxcb-shm0-dev:armhf (1.8.1-2) ...
Setting up libcairo2-dev (1.12.14-4) ...
Setting up libtinfo-dev:armhf (5.9+20130504-1) ...
Setting up libncurses5-dev:armhf (5.9+20130504-1) ...
Setting up ocaml-interp (3.12.1-4) ...
Setting up ocaml-nox (3.12.1-4) ...
Setting up ocaml-compiler-libs (3.12.1-4) ...
Setting up camlp5 (6.08-1) ...
Setting up libgdk-pixbuf2.0-dev (2.28.1-1) ...
Setting up libxft-dev (2.3.1-1) ...
Setting up libpango1.0-dev (1.30.0-1) ...
Setting up x11proto-xinerama-dev (1.2.1-2) ...
Setting up libxinerama-dev:armhf (2:1.1.2-1) ...
Setting up libxi-dev (2:1.6.1-1) ...
Setting up x11proto-randr-dev (1.3.2-2) ...
Setting up libxrandr-dev (2:1.3.2-2) ...
Setting up x11proto-fixes-dev (1:5.0-2) ...
Setting up libxfixes-dev (1:5.0-4) ...
Setting up libxcursor-dev:armhf (1:1.1.13-1) ...
Setting up x11proto-composite-dev (1:0.4.2-2) ...
Setting up libxcomposite-dev (1:0.4.3-2) ...
Setting up x11proto-damage-dev (1:1.2.1-2) ...
Setting up libxdamage-dev (1:1.1.3-2) ...
Setting up libxml2-utils (2.8.0+dfsg1-7+nmu1) ...
Setting up libgtk2.0-dev (2.24.10-2) ...
Setting up libxml2-dev:armhf (2.8.0+dfsg1-7+nmu1) ...
Setting up libglade2-dev (1:2.6.4-1) ...
Setting up dh-ocaml (1.0.7) ...
Processing triggers for dictionaries-common ...
aspell-autobuildhash: processing: en [en-common]
aspell-autobuildhash: processing: en [en-variant_0]
aspell-autobuildhash: processing: en [en-variant_1]
aspell-autobuildhash: processing: en [en-variant_2]
aspell-autobuildhash: processing: en [en-w_accents-only]
aspell-autobuildhash: processing: en [en-wo_accents-only]
aspell-autobuildhash: processing: en [en_CA-variant_0]
aspell-autobuildhash: processing: en [en_CA-variant_1]
aspell-autobuildhash: processing: en [en_CA-w_accents-only]
aspell-autobuildhash: processing: en [en_CA-wo_accents-only]
aspell-autobuildhash: processing: en [en_GB-ise-w_accents-only]
aspell-autobuildhash: processing: en [en_GB-ise-wo_accents-only]
aspell-autobuildhash: processing: en [en_GB-ize-w_accents-only]
aspell-autobuildhash: processing: en [en_GB-ize-wo_accents-only]
aspell-autobuildhash: processing: en [en_GB-variant_0]
aspell-autobuildhash: processing: en [en_GB-variant_1]
aspell-autobuildhash: processing: en [en_US-w_accents-only]
aspell-autobuildhash: processing: en [en_US-wo_accents-only]
Setting up aspell (0.60.7~20110707-1) ...
Processing triggers for dictionaries-common ...
Setting up aspell-en (7.1-0-1) ...
Processing triggers for dictionaries-common ...
Setting up libenchant1c2a (1.6.0-7) ...
Setting up libgtkspell0 (2.0.16-1) ...
Setting up liblablgtk2-ocaml (2.14.2+dfsg-3) ...
Setting up libcoq-ocaml (8.4pl2dfsg-1+b1) ...
Setting up libenchant-dev (1.6.0-7) ...
Setting up libgtkspell-dev (2.0.16-1) ...
Setting up liblablgtk2-ocaml-dev (2.14.2+dfsg-3) ...
Setting up coq-theories (8.4pl2dfsg-1) ...
Setting up coq (8.4pl2dfsg-1+b1) ...
Install coq for emacs
Setting up libcoq-ocaml-dev (8.4pl2dfsg-1+b1) ...
Setting up sbuild-build-depends-aac-tactics-dummy (0.invalid.0) ...
┌──────────────────────────────────────────────────────────────────────────────┐
│ Build environment │
└──────────────────────────────────────────────────────────────────────────────┘
Kernel: Linux 3.9.4-imx4 armhf (armv7l)
Toolchain package versions: binutils_2.22-8 dpkg-dev_1.16.10 g++-4.6_4.6.3-14+rpi1 gcc-4.6_4.6.3-14+rpi1 libc6-dev_2.13-38+rpi2 libstdc++6_4.7.2-5+rpi1 libstdc++6-4.6-dev_4.6.3-14+rpi1 linux-libc-dev_3.2.41-2+rpi1
Package versions: apt_0.9.7.8+rpi1 aspell_0.60.7~20110707-1 aspell-en_7.1-0-1 base-files_7.1 base-passwd_3.5.26 bash_4.2+dfsg-0.1 binutils_2.22-8 bsdmainutils_9.0.5 bsdutils_1:2.20.1-5.3 build-essential_11.5+b1 bzip2_1.0.6-4 camlp5_6.08-1 coq_8.4pl2dfsg-1+b1 coq-theories_8.4pl2dfsg-1 coreutils_8.13-3.5 cpio_2.11+dfsg-0.1 cpp_4:4.6.3-8 cpp-4.6_4.6.3-14+rpi1 dash_0.5.7-3 debconf_1.5.50 debconf-i18n_1.5.50 debfoster_2.7-1.2 debhelper_9.20120909 debianutils_4.3.2 dh-ocaml_1.0.7 dictionaries-common_1.12.11 diffutils_1:3.2-6 dpkg_1.16.10 dpkg-dev_1.16.10 e2fslibs_1.42.5-1.1 e2fsprogs_1.42.5-1.1 emacsen-common_2.0.5 fakeroot_1.18.4-2 file_1:5.14-2 findutils_4.4.2-4 fontconfig_2.9.0-7.1 fontconfig-config_2.9.0-7.1 fonts-dejavu-core_2.33+svn2514-3 g++_4:4.6.3-8 g++-4.6_4.6.3-14+rpi1 gcc_4:4.6.3-8 gcc-4.5-base_4.5.3-12+rpi1 gcc-4.6_4.6.3-14+rpi1 gcc-4.6-base_4.6.3-14+rpi1 gcc-4.7-base_4.7.2-5+rpi1 gettext_0.18.1.1-10 gettext-base_0.18.1.1-10 gir1.2-atk-1.0_2.8.0-2 gir1.2-freedesktop_1.36.0-2 gir1.2-gdkpixbuf-2.0_2.28.1-1 gir1.2-glib-2.0_1.36.0-2 gir1.2-pango-1.0_1.30.0-1 gnupg_1.4.12-7 gpgv_1.4.12-7 grep_2.12-2 groff-base_1.22.2-2 gzip_1.5-1.1 hostname_3.11 html2text_1.3.2a-15 initramfs-tools_0.112 initscripts_2.88dsf-41 insserv_1.14.0-5 intltool-debian_0.35.0+20060710.1 klibc-utils_2.0.1-3.1+rpi1 kmod_9-3 libacl1_2.2.51-8 libapt-pkg4.12_0.9.7.8+rpi1 libaspell15_0.60.7~20110707-1 libasprintf-dev_0.18.1.1-10 libasprintf0c2_0.18.1.1-10 libatk1.0-0_2.8.0-2 libatk1.0-data_2.8.0-2 libatk1.0-dev_2.8.0-2 libattr1_1:2.4.46-8 libavahi-client3_0.6.31-2 libavahi-common-data_0.6.31-2 libavahi-common3_0.6.31-2 libblkid1_2.20.1-5.3 libbz2-1.0_1.0.6-4 libc-bin_2.13-38+rpi2 libc-dev-bin_2.13-38+rpi2 libc6_2.13-38+rpi2 libc6-dev_2.13-38+rpi2 libcairo-gobject2_1.12.14-4 libcairo-script-interpreter2_1.12.14-4 libcairo2_1.12.14-4 libcairo2-dev_1.12.14-4 libclass-isa-perl_0.36-5 libcomerr2_1.42.5-1.1 libcoq-ocaml_8.4pl2dfsg-1+b1 libcoq-ocaml-dev_8.4pl2dfsg-1+b1 libcroco3_0.6.6-2 libcups2_1.5.3-5 libdatrie1_0.2.6-2 libdb5.1_5.1.29-5 libdbus-1-3_1.6.8-1 libdpkg-perl_1.16.10 libelfg0_0.8.13-3 libenchant-dev_1.6.0-7 libenchant1c2a_1.6.0-7 libexpat1_2.1.0-3 libexpat1-dev_2.1.0-3 libffi6_3.0.13-4 libfontconfig1_2.9.0-7.1 libfontconfig1-dev_2.9.0-7.1 libfreetype6_2.4.9-1.1 libfreetype6-dev_2.4.9-1.1 libgc1c2_1:7.1-9.1 libgcc1_1:4.7.2-5+rpi1 libgcrypt11_1.5.0-5 libgdbm3_1.8.3-11 libgdk-pixbuf2.0-0_2.28.1-1 libgdk-pixbuf2.0-common_2.28.1-1 libgdk-pixbuf2.0-dev_2.28.1-1 libgettextpo-dev_0.18.1.1-10 libgettextpo0_0.18.1.1-10 libgirepository-1.0-1_1.36.0-2 libglade2-0_1:2.6.4-1 libglade2-dev_1:2.6.4-1 libglib2.0-0_2.36.1-2build1 libglib2.0-bin_2.36.1-2build1 libglib2.0-data_2.36.1-2build1 libglib2.0-dev_2.36.1-2build1 libgmp10_2:5.0.5+dfsg-2 libgnutls26_2.12.20-6 libgomp1_4.7.2-5+rpi1 libgpg-error0_1.10-3.1 libgssapi-krb5-2_1.10.1+dfsg-5 libgtk2.0-0_2.24.10-2 libgtk2.0-common_2.24.18-1 libgtk2.0-dev_2.24.10-2 libgtkspell-dev_2.0.16-1 libgtkspell0_2.0.16-1 libhunspell-1.3-0_1.3.2-4 libice-dev_2:1.0.8-2 libice6_2:1.0.8-2 libjasper1_1.900.1-14 libjbig0_2.0-2 libjpeg8_8d-1 libk5crypto3_1.10.1+dfsg-5 libkeyutils1_1.5.5-7 libklibc_2.0.1-3.1+rpi1 libkmod2_9-3 libkrb5-3_1.10.1+dfsg-5 libkrb5support0_1.10.1+dfsg-5 liblablgtk2-ocaml_2.14.2+dfsg-3 liblablgtk2-ocaml-dev_2.14.2+dfsg-3 liblocale-gettext-perl_1.05-7 liblzma5_5.1.1alpha+20120614-2 liblzo2-2_2.06-1 libmagic1_1:5.14-2 libmount1_2.20.1-5.3 libmpc2_0.9-4 libmpfr4_3.1.0-5 libncurses5_5.9+20130504-1 libncurses5-dev_5.9+20130504-1 libncursesw5_5.9+20130504-1 libnih-dbus1_1.0.3-4.1 libnih1_1.0.3-4.1 libp11-kit0_0.12-3 libpam-modules_1.1.3-7.1 libpam-modules-bin_1.1.3-7.1 libpam-runtime_1.1.3-9 libpam0g_1.1.3-7.1 libpango1.0-0_1.30.0-1 libpango1.0-dev_1.30.0-1 libpcre3_1:8.31-2 libpcre3-dev_1:8.31-2 libpcrecpp0_1:8.31-2 libpipeline1_1.2.3-1 libpixman-1-0_0.26.0-4 libpixman-1-dev_0.26.0-4 libpng12-0_1.2.49-4 libpng12-dev_1.2.49-4 libpopt0_1.16-7 libprocps0_1:3.3.3-3 libpthread-stubs0_0.3-3 libpthread-stubs0-dev_0.3-3 libpython2.7-minimal_2.7.5-4 libpython2.7-stdlib_2.7.5-4 libreadline6_6.2+dfsg-0.1 libselinux1_2.1.9-5 libsemanage-common_2.1.6-6 libsemanage1_2.1.6-6 libsepol1_2.1.4-3 libslang2_2.2.4-15 libsm-dev_2:1.2.1-2 libsm6_2:1.2.1-2 libsqlite3-0_3.7.16.2-1 libss2_1.42.5-1.1 libssl1.0.0_1.0.1e-2+rpi1 libstdc++6_4.7.2-5+rpi1 libstdc++6-4.6-dev_4.6.3-14+rpi1 libswitch-perl_2.16-2 libtasn1-3_2.13-2 libtext-charwidth-perl_0.04-7 libtext-iconv-perl_1.7-5 libtext-wrapi18n-perl_0.06-7 libthai-data_0.1.19-2 libthai0_0.1.19-2 libtiff4_3.9.6-11 libtimedate-perl_1.2000-1 libtinfo-dev_5.9+20130504-1 libtinfo5_5.9+20130504-1 libudev0_175-7.2 libunistring0_0.9.3-5 libusb-0.1-4_2:0.1.12-20+nmu1 libustr-1.0-1_1.0.4-3 libuuid1_2.20.1-5.3 libx11-6_2:1.5.0-1 libx11-data_2:1.5.0-1+deb7u1 libx11-dev_2:1.5.0-1 libxau-dev_1:1.0.7-1 libxau6_1:1.0.7-1 libxcb-render0_1.8.1-2 libxcb-render0-dev_1.8.1-2 libxcb-shm0_1.8.1-2 libxcb-shm0-dev_1.8.1-2 libxcb1_1.8.1-2 libxcb1-dev_1.8.1-2 libxcomposite-dev_1:0.4.3-2 libxcomposite1_1:0.4.3-2 libxcursor-dev_1:1.1.13-1 libxcursor1_1:1.1.13-1 libxdamage-dev_1:1.1.3-2 libxdamage1_1:1.1.3-2 libxdmcp-dev_1:1.1.1-1 libxdmcp6_1:1.1.1-1 libxext-dev_2:1.3.1-2 libxext6_2:1.3.1-2 libxfixes-dev_1:5.0-4 libxfixes3_1:5.0-4 libxft-dev_2.3.1-1 libxft2_2.3.1-1 libxi-dev_2:1.6.1-1 libxi6_2:1.6.1-1 libxinerama-dev_2:1.1.2-1 libxinerama1_2:1.1.2-1 libxml2_2.8.0+dfsg1-7+nmu1 libxml2-dev_2.8.0+dfsg1-7+nmu1 libxml2-utils_2.8.0+dfsg1-7+nmu1 libxrandr-dev_2:1.3.2-2 libxrandr2_2:1.3.2-2 libxrender-dev_1:0.9.7-1 libxrender1_1:0.9.7-1 linux-libc-dev_3.2.41-2+rpi1 login_1:4.1.5.1-1 lsb-base_4.1+Debian8+rpi1 make_3.81-8.2 makedev_2.3.1-92 man-db_2.6.3-6 mawk_1.3.3-17 mime-support_3.54 mount_2.20.1-5.3 mountall_2.46 multiarch-support_2.13-38+rpi2 ncurses-base_5.9-10 ncurses-bin_5.9+20130504-1 ocaml-base-nox_3.12.1-4 ocaml-compiler-libs_3.12.1-4 ocaml-interp_3.12.1-4 ocaml-nox_3.12.1-4 passwd_1:4.1.5.1-1 patch_2.6.1-3 perl_5.14.2-21+rpi1 perl-base_5.14.2-21+rpi1 perl-modules_5.14.2-21+rpi1 pkg-config_0.26-1 plymouth_0.8.5.1-5 po-debconf_1.0.16+nmu2 procps_1:3.3.3-3 python_2.7.3-5 python-minimal_2.7.3-5 python2.7_2.7.5-4 python2.7-minimal_2.7.5-4 raspbian-archive-keyring_20120528.2 readline-common_6.2+dfsg-0.1 sbuild-build-depends-aac-tactics-dummy_0.invalid.0 sbuild-build-depends-core-dummy_0.invalid.0 sed_4.2.1-10 sensible-utils_0.0.7 shared-mime-info_1.0-1 sysv-rc_2.88dsf-41 sysvinit_2.88dsf-41 sysvinit-utils_2.88dsf-41 tar_1.26+dfsg-0.1 ttf-dejavu-core_2.33+svn2514-3 tzdata_2013b-2 ucf_3.0027 udev_175-7.2 util-linux_2.20.1-5.3 x11-common_1:7.7+3 x11proto-composite-dev_1:0.4.2-2 x11proto-core-dev_7.0.23-1 x11proto-damage-dev_1:1.2.1-2 x11proto-fixes-dev_1:5.0-2 x11proto-input-dev_2.2-1 x11proto-kb-dev_1.0.6-2 x11proto-randr-dev_1.3.2-2 x11proto-render-dev_2:0.11.1-2 x11proto-xext-dev_7.2.1-1 x11proto-xinerama-dev_1.2.1-2 xorg-sgml-doctools_1:1.10-1 xtrans-dev_1.2.7-1 xz-utils_5.1.1alpha+20120614-2 zlib1g_1:1.2.8.dfsg-1 zlib1g-dev_1:1.2.8.dfsg-1
┌──────────────────────────────────────────────────────────────────────────────┐
│ Build │
└──────────────────────────────────────────────────────────────────────────────┘
Unpack source
─────────────
gpgv: keyblock resource `/sbuild-nonexistent/.gnupg/trustedkeys.gpg': file open error
gpgv: Signature made Thu May 9 11:31:24 2013 UTC using RSA key ID 49881AD3
gpgv: Can't check signature: public key not found
dpkg-source: warning: failed to verify signature on ./aac-tactics_0.3.pl1-1.dsc
dpkg-source: info: extracting aac-tactics in aac-tactics-0.3.pl1
dpkg-source: info: unpacking aac-tactics_0.3.pl1.orig.tar.gz
dpkg-source: info: unpacking aac-tactics_0.3.pl1-1.debian.tar.gz
Check disc space
────────────────
Sufficient free space for build
User Environment
────────────────
APT_CONFIG=/var/lib/sbuild/apt.conf
COLUMNS=80
CONSOLE=/dev/console
DEB_BUILD_OPTIONS=parallel=4
HOME=/sbuild-nonexistent
INIT_VERSION=sysvinit-2.88
LC_ALL=POSIX
LINES=24
LOGNAME=buildd
PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games
PREVLEVEL=N
PWD=/
RUNLEVEL=2
SCHROOT_ALIAS_NAME=jessie-staging-armhf-sbuild
SCHROOT_CHROOT_NAME=jessie-staging-armhf-sbuild
SCHROOT_COMMAND=env
SCHROOT_GID=111
SCHROOT_GROUP=buildd
SCHROOT_SESSION_ID=jessie-staging-armhf-sbuild-5b2db526-9b5d-46bf-8fcc-c6d47231e758
SCHROOT_UID=106
SCHROOT_USER=buildd
SHELL=/bin/sh
TERM=linux
USER=buildd
previous=N
runlevel=2
dpkg-buildpackage
─────────────────
dpkg-buildpackage: source package aac-tactics
dpkg-buildpackage: source version 0.3.pl1-1
dpkg-buildpackage: source changed by Stéphane Glondu <glondu@debian.org>
dpkg-source --before-build aac-tactics-0.3.pl1
dpkg-buildpackage: host architecture armhf
fakeroot debian/rules clean
dh clean --with ocaml
dh_testdir
dh_auto_clean
make[1]: Entering directory `/«PKGBUILDDIR»'
coq_makefile -R . AAC_tactics coq.mli helper.mli search_monad.mli matcher.mli theory.mli print.mli rewrite.mli coq.ml helper.ml search_monad.ml matcher.ml theory.ml print.ml rewrite.ml4 aac.mlpack AAC.v Instances.v Tutorial.v Caveats.v -o Makefile.coq
make -f Makefile.coq clean
make[2]: Entering directory `/«PKGBUILDDIR»'
ocamldep -slash "print.mli" > "print.mli.d" || ( RV=$?; rm -f "print.mli.d"; exit ${RV} )
ocamldep -slash "theory.mli" > "theory.mli.d" || ( RV=$?; rm -f "theory.mli.d"; exit ${RV} )
ocamldep -slash "matcher.mli" > "matcher.mli.d" || ( RV=$?; rm -f "matcher.mli.d"; exit ${RV} )
ocamldep -slash "search_monad.mli" > "search_monad.mli.d" || ( RV=$?; rm -f "search_monad.mli.d"; exit ${RV} )
ocamldep -slash "helper.mli" > "helper.mli.d" || ( RV=$?; rm -f "helper.mli.d"; exit ${RV} )
ocamldep -slash "coq.mli" > "coq.mli.d" || ( RV=$?; rm -f "coq.mli.d"; exit ${RV} )
coqdep -c -slash -R . AAC_tactics -c "aac.mlpack" > "aac.mlpack.d" || ( RV=$?; rm -f "aac.mlpack.d"; exit ${RV} )
ocamldep -slash "print.ml" > "print.ml.d" || ( RV=$?; rm -f "print.ml.d"; exit ${RV} )
ocamldep -slash "theory.ml" > "theory.ml.d" || ( RV=$?; rm -f "theory.ml.d"; exit ${RV} )
ocamldep -slash "matcher.ml" > "matcher.ml.d" || ( RV=$?; rm -f "matcher.ml.d"; exit ${RV} )
ocamldep -slash "search_monad.ml" > "search_monad.ml.d" || ( RV=$?; rm -f "search_monad.ml.d"; exit ${RV} )
ocamldep -slash "helper.ml" > "helper.ml.d" || ( RV=$?; rm -f "helper.ml.d"; exit ${RV} )
ocamldep -slash "coq.ml" > "coq.ml.d" || ( RV=$?; rm -f "coq.ml.d"; exit ${RV} )
coqdep -c -slash "rewrite.ml4" > "rewrite.ml4.d" || ( RV=$?; rm -f "rewrite.ml4.d"; exit ${RV} )
coqdep -c -slash -R . AAC_tactics "Caveats.v" > "Caveats.v.d" || ( RV=$?; rm -f "Caveats.v.d"; exit ${RV} )
coqdep -c -slash -R . AAC_tactics "Tutorial.v" > "Tutorial.v.d" || ( RV=$?; rm -f "Tutorial.v.d"; exit ${RV} )
coqdep -c -slash -R . AAC_tactics "Instances.v" > "Instances.v.d" || ( RV=$?; rm -f "Instances.v.d"; exit ${RV} )
coqdep -c -slash -R . AAC_tactics "AAC.v" > "AAC.v.d" || ( RV=$?; rm -f "AAC.v.d"; exit ${RV} )
make[2]: Leaving directory `/«PKGBUILDDIR»'
make[2]: Entering directory `/«PKGBUILDDIR»'
rm -f rewrite.cmo coq.cmo helper.cmo search_monad.cmo matcher.cmo theory.cmo print.cmo aac.cmo aac.cmi coq.cmi helper.cmi matcher.cmi print.cmi rewrite.cmi search_monad.cmi theory.cmi
rm -f rewrite.cmx coq.cmx helper.cmx search_monad.cmx matcher.cmx theory.cmx print.cmx aac.cmx aac.cmxs rewrite.o coq.o helper.o search_monad.o matcher.o theory.o print.o aac.o
rm -f coq.ml.d helper.ml.d search_monad.ml.d matcher.ml.d theory.ml.d print.ml.d coq.mli.d helper.mli.d search_monad.mli.d matcher.mli.d theory.mli.d print.mli.d rewrite.mli.d rewrite.ml4.d aac.mlpack.d
rm -f AAC.vo Instances.vo Tutorial.vo Caveats.vo AAC.vi Instances.vi Tutorial.vi Caveats.vi AAC.g Instances.g Tutorial.g Caveats.g AAC.v.d Instances.v.d Tutorial.v.d Caveats.v.d AAC.v.beautified Instances.v.beautified Tutorial.v.beautified Caveats.v.beautified AAC.v.old Instances.v.old Tutorial.v.old Caveats.v.old
rm -f all.ps all-gal.ps all.pdf all-gal.pdf all.glob AAC.glob Instances.glob Tutorial.glob Caveats.glob AAC.tex Instances.tex Tutorial.tex Caveats.tex AAC.g.tex Instances.g.tex Tutorial.g.tex Caveats.g.tex all-mli.tex
rm -rf html mlihtml
make[2]: Leaving directory `/«PKGBUILDDIR»'
rm -f Makefile.coq .depend
make[1]: Leaving directory `/«PKGBUILDDIR»'
dh_ocamlclean
dh_clean
debian/rules build-arch
dh build-arch --with ocaml
dh_testdir -a
dh_ocamlinit -a
dh_auto_configure -a
debian/rules override_dh_auto_build
make[1]: Entering directory `/«PKGBUILDDIR»'
/usr/bin/make Makefile.coq
make[2]: Entering directory `/«PKGBUILDDIR»'
coq_makefile -R . AAC_tactics coq.mli helper.mli search_monad.mli matcher.mli theory.mli print.mli rewrite.mli coq.ml helper.ml search_monad.ml matcher.ml theory.ml print.ml rewrite.ml4 aac.mlpack AAC.v Instances.v Tutorial.v Caveats.v -o Makefile.coq
make[2]: Leaving directory `/«PKGBUILDDIR»'
/usr/bin/make -f Makefile.coq byte html
make[2]: Entering directory `/«PKGBUILDDIR»'
ocamldep -slash "print.mli" > "print.mli.d" || ( RV=$?; rm -f "print.mli.d"; exit ${RV} )
ocamldep -slash "theory.mli" > "theory.mli.d" || ( RV=$?; rm -f "theory.mli.d"; exit ${RV} )
ocamldep -slash "matcher.mli" > "matcher.mli.d" || ( RV=$?; rm -f "matcher.mli.d"; exit ${RV} )
ocamldep -slash "search_monad.mli" > "search_monad.mli.d" || ( RV=$?; rm -f "search_monad.mli.d"; exit ${RV} )
ocamldep -slash "helper.mli" > "helper.mli.d" || ( RV=$?; rm -f "helper.mli.d"; exit ${RV} )
ocamldep -slash "coq.mli" > "coq.mli.d" || ( RV=$?; rm -f "coq.mli.d"; exit ${RV} )
coqdep -c -slash -R . AAC_tactics -c "aac.mlpack" > "aac.mlpack.d" || ( RV=$?; rm -f "aac.mlpack.d"; exit ${RV} )
ocamldep -slash "print.ml" > "print.ml.d" || ( RV=$?; rm -f "print.ml.d"; exit ${RV} )
ocamldep -slash "theory.ml" > "theory.ml.d" || ( RV=$?; rm -f "theory.ml.d"; exit ${RV} )
ocamldep -slash "matcher.ml" > "matcher.ml.d" || ( RV=$?; rm -f "matcher.ml.d"; exit ${RV} )
ocamldep -slash "search_monad.ml" > "search_monad.ml.d" || ( RV=$?; rm -f "search_monad.ml.d"; exit ${RV} )
ocamldep -slash "helper.ml" > "helper.ml.d" || ( RV=$?; rm -f "helper.ml.d"; exit ${RV} )
ocamldep -slash "coq.ml" > "coq.ml.d" || ( RV=$?; rm -f "coq.ml.d"; exit ${RV} )
coqdep -c -slash "rewrite.ml4" > "rewrite.ml4.d" || ( RV=$?; rm -f "rewrite.ml4.d"; exit ${RV} )
coqdep -c -slash -R . AAC_tactics "Caveats.v" > "Caveats.v.d" || ( RV=$?; rm -f "Caveats.v.d"; exit ${RV} )
coqdep -c -slash -R . AAC_tactics "Tutorial.v" > "Tutorial.v.d" || ( RV=$?; rm -f "Tutorial.v.d"; exit ${RV} )
coqdep -c -slash -R . AAC_tactics "Instances.v" > "Instances.v.d" || ( RV=$?; rm -f "Instances.v.d"; exit ${RV} )
coqdep -c -slash -R . AAC_tactics "AAC.v" > "AAC.v.d" || ( RV=$?; rm -f "AAC.v.d"; exit ${RV} )
make[2]: Leaving directory `/«PKGBUILDDIR»'
make[2]: Entering directory `/«PKGBUILDDIR»'
/usr/bin/make all "OPT:=-byte"
make[3]: Entering directory `/«PKGBUILDDIR»'
/usr/bin/make -f Makefile.coq all
make[4]: Entering directory `/«PKGBUILDDIR»'
ocamlc -c -rectypes -I /usr/lib/coq/kernel -I /usr/lib/coq/lib -I /usr/lib/coq/library -I /usr/lib/coq/parsing -I /usr/lib/coq/pretyping -I /usr/lib/coq/interp -I /usr/lib/coq/proofs -I /usr/lib/coq/tactics -I /usr/lib/coq/toplevel -I /usr/lib/coq/plugins/cc -I /usr/lib/coq/plugins/decl_mode -I /usr/lib/coq/plugins/extraction -I /usr/lib/coq/plugins/field -I /usr/lib/coq/plugins/firstorder -I /usr/lib/coq/plugins/fourier -I /usr/lib/coq/plugins/funind -I /usr/lib/coq/plugins/interface -I /usr/lib/coq/plugins/micromega -I /usr/lib/coq/plugins/nsatz -I /usr/lib/coq/plugins/omega -I /usr/lib/coq/plugins/quote -I /usr/lib/coq/plugins/ring -I /usr/lib/coq/plugins/romega -I /usr/lib/coq/plugins/rtauto -I /usr/lib/coq/plugins/setoid_ring -I /usr/lib/coq/plugins/subtac -I /usr/lib/coq/plugins/subtac/test -I /usr/lib/coq/plugins/syntax -I /usr/lib/coq/plugins/xml -I /usr/lib/ocaml/camlp5 coq.mli
ocamlc -c -rectypes -I /usr/lib/coq/kernel -I /usr/lib/coq/lib -I /usr/lib/coq/library -I /usr/lib/coq/parsing -I /usr/lib/coq/pretyping -I /usr/lib/coq/interp -I /usr/lib/coq/proofs -I /usr/lib/coq/tactics -I /usr/lib/coq/toplevel -I /usr/lib/coq/plugins/cc -I /usr/lib/coq/plugins/decl_mode -I /usr/lib/coq/plugins/extraction -I /usr/lib/coq/plugins/field -I /usr/lib/coq/plugins/firstorder -I /usr/lib/coq/plugins/fourier -I /usr/lib/coq/plugins/funind -I /usr/lib/coq/plugins/interface -I /usr/lib/coq/plugins/micromega -I /usr/lib/coq/plugins/nsatz -I /usr/lib/coq/plugins/omega -I /usr/lib/coq/plugins/quote -I /usr/lib/coq/plugins/ring -I /usr/lib/coq/plugins/romega -I /usr/lib/coq/plugins/rtauto -I /usr/lib/coq/plugins/setoid_ring -I /usr/lib/coq/plugins/subtac -I /usr/lib/coq/plugins/subtac/test -I /usr/lib/coq/plugins/syntax -I /usr/lib/coq/plugins/xml -I /usr/lib/ocaml/camlp5 coq.ml
ocamlc -c -rectypes -I /usr/lib/coq/kernel -I /usr/lib/coq/lib -I /usr/lib/coq/library -I /usr/lib/coq/parsing -I /usr/lib/coq/pretyping -I /usr/lib/coq/interp -I /usr/lib/coq/proofs -I /usr/lib/coq/tactics -I /usr/lib/coq/toplevel -I /usr/lib/coq/plugins/cc -I /usr/lib/coq/plugins/decl_mode -I /usr/lib/coq/plugins/extraction -I /usr/lib/coq/plugins/field -I /usr/lib/coq/plugins/firstorder -I /usr/lib/coq/plugins/fourier -I /usr/lib/coq/plugins/funind -I /usr/lib/coq/plugins/interface -I /usr/lib/coq/plugins/micromega -I /usr/lib/coq/plugins/nsatz -I /usr/lib/coq/plugins/omega -I /usr/lib/coq/plugins/quote -I /usr/lib/coq/plugins/ring -I /usr/lib/coq/plugins/romega -I /usr/lib/coq/plugins/rtauto -I /usr/lib/coq/plugins/setoid_ring -I /usr/lib/coq/plugins/subtac -I /usr/lib/coq/plugins/subtac/test -I /usr/lib/coq/plugins/syntax -I /usr/lib/coq/plugins/xml -I /usr/lib/ocaml/camlp5 helper.mli
ocamlc -c -rectypes -I /usr/lib/coq/kernel -I /usr/lib/coq/lib -I /usr/lib/coq/library -I /usr/lib/coq/parsing -I /usr/lib/coq/pretyping -I /usr/lib/coq/interp -I /usr/lib/coq/proofs -I /usr/lib/coq/tactics -I /usr/lib/coq/toplevel -I /usr/lib/coq/plugins/cc -I /usr/lib/coq/plugins/decl_mode -I /usr/lib/coq/plugins/extraction -I /usr/lib/coq/plugins/field -I /usr/lib/coq/plugins/firstorder -I /usr/lib/coq/plugins/fourier -I /usr/lib/coq/plugins/funind -I /usr/lib/coq/plugins/interface -I /usr/lib/coq/plugins/micromega -I /usr/lib/coq/plugins/nsatz -I /usr/lib/coq/plugins/omega -I /usr/lib/coq/plugins/quote -I /usr/lib/coq/plugins/ring -I /usr/lib/coq/plugins/romega -I /usr/lib/coq/plugins/rtauto -I /usr/lib/coq/plugins/setoid_ring -I /usr/lib/coq/plugins/subtac -I /usr/lib/coq/plugins/subtac/test -I /usr/lib/coq/plugins/syntax -I /usr/lib/coq/plugins/xml -I /usr/lib/ocaml/camlp5 helper.ml
ocamlc -c -rectypes -I /usr/lib/coq/kernel -I /usr/lib/coq/lib -I /usr/lib/coq/library -I /usr/lib/coq/parsing -I /usr/lib/coq/pretyping -I /usr/lib/coq/interp -I /usr/lib/coq/proofs -I /usr/lib/coq/tactics -I /usr/lib/coq/toplevel -I /usr/lib/coq/plugins/cc -I /usr/lib/coq/plugins/decl_mode -I /usr/lib/coq/plugins/extraction -I /usr/lib/coq/plugins/field -I /usr/lib/coq/plugins/firstorder -I /usr/lib/coq/plugins/fourier -I /usr/lib/coq/plugins/funind -I /usr/lib/coq/plugins/interface -I /usr/lib/coq/plugins/micromega -I /usr/lib/coq/plugins/nsatz -I /usr/lib/coq/plugins/omega -I /usr/lib/coq/plugins/quote -I /usr/lib/coq/plugins/ring -I /usr/lib/coq/plugins/romega -I /usr/lib/coq/plugins/rtauto -I /usr/lib/coq/plugins/setoid_ring -I /usr/lib/coq/plugins/subtac -I /usr/lib/coq/plugins/subtac/test -I /usr/lib/coq/plugins/syntax -I /usr/lib/coq/plugins/xml -I /usr/lib/ocaml/camlp5 search_monad.mli
ocamlc -c -rectypes -I /usr/lib/coq/kernel -I /usr/lib/coq/lib -I /usr/lib/coq/library -I /usr/lib/coq/parsing -I /usr/lib/coq/pretyping -I /usr/lib/coq/interp -I /usr/lib/coq/proofs -I /usr/lib/coq/tactics -I /usr/lib/coq/toplevel -I /usr/lib/coq/plugins/cc -I /usr/lib/coq/plugins/decl_mode -I /usr/lib/coq/plugins/extraction -I /usr/lib/coq/plugins/field -I /usr/lib/coq/plugins/firstorder -I /usr/lib/coq/plugins/fourier -I /usr/lib/coq/plugins/funind -I /usr/lib/coq/plugins/interface -I /usr/lib/coq/plugins/micromega -I /usr/lib/coq/plugins/nsatz -I /usr/lib/coq/plugins/omega -I /usr/lib/coq/plugins/quote -I /usr/lib/coq/plugins/ring -I /usr/lib/coq/plugins/romega -I /usr/lib/coq/plugins/rtauto -I /usr/lib/coq/plugins/setoid_ring -I /usr/lib/coq/plugins/subtac -I /usr/lib/coq/plugins/subtac/test -I /usr/lib/coq/plugins/syntax -I /usr/lib/coq/plugins/xml -I /usr/lib/ocaml/camlp5 search_monad.ml
ocamlc -c -rectypes -I /usr/lib/coq/kernel -I /usr/lib/coq/lib -I /usr/lib/coq/library -I /usr/lib/coq/parsing -I /usr/lib/coq/pretyping -I /usr/lib/coq/interp -I /usr/lib/coq/proofs -I /usr/lib/coq/tactics -I /usr/lib/coq/toplevel -I /usr/lib/coq/plugins/cc -I /usr/lib/coq/plugins/decl_mode -I /usr/lib/coq/plugins/extraction -I /usr/lib/coq/plugins/field -I /usr/lib/coq/plugins/firstorder -I /usr/lib/coq/plugins/fourier -I /usr/lib/coq/plugins/funind -I /usr/lib/coq/plugins/interface -I /usr/lib/coq/plugins/micromega -I /usr/lib/coq/plugins/nsatz -I /usr/lib/coq/plugins/omega -I /usr/lib/coq/plugins/quote -I /usr/lib/coq/plugins/ring -I /usr/lib/coq/plugins/romega -I /usr/lib/coq/plugins/rtauto -I /usr/lib/coq/plugins/setoid_ring -I /usr/lib/coq/plugins/subtac -I /usr/lib/coq/plugins/subtac/test -I /usr/lib/coq/plugins/syntax -I /usr/lib/coq/plugins/xml -I /usr/lib/ocaml/camlp5 matcher.mli
ocamlc -c -rectypes -I /usr/lib/coq/kernel -I /usr/lib/coq/lib -I /usr/lib/coq/library -I /usr/lib/coq/parsing -I /usr/lib/coq/pretyping -I /usr/lib/coq/interp -I /usr/lib/coq/proofs -I /usr/lib/coq/tactics -I /usr/lib/coq/toplevel -I /usr/lib/coq/plugins/cc -I /usr/lib/coq/plugins/decl_mode -I /usr/lib/coq/plugins/extraction -I /usr/lib/coq/plugins/field -I /usr/lib/coq/plugins/firstorder -I /usr/lib/coq/plugins/fourier -I /usr/lib/coq/plugins/funind -I /usr/lib/coq/plugins/interface -I /usr/lib/coq/plugins/micromega -I /usr/lib/coq/plugins/nsatz -I /usr/lib/coq/plugins/omega -I /usr/lib/coq/plugins/quote -I /usr/lib/coq/plugins/ring -I /usr/lib/coq/plugins/romega -I /usr/lib/coq/plugins/rtauto -I /usr/lib/coq/plugins/setoid_ring -I /usr/lib/coq/plugins/subtac -I /usr/lib/coq/plugins/subtac/test -I /usr/lib/coq/plugins/syntax -I /usr/lib/coq/plugins/xml -I /usr/lib/ocaml/camlp5 matcher.ml
ocamlc -c -rectypes -I /usr/lib/coq/kernel -I /usr/lib/coq/lib -I /usr/lib/coq/library -I /usr/lib/coq/parsing -I /usr/lib/coq/pretyping -I /usr/lib/coq/interp -I /usr/lib/coq/proofs -I /usr/lib/coq/tactics -I /usr/lib/coq/toplevel -I /usr/lib/coq/plugins/cc -I /usr/lib/coq/plugins/decl_mode -I /usr/lib/coq/plugins/extraction -I /usr/lib/coq/plugins/field -I /usr/lib/coq/plugins/firstorder -I /usr/lib/coq/plugins/fourier -I /usr/lib/coq/plugins/funind -I /usr/lib/coq/plugins/interface -I /usr/lib/coq/plugins/micromega -I /usr/lib/coq/plugins/nsatz -I /usr/lib/coq/plugins/omega -I /usr/lib/coq/plugins/quote -I /usr/lib/coq/plugins/ring -I /usr/lib/coq/plugins/romega -I /usr/lib/coq/plugins/rtauto -I /usr/lib/coq/plugins/setoid_ring -I /usr/lib/coq/plugins/subtac -I /usr/lib/coq/plugins/subtac/test -I /usr/lib/coq/plugins/syntax -I /usr/lib/coq/plugins/xml -I /usr/lib/ocaml/camlp5 theory.mli
ocamlc -c -rectypes -I /usr/lib/coq/kernel -I /usr/lib/coq/lib -I /usr/lib/coq/library -I /usr/lib/coq/parsing -I /usr/lib/coq/pretyping -I /usr/lib/coq/interp -I /usr/lib/coq/proofs -I /usr/lib/coq/tactics -I /usr/lib/coq/toplevel -I /usr/lib/coq/plugins/cc -I /usr/lib/coq/plugins/decl_mode -I /usr/lib/coq/plugins/extraction -I /usr/lib/coq/plugins/field -I /usr/lib/coq/plugins/firstorder -I /usr/lib/coq/plugins/fourier -I /usr/lib/coq/plugins/funind -I /usr/lib/coq/plugins/interface -I /usr/lib/coq/plugins/micromega -I /usr/lib/coq/plugins/nsatz -I /usr/lib/coq/plugins/omega -I /usr/lib/coq/plugins/quote -I /usr/lib/coq/plugins/ring -I /usr/lib/coq/plugins/romega -I /usr/lib/coq/plugins/rtauto -I /usr/lib/coq/plugins/setoid_ring -I /usr/lib/coq/plugins/subtac -I /usr/lib/coq/plugins/subtac/test -I /usr/lib/coq/plugins/syntax -I /usr/lib/coq/plugins/xml -I /usr/lib/ocaml/camlp5 theory.ml
ocamlc -c -rectypes -I /usr/lib/coq/kernel -I /usr/lib/coq/lib -I /usr/lib/coq/library -I /usr/lib/coq/parsing -I /usr/lib/coq/pretyping -I /usr/lib/coq/interp -I /usr/lib/coq/proofs -I /usr/lib/coq/tactics -I /usr/lib/coq/toplevel -I /usr/lib/coq/plugins/cc -I /usr/lib/coq/plugins/decl_mode -I /usr/lib/coq/plugins/extraction -I /usr/lib/coq/plugins/field -I /usr/lib/coq/plugins/firstorder -I /usr/lib/coq/plugins/fourier -I /usr/lib/coq/plugins/funind -I /usr/lib/coq/plugins/interface -I /usr/lib/coq/plugins/micromega -I /usr/lib/coq/plugins/nsatz -I /usr/lib/coq/plugins/omega -I /usr/lib/coq/plugins/quote -I /usr/lib/coq/plugins/ring -I /usr/lib/coq/plugins/romega -I /usr/lib/coq/plugins/rtauto -I /usr/lib/coq/plugins/setoid_ring -I /usr/lib/coq/plugins/subtac -I /usr/lib/coq/plugins/subtac/test -I /usr/lib/coq/plugins/syntax -I /usr/lib/coq/plugins/xml -I /usr/lib/ocaml/camlp5 print.mli
ocamlc -c -rectypes -I /usr/lib/coq/kernel -I /usr/lib/coq/lib -I /usr/lib/coq/library -I /usr/lib/coq/parsing -I /usr/lib/coq/pretyping -I /usr/lib/coq/interp -I /usr/lib/coq/proofs -I /usr/lib/coq/tactics -I /usr/lib/coq/toplevel -I /usr/lib/coq/plugins/cc -I /usr/lib/coq/plugins/decl_mode -I /usr/lib/coq/plugins/extraction -I /usr/lib/coq/plugins/field -I /usr/lib/coq/plugins/firstorder -I /usr/lib/coq/plugins/fourier -I /usr/lib/coq/plugins/funind -I /usr/lib/coq/plugins/interface -I /usr/lib/coq/plugins/micromega -I /usr/lib/coq/plugins/nsatz -I /usr/lib/coq/plugins/omega -I /usr/lib/coq/plugins/quote -I /usr/lib/coq/plugins/ring -I /usr/lib/coq/plugins/romega -I /usr/lib/coq/plugins/rtauto -I /usr/lib/coq/plugins/setoid_ring -I /usr/lib/coq/plugins/subtac -I /usr/lib/coq/plugins/subtac/test -I /usr/lib/coq/plugins/syntax -I /usr/lib/coq/plugins/xml -I /usr/lib/ocaml/camlp5 print.ml
ocamlc -c -rectypes -I /usr/lib/coq/kernel -I /usr/lib/coq/lib -I /usr/lib/coq/library -I /usr/lib/coq/parsing -I /usr/lib/coq/pretyping -I /usr/lib/coq/interp -I /usr/lib/coq/proofs -I /usr/lib/coq/tactics -I /usr/lib/coq/toplevel -I /usr/lib/coq/plugins/cc -I /usr/lib/coq/plugins/decl_mode -I /usr/lib/coq/plugins/extraction -I /usr/lib/coq/plugins/field -I /usr/lib/coq/plugins/firstorder -I /usr/lib/coq/plugins/fourier -I /usr/lib/coq/plugins/funind -I /usr/lib/coq/plugins/interface -I /usr/lib/coq/plugins/micromega -I /usr/lib/coq/plugins/nsatz -I /usr/lib/coq/plugins/omega -I /usr/lib/coq/plugins/quote -I /usr/lib/coq/plugins/ring -I /usr/lib/coq/plugins/romega -I /usr/lib/coq/plugins/rtauto -I /usr/lib/coq/plugins/setoid_ring -I /usr/lib/coq/plugins/subtac -I /usr/lib/coq/plugins/subtac/test -I /usr/lib/coq/plugins/syntax -I /usr/lib/coq/plugins/xml -I /usr/lib/ocaml/camlp5 -pp "/usr/bin/camlp5o -I /usr/lib/ocaml/ -I . -I /usr/lib/coq/kernel -I /usr/lib/coq/lib -I /usr/lib/coq/library -I /usr/lib/coq/parsing -I /usr/lib/coq/pretyping -I /usr/lib/coq/interp -I /usr/lib/coq/proofs -I /usr/lib/coq/tactics -I /usr/lib/coq/toplevel -I /usr/lib/coq/plugins/cc -I /usr/lib/coq/plugins/decl_mode -I /usr/lib/coq/plugins/extraction -I /usr/lib/coq/plugins/field -I /usr/lib/coq/plugins/firstorder -I /usr/lib/coq/plugins/fourier -I /usr/lib/coq/plugins/funind -I /usr/lib/coq/plugins/interface -I /usr/lib/coq/plugins/micromega -I /usr/lib/coq/plugins/nsatz -I /usr/lib/coq/plugins/omega -I /usr/lib/coq/plugins/quote -I /usr/lib/coq/plugins/ring -I /usr/lib/coq/plugins/romega -I /usr/lib/coq/plugins/rtauto -I /usr/lib/coq/plugins/setoid_ring -I /usr/lib/coq/plugins/subtac -I /usr/lib/coq/plugins/subtac/test -I /usr/lib/coq/plugins/syntax -I /usr/lib/coq/plugins/xml pa_extend.cmo pa_macro.cmo q_MLast.cmo grammar.cma -loc loc -impl" -impl rewrite.ml4
ocamlc -rectypes -I /usr/lib/coq/kernel -I /usr/lib/coq/lib -I /usr/lib/coq/library -I /usr/lib/coq/parsing -I /usr/lib/coq/pretyping -I /usr/lib/coq/interp -I /usr/lib/coq/proofs -I /usr/lib/coq/tactics -I /usr/lib/coq/toplevel -I /usr/lib/coq/plugins/cc -I /usr/lib/coq/plugins/decl_mode -I /usr/lib/coq/plugins/extraction -I /usr/lib/coq/plugins/field -I /usr/lib/coq/plugins/firstorder -I /usr/lib/coq/plugins/fourier -I /usr/lib/coq/plugins/funind -I /usr/lib/coq/plugins/interface -I /usr/lib/coq/plugins/micromega -I /usr/lib/coq/plugins/nsatz -I /usr/lib/coq/plugins/omega -I /usr/lib/coq/plugins/quote -I /usr/lib/coq/plugins/ring -I /usr/lib/coq/plugins/romega -I /usr/lib/coq/plugins/rtauto -I /usr/lib/coq/plugins/setoid_ring -I /usr/lib/coq/plugins/subtac -I /usr/lib/coq/plugins/subtac/test -I /usr/lib/coq/plugins/syntax -I /usr/lib/coq/plugins/xml -I /usr/lib/ocaml/camlp5 -pack -o aac.cmo coq.cmo helper.cmo search_monad.cmo matcher.cmo theory.cmo print.cmo rewrite.cmo
coqc -q -byte -R . AAC_tactics AAC
coqc -q -byte -R . AAC_tactics Instances
coqc -q -byte -R . AAC_tactics Tutorial
All solutions:
occurence 0: transitivity through (forall x : X, plus x x)
1 possible(s) substitution(s)
0: [x: (f (a + a)); ]
occurence 1: transitivity through (forall x : X,
plus (f (x + x)) (f (a + a)))
1 possible(s) substitution(s)
0: [x: a; ]
All solutions:
occurence 0: transitivity through (forall x y : X, dot (a * x * y) b)
3 possible(s) substitution(s)
0: [x: c; y: (d * c * d); ]
1: [x: (c * d); y: (c * d); ]
2: [x: (c * d * c); y: d; ]
All solutions:
occurence 0: transitivity through (forall x y : X, dot (a * x * y) b)
4 possible(s) substitution(s)
0: [x: c; y: (d * c * d * b); ]
1: [x: (c * d); y: (c * d * b); ]
2: [x: (c * d * c); y: (d * b); ]
3: [x: (c * d * c * d); y: b; ]
occurence 1: transitivity through (forall x y : X, dot (a * x * y * b) b)
3 possible(s) substitution(s)
0: [x: c; y: (d * c * d); ]
1: [x: (c * d); y: (c * d); ]
2: [x: (c * d * c); y: d; ]
All solutions:
occurence 0: transitivity through (forall x y : X, dot (a * x * y) b)
1 possible(s) substitution(s)
0: [x: (c * d + c * d); y: b; ]
All solutions:
occurence 0: transitivity through (forall x : X, dot (a * x) a)
1 possible(s) substitution(s)
0: [x: 1; ]
All solutions:
occurence 0: transitivity through (forall x y z : X,
plus (x * y + x * z) (a * b))
2 possible(s) substitution(s)
0: [x: a; y: c; z: (b * c); ]
1: [x: a; y: (b * c); z: c; ]
occurence 1: transitivity through (forall x y z : X,
plus (x * y + x * z) (a * c))
2 possible(s) substitution(s)
0: [x: a; y: (b * c); z: b; ]
1: [x: a; y: b; z: (b * c); ]
occurence 2: transitivity through (forall x y z : X,
plus (x * y + x * z) (a * b * c))
2 possible(s) substitution(s)
0: [x: a; y: c; z: b; ]
1: [x: a; y: b; z: c; ]
Warning: [aac_tactics] This pattern can be instanciated to match units, some solutions can be missing
All solutions:
occurence 0: transitivity through (forall x y z : X, plus (x * y) (x * z))
6 possible(s) substitution(s)
0: [x: 1; y: (a * (b * c + c)); z: (a * b); ]
1: [x: a; y: (b * c + c); z: b; ]
2: [x: 1; y: 0; z: (a * (b * c + c) + a * b); ]
3: [x: 1; y: (a * (b * c + c) + a * b); z: 0; ]
4: [x: 1; y: (a * b); z: (a * (b * c + c)); ]
5: [x: a; y: b; z: (b * c + c); ]
occurence 1: transitivity through (forall x y z : X,
plus (x * y + x * z) (a * b))
2 possible(s) substitution(s)
0: [x: 1; y: (a * (b * c + c)); z: 0; ]
1: [x: 1; y: 0; z: (a * (b * c + c)); ]
occurence 2: transitivity through (forall x y z : X,
plus (a * (x * y + x * z)) (a * b))
4 possible(s) substitution(s)
0: [x: 1; y: (b * c); z: c; ]
1: [x: 1; y: 0; z: (b * c + c); ]
2: [x: 1; y: (b * c + c); z: 0; ]
3: [x: 1; y: c; z: (b * c); ]
occurence 3: transitivity through (forall x y z : X,
plus (a * (x * y + x * z + c)) (a * b))
2 possible(s) substitution(s)
0: [x: 1; y: (b * c); z: 0; ]
1: [x: 1; y: 0; z: (b * c); ]
occurence 4: transitivity through (forall x y z : X,
plus (x * y + x * z) (a * (b * c + c)))
2 possible(s) substitution(s)
0: [x: 1; y: (a * b); z: 0; ]
1: [x: 1; y: 0; z: (a * b); ]
occurence 5: transitivity through (forall x y z : X,
plus (a * (b * (x * y + x * z) + c))
(a * b))
2 possible(s) substitution(s)
0: [x: 1; y: c; z: 0; ]
1: [x: 1; y: 0; z: c; ]
occurence 6: transitivity through (forall x y z : X,
plus (a * ((x * y + x * z) * c + c))
(a * b))
2 possible(s) substitution(s)
0: [x: 1; y: b; z: 0; ]
1: [x: 1; y: 0; z: b; ]
occurence 7: transitivity through (forall x y z : X,
plus (a * (x * y + x * z + b * c))
(a * b))
2 possible(s) substitution(s)
0: [x: 1; y: c; z: 0; ]
1: [x: 1; y: 0; z: c; ]
occurence 8: transitivity through (forall x y z : X,
plus ((x * y + x * z) * (b * c + c))
(a * b))
2 possible(s) substitution(s)
0: [x: 1; y: a; z: 0; ]
1: [x: 1; y: 0; z: a; ]
occurence 9: transitivity through (forall x y z : X,
plus (a * (x * y + x * z))
(a * (b * c + c)))
2 possible(s) substitution(s)
0: [x: 1; y: b; z: 0; ]
1: [x: 1; y: 0; z: b; ]
occurence 10: transitivity through (forall x y z : X,
plus ((x * y + x * z) * b)
(a * (b * c + c)))
2 possible(s) substitution(s)
0: [x: 1; y: a; z: 0; ]
1: [x: 1; y: 0; z: a; ]
occurence 11: transitivity through (a * (b * c + c) + a * b +
(1 * 0 + 1 * 0))
occurence 12: transitivity through
(a * (b * c + c) + a * (b + (1 * 0 + 1 * 0)))
occurence 13: transitivity through
(a * (b * c + c) + (a + (1 * 0 + 1 * 0)) * b)
occurence 14: transitivity through
(a * b + a * (b * c + c + (1 * 0 + 1 * 0)))
occurence 15: transitivity through
(a * b + a * (c + b * (c + (1 * 0 + 1 * 0))))
occurence 16: transitivity through
(a * b + a * (c + (b + (1 * 0 + 1 * 0)) * c))
occurence 17: transitivity through
(a * b + (a + (1 * 0 + 1 * 0)) * (b * c + c))
occurence 18: transitivity through
(a * (b * c + c) + a * b + (0 * 1 + 0 * 1))
occurence 19: transitivity through
(a * (b * c + c) + a * (b + (0 * 1 + 0 * 1)))
occurence 20: transitivity through
(a * (b * c + c) + (a + (0 * 1 + 0 * 1)) * b)
occurence 21: transitivity through
(a * b + a * (b * c + c + (0 * 1 + 0 * 1)))
occurence 22: transitivity through
(a * b + a * (c + b * (c + (0 * 1 + 0 * 1))))
occurence 23: transitivity through
(a * b + a * (c + (b + (0 * 1 + 0 * 1)) * c))
occurence 24: transitivity through
(a * b + (a + (0 * 1 + 0 * 1)) * (b * c + c))
occurence 25: transitivity through
(a * (b * c + c) + (1 * 1 + 1 * 0) * (a * b))
occurence 26: transitivity through
(a * (b * c + c) + a * b * (1 * 1 + 1 * 0))
occurence 27: transitivity through
(a * (b * c + c) + a * ((1 * 1 + 1 * 0) * b))
occurence 28: transitivity through
(a * b + (1 * 1 + 1 * 0) * (a * (b * c + c)))
occurence 29: transitivity through
(a * b + a * (b * c + c) * (1 * 1 + 1 * 0))
occurence 30: transitivity through
(a * b + a * (b * c + (1 * 1 + 1 * 0) * c))
occurence 31: transitivity through
(a * b + a * (b * c + c * (1 * 1 + 1 * 0)))
occurence 32: transitivity through
(a * b + a * (c + (1 * 1 + 1 * 0) * (b * c)))
occurence 33: transitivity through
(a * b + a * (c + b * c * (1 * 1 + 1 * 0)))
occurence 34: transitivity through
(a * b + a * (c + b * ((1 * 1 + 1 * 0) * c)))
occurence 35: transitivity through
(a * b + a * ((1 * 1 + 1 * 0) * (b * c + c)))
occurence 36: transitivity through
((a * (b * c + c) + a * b) * (1 * 1 + 1 * 0))
occurence 37: transitivity through
((1 * 1 + 1 * 0) * (a * (b * c + c) + a * b))
occurence 38: transitivity through
(a * (b * c + c) + (1 * 0 + 1 * 1) * (a * b))
occurence 39: transitivity through
(a * (b * c + c) + a * b * (1 * 0 + 1 * 1))
occurence 40: transitivity through
(a * (b * c + c) + a * ((1 * 0 + 1 * 1) * b))
occurence 41: transitivity through
(a * b + (1 * 0 + 1 * 1) * (a * (b * c + c)))
occurence 42: transitivity through
(a * b + a * (b * c + c) * (1 * 0 + 1 * 1))
occurence 43: transitivity through
(a * b + a * (b * c + (1 * 0 + 1 * 1) * c))
occurence 44: transitivity through
(a * b + a * (b * c + c * (1 * 0 + 1 * 1)))
occurence 45: transitivity through
(a * b + a * (c + (1 * 0 + 1 * 1) * (b * c)))
occurence 46: transitivity through
(a * b + a * (c + b * c * (1 * 0 + 1 * 1)))
occurence 47: transitivity through
(a * b + a * (c + b * ((1 * 0 + 1 * 1) * c)))
occurence 48: transitivity through
(a * b + a * ((1 * 0 + 1 * 1) * (b * c + c)))
occurence 49: transitivity through
((a * (b * c + c) + a * b) * (1 * 0 + 1 * 1))
occurence 50: transitivity through
((1 * 0 + 1 * 1) * (a * (b * c + c) + a * b))
occurence 51: transitivity through
(a * (b * c + c) + a * b * (1 + (1 * 0 + 1 * 0)))
occurence 52: transitivity through
(a * (b * c + c) + a * ((1 + (1 * 0 + 1 * 0)) * b))
occurence 53: transitivity through
(a * (b * c + c) + (1 + (1 * 0 + 1 * 0)) * (a * b))
occurence 54: transitivity through
(a * b + a * (b * c + c) * (1 + (1 * 0 + 1 * 0)))
occurence 55: transitivity through
(a * b + a * (c + b * c * (1 + (1 * 0 + 1 * 0))))
occurence 56: transitivity through
(a * b + a * (c + b * ((1 + (1 * 0 + 1 * 0)) * c)))
occurence 57: transitivity through
(a * b + a * (c + (1 + (1 * 0 + 1 * 0)) * (b * c)))
occurence 58: transitivity through
(a * b + a * ((1 + (1 * 0 + 1 * 0)) * (b * c + c)))
occurence 59: transitivity through
(a * b + (1 + (1 * 0 + 1 * 0)) * (a * (b * c + c)))
occurence 60: transitivity through
(a * (b * c + c) + a * b * (1 + (0 * 1 + 0 * 1)))
occurence 61: transitivity through
(a * (b * c + c) + a * ((1 + (0 * 1 + 0 * 1)) * b))
occurence 62: transitivity through
(a * (b * c + c) + (1 + (0 * 1 + 0 * 1)) * (a * b))
occurence 63: transitivity through
(a * b + a * (b * c + c) * (1 + (0 * 1 + 0 * 1)))
occurence 64: transitivity through
(a * b + a * (c + b * c * (1 + (0 * 1 + 0 * 1))))
occurence 65: transitivity through
(a * b + a * (c + b * ((1 + (0 * 1 + 0 * 1)) * c)))
occurence 66: transitivity through
(a * b + a * (c + (1 + (0 * 1 + 0 * 1)) * (b * c)))
occurence 67: transitivity through
(a * b + a * ((1 + (0 * 1 + 0 * 1)) * (b * c + c)))
occurence 68: transitivity through
(a * b + (1 + (0 * 1 + 0 * 1)) * (a * (b * c + c)))
All solutions:
occurence 0: transitivity through (forall x y z : nat, max (x + y) (x + z))
2 possible(s) substitution(s)
0: [x: a; y: b; z: c; ]
1: [x: a; y: c; z: b; ]
All solutions:
occurence 0: transitivity through (forall x y z : nat, max (x + y) (x + z))
2 possible(s) substitution(s)
0: [x: a; y: b; z: c; ]
1: [x: a; y: c; z: b; ]
Warning: [aac_tactics] This pattern can be instanciated to match units, some solutions can be missing
All solutions:
occurence 0: transitivity through (Z.abs a + - Z.abs b + 0)
occurence 1: transitivity through
(Z.abs a + - (Z.abs b + 0))
occurence 2: transitivity through
(Z.abs a + - Z.abs (b + 0))
occurence 3: transitivity through
(- Z.abs b + Z.abs (a + 0))
Warning: [aac_tactics] This pattern can be instanciated to match units, some solutions can be missing
coqc -q -byte -R . AAC_tactics Caveats
All solutions:
occurence 0: transitivity through (forall x : Z, (- (x + x) + (b + b + c))%Z)
1 possible(s) substitution(s)
0: [x: a; ]
occurence 1: transitivity through (forall x : Z, (x + x + (- (a + a) + c))%Z)
1 possible(s) substitution(s)
0: [x: b; ]
Warning: [aac_tactics] This pattern can be instanciated to match units, some solutions can be missing
All solutions:
occurence 0: transitivity through (y * 1)
occurence 1: transitivity through
(1 * y)
Warning: [aac_tactics] This pattern can be instanciated to match units, some solutions can be missing
Warning: [aac_tactics] This pattern can be instanciated to match units, some solutions can be missing
Warning: [aac_tactics] This pattern can be instanciated to match units, some solutions can be missing
Warning: [aac_tactics] This pattern can be instanciated to match units, some solutions can be missing
All solutions:
occurence 0: transitivity through (c * b + a + 0)
occurence 1: transitivity through
(a + b * (c + 0))
occurence 2: transitivity through
(a + c * (b + 0))
Warning: [aac_tactics] This pattern can be instanciated to match units, some solutions can be missing
All solutions:
occurence 0: transitivity through (c + b + a + 0)
Warning: [aac_tactics] This pattern can be instanciated to match units, some solutions can be missing
All solutions:
occurence 0: transitivity through ((c + b + a) * 1)
occurence 1: transitivity through
(c + a + b * 1)
occurence 2: transitivity through
(a + (c + b) * 1)
occurence 3: transitivity through
(b + a + c * 1)
occurence 4: transitivity through
(c + (b + a) * 1)
occurence 5: transitivity through
(c + b + a * 1)
occurence 6: transitivity through
(b + (c + a) * 1)
All solutions:
occurence 0: transitivity through (forall x y : nat, (x * x + y * x + c)%nat)
1 possible(s) substitution(s)
0: [x: a; y: b; ]
Warning: [aac_tactics] This pattern can be instanciated to match units, some solutions can be missing
All solutions:
occurence 0: transitivity through (forall x y : nat, (x * x + y * x + c)%nat)
1 possible(s) substitution(s)
0: [x: a; y: b; ]
occurence 1: transitivity through ((a * b + a * a + c) * (1 * 1 + 0 * 1))
occurence 2: transitivity through
(a * b + c + a * a * (1 * 1 + 0 * 1))
occurence 3: transitivity through
(c + (a * b + a * a) * (1 * 1 + 0 * 1))
occurence 4: transitivity through
(a * a + c + a * b * (1 * 1 + 0 * 1))
occurence 5: transitivity through
(a * b + (a * a + c) * (1 * 1 + 0 * 1))
occurence 6: transitivity through
(a * b + a * a + c * (1 * 1 + 0 * 1))
occurence 7: transitivity through
(a * a + (a * b + c) * (1 * 1 + 0 * 1))
Warning: [aac_tactics] This pattern can be instanciated to match units, some solutions can be missing
All solutions:
occurence 0: transitivity through ((a * b + a * a + c) * 1)
occurence 1: transitivity through
(a * b + c + a * a * 1)
occurence 2: transitivity through
(c + (a * b + a * a) * 1)
occurence 3: transitivity through
(a * a + c + a * b * 1)
occurence 4: transitivity through
(a * b + (a * a + c) * 1)
occurence 5: transitivity through
(a * b + a * a + c * 1)
occurence 6: transitivity through
(a * a + (a * b + c) * 1)
make[4]: Leaving directory `/«PKGBUILDDIR»'
make[3]: Leaving directory `/«PKGBUILDDIR»'
mkdir -p html
coqdoc -toc -interpolate -utf8 -html -R . AAC_tactics -d html AAC.v Instances.v Tutorial.v Caveats.v
make[2]: Leaving directory `/«PKGBUILDDIR»'
make[1]: Leaving directory `/«PKGBUILDDIR»'
dh_auto_test -a
fakeroot debian/rules binary-arch
dh binary-arch --with ocaml
dh_testroot -a
dh_prep -a
dh_installdirs -a
debian/rules override_dh_auto_install
make[1]: Entering directory `/«PKGBUILDDIR»'
/usr/bin/make -f Makefile.coq install DSTROOT=/«PKGBUILDDIR»/debian/tmp
make[2]: Entering directory `/«PKGBUILDDIR»'
for i in AAC.vo Instances.vo Tutorial.vo Caveats.vo; do \
install -d `dirname /«PKGBUILDDIR»/debian/tmp/usr/lib/coq/user-contrib/AAC_tactics/$i`; \
install -m 0644 $i /«PKGBUILDDIR»/debian/tmp/usr/lib/coq/user-contrib/AAC_tactics/$i; \
done
for i in aac.cmo; do \
install -d `dirname /«PKGBUILDDIR»/debian/tmp/usr/lib/coq/user-contrib/AAC_tactics/$i`; \
install -m 0644 $i /«PKGBUILDDIR»/debian/tmp/usr/lib/coq/user-contrib/AAC_tactics/$i; \
done
for i in aac.cmi coq.cmi helper.cmi matcher.cmi print.cmi rewrite.cmi search_monad.cmi theory.cmi; do \
install -d `dirname /«PKGBUILDDIR»/debian/tmp/usr/lib/coq/user-contrib/AAC_tactics/$i`; \
install -m 0644 $i /«PKGBUILDDIR»/debian/tmp/usr/lib/coq/user-contrib/AAC_tactics/$i; \
done
make[2]: Leaving directory `/«PKGBUILDDIR»'
make[1]: Leaving directory `/«PKGBUILDDIR»'
debian/rules override_dh_install
make[1]: Entering directory `/«PKGBUILDDIR»'
dh_install --fail-missing
make[1]: Leaving directory `/«PKGBUILDDIR»'
dh_ocamldoc -a
Warning: Element Rewrite not found
Warning: Element Rewrite not found
dh_installdocs -a
dh_installchangelogs -a
dh_installexamples -a
dh_installman -a
dh_installcatalogs -a
dh_installcron -a
dh_installdebconf -a
dh_installemacsen -a
dh_installifupdown -a
dh_installinfo -a
dh_installinit -a
dh_installmenu -a
dh_installmime -a
dh_installmodules -a
dh_installlogcheck -a
dh_installlogrotate -a
dh_installpam -a
dh_installppp -a
dh_installudev -a
dh_installwm -a
dh_installxfonts -a
dh_installgsettings -a
dh_bugfiles -a
dh_ucf -a
dh_lintian -a
dh_gconf -a
dh_icons -a
dh_perl -a
dh_usrlocal -a
dh_link -a
dh_compress -a
dh_fixperms -a
dh_strip -a
dh_makeshlibs -a
dh_shlibdeps -a
dh_installdeb -a
dh_ocaml -a
debian/rules override_dh_gencontrol
make[1]: Entering directory `/«PKGBUILDDIR»'
dh_gencontrol -- -VF:CoqABI="8.4pl2+3.12.1"
dpkg-gencontrol: warning: Depends field of package libaac-tactics-ocaml: unknown substitution variable ${shlibs:Depends}
dpkg-gencontrol: warning: File::FcntlLock not available; using flock which is not NFS-safe
dpkg-gencontrol: warning: Depends field of package libaac-tactics-ocaml-dev: unknown substitution variable ${shlibs:Depends}
dpkg-gencontrol: warning: File::FcntlLock not available; using flock which is not NFS-safe
make[1]: Leaving directory `/«PKGBUILDDIR»'
dh_md5sums -a
dh_builddeb -a
dpkg-deb: building package `libaac-tactics-ocaml-dev' in `../libaac-tactics-ocaml-dev_0.3.pl1-1_armhf.deb'.
dpkg-deb: building package `libaac-tactics-ocaml' in `../libaac-tactics-ocaml_0.3.pl1-1_armhf.deb'.
dpkg-genchanges -B >../aac-tactics_0.3.pl1-1_armhf.changes
dpkg-genchanges: arch-specific upload - not including arch-independent packages
dpkg-genchanges: binary-only upload - not including any source code
dpkg-source --after-build aac-tactics-0.3.pl1
dpkg-buildpackage: binary only upload (no source included)
────────────────────────────────────────────────────────────────────────────────
Build finished at 20130606-0845
Finished
────────
I: Built successfully
┌──────────────────────────────────────────────────────────────────────────────┐
│ Changes │
└──────────────────────────────────────────────────────────────────────────────┘
aac-tactics_0.3.pl1-1_armhf.changes:
────────────────────────────────────
Format: 1.8
Date: Thu, 09 May 2013 13:26:38 +0200
Source: aac-tactics
Binary: libaac-tactics-ocaml libaac-tactics-ocaml-dev libaac-tactics-coq
Architecture: armhf
Version: 0.3.pl1-1
Distribution: jessie-staging
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
Description:
libaac-tactics-coq - Coq tactics for reasoning modulo AC (theories)
libaac-tactics-ocaml - Coq tactics for reasoning modulo AC (plugin)
libaac-tactics-ocaml-dev - Coq tactics for reasoning modulo AC (devt files)
Changes:
aac-tactics (0.3.pl1-1) unstable; urgency=low
.
* New upstream release
* Use format version 1.0 in debian/copyright
* Bump Standards-Version to 3.9.4
* Upload to unstable
Checksums-Sha1:
d3a9e47cbc3d6e8010f59e67bd820efa8e0f4042 32998 libaac-tactics-ocaml_0.3.pl1-1_armhf.deb
08a7b40cfbbbc2f09fa44739de763de270369c5d 58522 libaac-tactics-ocaml-dev_0.3.pl1-1_armhf.deb
Checksums-Sha256:
8be0122c3ccac438d9336380c0fc07ab4b92b2fb0330a272c8801e22c1c0bb99 32998 libaac-tactics-ocaml_0.3.pl1-1_armhf.deb
2fbb5783d92d13c57d9297a2fe7739999cb51813660bc64a6ed3f1f5e26f033a 58522 libaac-tactics-ocaml-dev_0.3.pl1-1_armhf.deb
Files:
9b88e686043966ddde721e0f4d1603bc 32998 ocaml optional libaac-tactics-ocaml_0.3.pl1-1_armhf.deb
80220e9c23d735677dc9d26e1c00195f 58522 ocaml optional libaac-tactics-ocaml-dev_0.3.pl1-1_armhf.deb
┌──────────────────────────────────────────────────────────────────────────────┐
│ Package contents │
└──────────────────────────────────────────────────────────────────────────────┘
libaac-tactics-ocaml_0.3.pl1-1_armhf.deb
────────────────────────────────────────
new debian package, version 2.0.
size 32998 bytes: control archive=718 bytes.
654 bytes, 18 lines control
329 bytes, 4 lines md5sums
Package: libaac-tactics-ocaml
Source: aac-tactics
Version: 0.3.pl1-1
Architecture: armhf
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Installed-Size: 130
Depends: libcoq-ocaml-ynr19, ocaml-base-nox-3.12.1
Recommends: libaac-tactics-coq
Enhances: coq
Provides: libaac-tactics-ocaml-2gf55
Section: ocaml
Priority: optional
Homepage: http://sardes.inrialpes.fr/~braibant/aac_tactics/
Description: Coq tactics for reasoning modulo AC (plugin)
This Coq plugin provides tactics for rewriting universally quantified
equations, modulo associative (and possibly commutative) operators.
.
This package provides the plugin itself.
drwxr-xr-x root/root 0 2013-06-06 08:45 ./
drwxr-xr-x root/root 0 2013-06-06 08:45 ./usr/
drwxr-xr-x root/root 0 2013-06-06 08:45 ./usr/lib/
drwxr-xr-x root/root 0 2013-06-06 08:45 ./usr/lib/coq/
drwxr-xr-x root/root 0 2013-06-06 08:45 ./usr/lib/coq/user-contrib/
drwxr-xr-x root/root 0 2013-06-06 08:45 ./usr/lib/coq/user-contrib/AAC_tactics/
-rw-r--r-- root/root 130136 2013-06-06 08:45 ./usr/lib/coq/user-contrib/AAC_tactics/aac.cmo
drwxr-xr-x root/root 0 2013-06-06 08:45 ./usr/share/
drwxr-xr-x root/root 0 2013-06-06 08:45 ./usr/share/doc/
drwxr-xr-x root/root 0 2013-06-06 08:45 ./usr/share/doc/libaac-tactics-ocaml/
-rw-r--r-- root/root 1116 2013-05-09 11:25 ./usr/share/doc/libaac-tactics-ocaml/copyright
-rw-r--r-- root/root 641 2013-05-09 11:26 ./usr/share/doc/libaac-tactics-ocaml/changelog.Debian.gz
-rw-r--r-- root/root 561 2013-04-12 11:09 ./usr/share/doc/libaac-tactics-ocaml/changelog.gz
libaac-tactics-ocaml-dev_0.3.pl1-1_armhf.deb
────────────────────────────────────────────
new debian package, version 2.0.
size 58522 bytes: control archive=3066 bytes.
739 bytes, 17 lines control
8309 bytes, 86 lines md5sums
Package: libaac-tactics-ocaml-dev
Source: aac-tactics
Version: 0.3.pl1-1
Architecture: armhf
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Installed-Size: 348
Depends: camlp5-ehum7, libaac-tactics-ocaml-2gf55, libcoq-ocaml-dev-ynr19, ocaml-nox-3.12.1
Provides: libaac-tactics-ocaml-dev-2gf55
Section: ocaml
Priority: optional
Homepage: http://sardes.inrialpes.fr/~braibant/aac_tactics/
Description: Coq tactics for reasoning modulo AC (devt files)
This Coq plugin provides tactics for rewriting universally quantified
equations, modulo associative (and possibly commutative) operators.
.
This package provides the static native-code library, needed to build
custom toplevels, and the compiled interfaces.
drwxr-xr-x root/root 0 2013-06-06 08:45 ./
drwxr-xr-x root/root 0 2013-06-06 08:45 ./usr/
drwxr-xr-x root/root 0 2013-06-06 08:45 ./usr/lib/
drwxr-xr-x root/root 0 2013-06-06 08:45 ./usr/lib/coq/
drwxr-xr-x root/root 0 2013-06-06 08:45 ./usr/lib/coq/user-contrib/
drwxr-xr-x root/root 0 2013-06-06 08:45 ./usr/lib/coq/user-contrib/AAC_tactics/
-rw-r--r-- root/root 31393 2013-06-06 08:45 ./usr/lib/coq/user-contrib/AAC_tactics/aac.cmi
-rw-r--r-- root/root 11417 2013-06-06 08:45 ./usr/lib/coq/user-contrib/AAC_tactics/coq.cmi
-rw-r--r-- root/root 1402 2013-06-06 08:45 ./usr/lib/coq/user-contrib/AAC_tactics/helper.cmi
-rw-r--r-- root/root 2219 2013-06-06 08:45 ./usr/lib/coq/user-contrib/AAC_tactics/matcher.cmi
-rw-r--r-- root/root 2338 2013-06-06 08:45 ./usr/lib/coq/user-contrib/AAC_tactics/print.cmi
-rw-r--r-- root/root 13781 2013-06-06 08:45 ./usr/lib/coq/user-contrib/AAC_tactics/rewrite.cmi
-rw-r--r-- root/root 1281 2013-06-06 08:45 ./usr/lib/coq/user-contrib/AAC_tactics/search_monad.cmi
-rw-r--r-- root/root 5727 2013-06-06 08:45 ./usr/lib/coq/user-contrib/AAC_tactics/theory.cmi
-rw-r--r-- root/root 8282 2013-04-12 11:09 ./usr/lib/coq/user-contrib/AAC_tactics/coq.mli
-rw-r--r-- root/root 1261 2013-04-12 11:09 ./usr/lib/coq/user-contrib/AAC_tactics/helper.mli
-rw-r--r-- root/root 7353 2013-04-12 11:09 ./usr/lib/coq/user-contrib/AAC_tactics/matcher.mli
-rw-r--r-- root/root 1078 2013-04-12 11:09 ./usr/lib/coq/user-contrib/AAC_tactics/print.mli
-rw-r--r-- root/root 1452 2013-04-12 11:09 ./usr/lib/coq/user-contrib/AAC_tactics/search_monad.mli
-rw-r--r-- root/root 7745 2013-04-12 11:09 ./usr/lib/coq/user-contrib/AAC_tactics/theory.mli
drwxr-xr-x root/root 0 2013-06-06 08:45 ./usr/share/
drwxr-xr-x root/root 0 2013-06-06 08:45 ./usr/share/doc/
drwxr-xr-x root/root 0 2013-06-06 08:45 ./usr/share/doc/libaac-tactics-ocaml-dev/
drwxr-xr-x root/root 0 2013-06-06 08:45 ./usr/share/doc/libaac-tactics-ocaml-dev/html/
drwxr-xr-x root/root 0 2013-06-06 08:45 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/
-rw-r--r-- root/root 2299 2013-06-06 08:45 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/style.css
-rw-r--r-- root/root 10287 2013-06-06 08:45 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Coq.html
-rw-r--r-- root/root 1786 2013-06-06 08:45 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Coq.List.html
-rw-r--r-- root/root 1486 2013-06-06 08:45 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Coq.List.html
-rw-r--r-- root/root 1844 2013-06-06 08:45 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Coq.Pair.html
-rw-r--r-- root/root 1687 2013-06-06 08:45 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Coq.Pair.html
-rw-r--r-- root/root 1670 2013-06-06 08:45 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Coq.Bool.html
-rw-r--r-- root/root 1230 2013-06-06 08:45 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Coq.Bool.html
-rw-r--r-- root/root 1917 2013-06-06 08:45 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Coq.Comparison.html
-rw-r--r-- root/root 1462 2013-06-06 08:45 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Coq.Comparison.html
-rw-r--r-- root/root 1591 2013-06-06 08:45 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Coq.Leibniz.html
-rw-r--r-- root/root 1250 2013-06-06 08:45 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Coq.Leibniz.html
-rw-r--r-- root/root 1859 2013-06-06 08:45 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Coq.Option.html
-rw-r--r-- root/root 1788 2013-06-06 08:45 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Coq.Option.html
-rw-r--r-- root/root 1683 2013-06-06 08:45 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Coq.Pos.html
-rw-r--r-- root/root 1227 2013-06-06 08:45 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Coq.Pos.html
-rw-r--r-- root/root 1684 2013-06-06 08:45 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Coq.Nat.html
-rw-r--r-- root/root 1227 2013-06-06 08:45 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Coq.Nat.html
-rw-r--r-- root/root 2111 2013-06-06 08:45 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Coq.Classes.html
-rw-r--r-- root/root 2298 2013-06-06 08:45 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Coq.Classes.html
-rw-r--r-- root/root 2290 2013-06-06 08:45 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Coq.Relation.html
-rw-r--r-- root/root 1813 2013-06-06 08:45 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Coq.Relation.html
-rw-r--r-- root/root 3452 2013-06-06 08:45 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Coq.Transitive.html
-rw-r--r-- root/root 3618 2013-06-06 08:45 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Coq.Transitive.html
-rw-r--r-- root/root 3648 2013-06-06 08:45 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Coq.Equivalence.html
-rw-r--r-- root/root 3988 2013-06-06 08:45 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Coq.Equivalence.html
-rw-r--r-- root/root 8303 2013-06-06 08:45 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Coq.Rewrite.html
-rw-r--r-- root/root 4590 2013-06-06 08:45 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Coq.Rewrite.html
-rw-r--r-- root/root 28469 2013-06-06 08:45 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Coq.html
-rw-r--r-- root/root 2057 2013-06-06 08:45 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Helper.html
-rw-r--r-- root/root 2860 2013-06-06 08:45 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Helper.Debug.html
-rw-r--r-- root/root 2476 2013-06-06 08:45 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Helper.Debug.html
-rw-r--r-- root/root 1634 2013-06-06 08:45 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Helper.CONTROL.html
-rw-r--r-- root/root 1158 2013-06-06 08:45 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Helper.CONTROL.html
-rw-r--r-- root/root 3389 2013-06-06 08:45 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Helper.html
-rw-r--r-- root/root 8566 2013-06-06 08:45 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Matcher.html
-rw-r--r-- root/root 8550 2013-06-06 08:45 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Matcher.Terms.html
-rw-r--r-- root/root 4580 2013-06-06 08:45 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Matcher.Terms.html
-rw-r--r-- root/root 2557 2013-06-06 08:45 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Matcher.Subst.html
-rw-r--r-- root/root 2002 2013-06-06 08:45 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Matcher.Subst.html
-rw-r--r-- root/root 9330 2013-06-06 08:45 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Matcher.html
-rw-r--r-- root/root 2443 2013-06-06 08:45 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Print.html
-rw-r--r-- root/root 1872 2013-06-06 08:45 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Print.html
-rw-r--r-- root/root 4615 2013-06-06 08:45 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Search_monad.html
-rw-r--r-- root/root 5394 2013-06-06 08:45 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Search_monad.html
-rw-r--r-- root/root 3957 2013-06-06 08:45 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Theory.html
-rw-r--r-- root/root 2667 2013-06-06 08:45 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Theory.Sigma.html
-rw-r--r-- root/root 2532 2013-06-06 08:45 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Theory.Sigma.html
-rw-r--r-- root/root 3017 2013-06-06 08:45 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Theory.Sym.html
-rw-r--r-- root/root 1991 2013-06-06 08:45 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Theory.Sym.html
-rw-r--r-- root/root 2982 2013-06-06 08:45 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Theory.Stubs.html
-rw-r--r-- root/root 2230 2013-06-06 08:45 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Theory.Stubs.html
-rw-r--r-- root/root 9894 2013-06-06 08:45 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/Theory.Trans.html
-rw-r--r-- root/root 6195 2013-06-06 08:45 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Theory.Trans.html
-rw-r--r-- root/root 12806 2013-06-06 08:45 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/type_Theory.html
-rw-r--r-- root/root 2357 2013-06-06 08:45 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/index.html
-rw-r--r-- root/root 20169 2013-06-06 08:45 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/index_values.html
-rw-r--r-- root/root 936 2013-06-06 08:45 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/index_exceptions.html
-rw-r--r-- root/root 4270 2013-06-06 08:45 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/index_types.html
-rw-r--r-- root/root 948 2013-06-06 08:45 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/index_attributes.html
-rw-r--r-- root/root 942 2013-06-06 08:45 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/index_methods.html
-rw-r--r-- root/root 930 2013-06-06 08:45 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/index_classes.html
-rw-r--r-- root/root 938 2013-06-06 08:45 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/index_class_types.html
-rw-r--r-- root/root 5082 2013-06-06 08:45 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/index_modules.html
-rw-r--r-- root/root 1082 2013-06-06 08:45 ./usr/share/doc/libaac-tactics-ocaml-dev/html/api/index_module_types.html
-rw-r--r-- root/root 1116 2013-05-09 11:25 ./usr/share/doc/libaac-tactics-ocaml-dev/copyright
-rw-r--r-- root/root 641 2013-05-09 11:26 ./usr/share/doc/libaac-tactics-ocaml-dev/changelog.Debian.gz
-rw-r--r-- root/root 561 2013-04-12 11:09 ./usr/share/doc/libaac-tactics-ocaml-dev/changelog.gz
drwxr-xr-x root/root 0 2013-06-06 08:45 ./usr/share/doc-base/
-rw-r--r-- root/root 364 2013-06-06 08:45 ./usr/share/doc-base/libaac-tactics-ocaml-dev.doc-base.apiref
drwxr-xr-x root/root 0 2013-06-06 08:45 ./usr/share/lintian/
drwxr-xr-x root/root 0 2013-06-06 08:45 ./usr/share/lintian/overrides/
-rw-r--r-- root/root 110 2013-05-09 11:22 ./usr/share/lintian/overrides/libaac-tactics-ocaml-dev
drwxr-xr-x root/root 0 2013-06-06 08:45 ./var/
drwxr-xr-x root/root 0 2013-06-06 08:45 ./var/lib/
drwxr-xr-x root/root 0 2013-06-06 08:45 ./var/lib/ocaml/
drwxr-xr-x root/root 0 2013-06-06 08:45 ./var/lib/ocaml/md5sums/
-rw-r--r-- root/root 817 2013-06-06 08:45 ./var/lib/ocaml/md5sums/libaac-tactics-ocaml-dev.md5sums
drwxr-xr-x root/root 0 2013-06-06 08:45 ./var/lib/ocaml/lintian/
-rw-r--r-- root/root 83 2013-06-06 08:45 ./var/lib/ocaml/lintian/libaac-tactics-ocaml-dev.info
┌──────────────────────────────────────────────────────────────────────────────┐
│ Post Build │
└──────────────────────────────────────────────────────────────────────────────┘
┌──────────────────────────────────────────────────────────────────────────────┐
│ Cleanup │
└──────────────────────────────────────────────────────────────────────────────┘
Purging /«BUILDDIR»
Not cleaning session: cloned chroot in use
┌──────────────────────────────────────────────────────────────────────────────┐
│ Summary │
└──────────────────────────────────────────────────────────────────────────────┘
Build Architecture: armhf
Build-Space: 3936
Build-Time: 306
Distribution: jessie-staging
Host Architecture: armhf
Install-Time: 781
Job: aac-tactics_0.3.pl1-1
Machine Architecture: armhf
Package: aac-tactics
Package-Time: 1147
Source-Version: 0.3.pl1-1
Space: 3936
Status: successful
Version: 0.3.pl1-1
────────────────────────────────────────────────────────────────────────────────
Finished at 20130606-0845
Build needed 00:19:07, 3936k disc space