General information
About
News
FAQ
Contact us
Documentation
How to file bugs
using templates
Debian policy
piuparts.d.o configuration:
piuparts.conf,
distros.conf,
scripts and logs
README
README_server
piuparts manpage
Summaries
Bugs filed
Suites overview
Suite: stretch
by maintainer / uploader
by source package
states graph
all tested suites
experimental
sid2experimental
sid
sid-strict
sid-nodoc
sid-merged-usr
sid-broken-symlinks
testing2sid
bookworm
bookworm-rcmd
bullseye
bullseye-rcmd
bullseye-security
bullseye-pu
bullseye2next
stable2sid
stable22sid
buster
buster-rcmd
buster-security
buster-pu
buster2next
stretch2buster
stretch2Xbuster
stretch2buster-rcmd
stretch2Xbuster-rcmd
stretch2bpo2buster
stretch2bpo
stretch
stretch-rcmd
stretch-security
stretch-pu
stretch2next
oldstable222sid
oldstable22testing
jessie2stretch
jessie2Xstretch
jessie2stretch-rcmd
jessie2Xstretch-rcmd
jessie-lts2stretch
jessie2bpo2stretch
jessie2bpo
jessie2lts
jessie
jessie-rcmd
jessie-security
wheezy2jessie-lts
wheezy2jessie
wheezy2jessie-rcmd
wheezy2bpo2jessie
wheezy2lts
wheezy
wheezy-security
squeeze2wheezy-lts
squeeze2wheezy
squeeze2bpo-sloppy
squeeze2bpo2wheezy
squeeze2squeeze-lts
squeeze
lenny2squeeze
src: piuparts
Source
piuparts.d.o bugs
piuparts bugs / ToDo
Other Debian QA efforts
Debian QA Group
Dose tools (former: EDOS)
Lintian
Debian Package Tracker
Ultimate Debian Database
jenkins.debian.net
ci.debian.net
Last update
2023-04-12 13:42 UTC
pkg-llvm-team@lists.alioth.debian.org in stretch
other distributions: experimental sid2experimental sid sid-strict sid-nodoc sid-merged-usr sid-broken-symlinks testing2sid bookworm bookworm-rcmd bullseye bullseye-rcmd bullseye-security bullseye-pu bullseye2next stable2sid stable22sid buster buster-rcmd buster-security buster-pu buster2next stretch2buster stretch2Xbuster stretch2buster-rcmd stretch2Xbuster-rcmd stretch2bpo2buster stretch2bpo stretch-rcmd stretch-security stretch-pu stretch2next oldstable222sid oldstable22testing jessie2stretch jessie2Xstretch jessie2stretch-rcmd jessie2Xstretch-rcmd jessie-lts2stretch jessie2bpo2stretch jessie2bpo jessie2lts jessie jessie-rcmd jessie-security wheezy2jessie-lts wheezy2jessie wheezy2jessie-rcmd wheezy2bpo2jessie wheezy2lts wheezy wheezy-security squeeze2wheezy-lts squeeze2wheezy squeeze2bpo-sloppy squeeze2bpo2wheezy squeeze2squeeze-lts squeeze lenny2squeeze
fail:1llvm-toolchain-3.7
unknown:0 
pass:10iwyu libc++ libedit llvm-defaults llvm-toolchain-3.8 llvm-toolchain-3.9 llvm-toolchain-4.0 llvm-toolchain-7 openmprtl z3
llvm-toolchain-3.7 in stretch
Source:llvm-toolchain-3.7piuparts summary:failedVersion:1:3.7.1-5
Maintainer:LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org>
Uploaders:Sylvestre Ledru <sylvestre@debian.org>
Binary:libllvm-3.7-ocaml-devunknown package
Binary:libllvm3.7unknown package
Binary:libllvm3.7-dbgunknown package
Binary:llvm-3.7unknown package
Binary:llvm-3.7-devunknown package
Binary:llvm-3.7-doc:allpiuparts-result:successfully-tested 1:3.7.1-5Version:1:3.7.1-5
Binary:llvm-3.7-examples:allpiuparts-result:failed-testing 1:3.7.1-5 -  bug filed  Version:1:3.7.1-5
Binary:llvm-3.7-runtimeunknown package
Binary:llvm-3.7-toolsunknown package
iwyu in stretch
Source:iwyupiuparts summary:successVersion:3.9-2
Maintainer:LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org>
Uploaders:Sylvestre Ledru <sylvestre@debian.org>
Binary:iwyupiuparts-result:successfully-tested 3.9-2Version:3.9-2
libc++ in stretch
Source:libc++piuparts summary:successVersion:3.5-2
Maintainer:LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org>
Uploaders:Andrej Belym <white.wolf.2105@gmail.com>, Sylvestre Ledru <sylvestre@debian.org>
Binary:libc++-devpiuparts-result:successfully-tested 3.5-2Version:3.5-2
Binary:libc++-helpers:allpiuparts-result:successfully-tested 3.5-2Version:3.5-2
Binary:libc++-testpiuparts-result:successfully-tested 3.5-2Version:3.5-2
Binary:libc++1piuparts-result:successfully-tested 3.5-2Version:3.5-2
Binary:libc++abi-devpiuparts-result:successfully-tested 3.5-2Version:3.5-2
Binary:libc++abi-testpiuparts-result:successfully-tested 3.5-2Version:3.5-2
Binary:libc++abi1piuparts-result:successfully-tested 3.5-2Version:3.5-2
libedit in stretch
Source:libeditpiuparts summary:successVersion:3.1-20160903-3
Maintainer:LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org>
Uploaders:Anibal Monsalve Salazar <anibal@debian.org>, Sylvestre Ledru <sylvestre@debian.org>
Binary:libedit-devpiuparts-result:successfully-tested 3.1-20160903-3Version:3.1-20160903-3
Binary:libedit2piuparts-result:successfully-tested 3.1-20160903-3Version:3.1-20160903-3
Binary:libedit2-dbgpiuparts-result:successfully-tested 3.1-20160903-3Version:3.1-20160903-3
llvm-defaults in stretch
Source:llvm-defaultspiuparts summary:successVersion:0.36
Maintainer:LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org>
Uploaders:Matthias Klose <doko@debian.org>, Sylvestre Ledru <sylvestre@debian.org>
Binary:clangpiuparts-result:successfully-tested 1:3.8-36Version:1:3.8-36
Binary:clang-formatpiuparts-result:successfully-tested 1:3.8-36Version:1:3.8-36
Binary:clang-tidypiuparts-result:successfully-tested 1:3.8-36Version:1:3.8-36
Binary:libclang-devpiuparts-result:successfully-tested 1:3.8-36Version:1:3.8-36
Binary:libclang1piuparts-result:successfully-tested 1:3.8-36Version:1:3.8-36
Binary:libllvm-ocaml-devpiuparts-result:successfully-tested 1:3.8-36Version:1:3.8-36
Binary:lldbpiuparts-result:successfully-tested 1:3.8-36Version:1:3.8-36
Binary:llvmpiuparts-result:successfully-tested 1:3.8-36Version:1:3.8-36
Binary:llvm-devpiuparts-result:successfully-tested 1:3.8-36Version:1:3.8-36
Binary:llvm-runtimepiuparts-result:successfully-tested 1:3.8-36Version:1:3.8-36
llvm-toolchain-3.8 in stretch
Source:llvm-toolchain-3.8piuparts summary:successVersion:1:3.8.1-24
Maintainer:LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org>
Uploaders:Sylvestre Ledru <sylvestre@debian.org>
Binary:clang-3.8piuparts-result:successfully-tested 1:3.8.1-24Version:1:3.8.1-24
Binary:clang-3.8-doc:allpiuparts-result:successfully-tested 1:3.8.1-24Version:1:3.8.1-24
Binary:clang-3.8-examplespiuparts-result:successfully-tested 1:3.8.1-24Version:1:3.8.1-24
Binary:clang-format-3.8piuparts-result:successfully-tested 1:3.8.1-24Version:1:3.8.1-24
Binary:clang-tidy-3.8piuparts-result:successfully-tested 1:3.8.1-24Version:1:3.8.1-24
Binary:libclang-3.8-devpiuparts-result:successfully-tested 1:3.8.1-24Version:1:3.8.1-24
Binary:libclang-common-3.8-devpiuparts-result:successfully-tested 1:3.8.1-24Version:1:3.8.1-24
Binary:libclang1-3.8piuparts-result:successfully-tested 1:3.8.1-24Version:1:3.8.1-24
Binary:libclang1-3.8-dbgpiuparts-result:successfully-tested 1:3.8.1-24Version:1:3.8.1-24
Binary:libfuzzer-3.8-devpiuparts-result:successfully-tested 1:3.8.1-24Version:1:3.8.1-24
Binary:liblldb-3.8piuparts-result:successfully-tested 1:3.8.1-24Version:1:3.8.1-24
Binary:liblldb-3.8-dbgpiuparts-result:successfully-tested 1:3.8.1-24Version:1:3.8.1-24
Binary:liblldb-3.8-devpiuparts-result:successfully-tested 1:3.8.1-24Version:1:3.8.1-24
Binary:libllvm-3.8-ocaml-devpiuparts-result:successfully-tested 1:3.8.1-24Version:1:3.8.1-24
Binary:libllvm3.8piuparts-result:successfully-tested 1:3.8.1-24Version:1:3.8.1-24
Binary:libllvm3.8-dbgpiuparts-result:successfully-tested 1:3.8.1-24Version:1:3.8.1-24
Binary:lldb-3.8piuparts-result:successfully-tested 1:3.8.1-24Version:1:3.8.1-24
Binary:lldb-3.8-dev:allpiuparts-result:successfully-tested 1:3.8.1-24Version:1:3.8.1-24
Binary:llvm-3.8piuparts-result:successfully-tested 1:3.8.1-24Version:1:3.8.1-24
Binary:llvm-3.8-devpiuparts-result:successfully-tested 1:3.8.1-24Version:1:3.8.1-24
Binary:llvm-3.8-doc:allpiuparts-result:successfully-tested 1:3.8.1-24Version:1:3.8.1-24
Binary:llvm-3.8-examples:allpiuparts-result:successfully-tested 1:3.8.1-24Version:1:3.8.1-24
Binary:llvm-3.8-runtimepiuparts-result:successfully-tested 1:3.8.1-24Version:1:3.8.1-24
Binary:llvm-3.8-toolspiuparts-result:successfully-tested 1:3.8.1-24Version:1:3.8.1-24
Binary:python-clang-3.8piuparts-result:successfully-tested 1:3.8.1-24Version:1:3.8.1-24
Binary:python-lldb-3.8piuparts-result:successfully-tested 1:3.8.1-24Version:1:3.8.1-24
llvm-toolchain-3.9 in stretch
Source:llvm-toolchain-3.9piuparts summary:successVersion:1:3.9.1-9
Maintainer:LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org>
Uploaders:Sylvestre Ledru <sylvestre@debian.org>
Binary:clang-3.9piuparts-result:successfully-tested 1:3.9.1-9Version:1:3.9.1-9
Binary:clang-3.9-doc:allpiuparts-result:successfully-tested 1:3.9.1-9Version:1:3.9.1-9
Binary:clang-3.9-examplespiuparts-result:successfully-tested 1:3.9.1-9Version:1:3.9.1-9
Binary:clang-format-3.9piuparts-result:successfully-tested 1:3.9.1-9Version:1:3.9.1-9
Binary:clang-tidy-3.9piuparts-result:successfully-tested 1:3.9.1-9Version:1:3.9.1-9
Binary:libclang-3.9-devpiuparts-result:successfully-tested 1:3.9.1-9Version:1:3.9.1-9
Binary:libclang-common-3.9-devpiuparts-result:successfully-tested 1:3.9.1-9Version:1:3.9.1-9
Binary:libclang1-3.9piuparts-result:successfully-tested 1:3.9.1-9Version:1:3.9.1-9
Binary:libclang1-3.9-dbgpiuparts-result:successfully-tested 1:3.9.1-9Version:1:3.9.1-9
Binary:libfuzzer-3.9-devpiuparts-result:successfully-tested 1:3.9.1-9Version:1:3.9.1-9
Binary:liblldb-3.9piuparts-result:successfully-tested 1:3.9.1-9Version:1:3.9.1-9
Binary:liblldb-3.9-dbgpiuparts-result:successfully-tested 1:3.9.1-9Version:1:3.9.1-9
Binary:liblldb-3.9-devpiuparts-result:successfully-tested 1:3.9.1-9Version:1:3.9.1-9
Binary:libllvm-3.9-ocaml-devpiuparts-result:successfully-tested 1:3.9.1-9Version:1:3.9.1-9
Binary:libllvm3.9piuparts-result:successfully-tested 1:3.9.1-9Version:1:3.9.1-9
Binary:libllvm3.9-dbgpiuparts-result:successfully-tested 1:3.9.1-9Version:1:3.9.1-9
Binary:lldb-3.9piuparts-result:successfully-tested 1:3.9.1-9Version:1:3.9.1-9
Binary:llvm-3.9piuparts-result:successfully-tested 1:3.9.1-9Version:1:3.9.1-9
Binary:llvm-3.9-devpiuparts-result:successfully-tested 1:3.9.1-9Version:1:3.9.1-9
Binary:llvm-3.9-doc:allpiuparts-result:successfully-tested 1:3.9.1-9Version:1:3.9.1-9
Binary:llvm-3.9-examples:allpiuparts-result:successfully-tested 1:3.9.1-9Version:1:3.9.1-9
Binary:llvm-3.9-runtimepiuparts-result:successfully-tested 1:3.9.1-9Version:1:3.9.1-9
Binary:llvm-3.9-toolspiuparts-result:successfully-tested 1:3.9.1-9Version:1:3.9.1-9
Binary:python-clang-3.9piuparts-result:successfully-tested 1:3.9.1-9Version:1:3.9.1-9
Binary:python-lldb-3.9piuparts-result:successfully-tested 1:3.9.1-9Version:1:3.9.1-9
llvm-toolchain-4.0 in stretch
Source:llvm-toolchain-4.0piuparts summary:successVersion:1:4.0.1-10~deb9u2
Maintainer:LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org>
Uploaders:Sylvestre Ledru <sylvestre@debian.org>
Binary:clang-4.0piuparts-result:successfully-tested 1:4.0.1-10~deb9u2Version:1:4.0.1-10~deb9u2
Binary:clang-4.0-doc:allpiuparts-result:successfully-tested 1:4.0.1-10~deb9u2Version:1:4.0.1-10~deb9u2
Binary:clang-4.0-examplespiuparts-result:successfully-tested 1:4.0.1-10~deb9u2Version:1:4.0.1-10~deb9u2
Binary:clang-format-4.0piuparts-result:successfully-tested 1:4.0.1-10~deb9u2Version:1:4.0.1-10~deb9u2
Binary:clang-tidy-4.0piuparts-result:successfully-tested 1:4.0.1-10~deb9u2Version:1:4.0.1-10~deb9u2
Binary:clang-tools-4.0piuparts-result:successfully-tested 1:4.0.1-10~deb9u2Version:1:4.0.1-10~deb9u2
Binary:libclang-4.0-devpiuparts-result:successfully-tested 1:4.0.1-10~deb9u2Version:1:4.0.1-10~deb9u2
Binary:libclang-common-4.0-devpiuparts-result:successfully-tested 1:4.0.1-10~deb9u2Version:1:4.0.1-10~deb9u2
Binary:libclang1-4.0piuparts-result:successfully-tested 1:4.0.1-10~deb9u2Version:1:4.0.1-10~deb9u2
Binary:libclang1-4.0-dbgpiuparts-result:successfully-tested 1:4.0.1-10~deb9u2Version:1:4.0.1-10~deb9u2
Binary:libfuzzer-4.0-devpiuparts-result:successfully-tested 1:4.0.1-10~deb9u2Version:1:4.0.1-10~deb9u2
Binary:liblld-4.0piuparts-result:successfully-tested 1:4.0.1-10~deb9u2Version:1:4.0.1-10~deb9u2
Binary:liblld-4.0-devpiuparts-result:successfully-tested 1:4.0.1-10~deb9u2Version:1:4.0.1-10~deb9u2
Binary:liblldb-4.0piuparts-result:successfully-tested 1:4.0.1-10~deb9u2Version:1:4.0.1-10~deb9u2
Binary:liblldb-4.0-dbgpiuparts-result:successfully-tested 1:4.0.1-10~deb9u2Version:1:4.0.1-10~deb9u2
Binary:liblldb-4.0-devpiuparts-result:successfully-tested 1:4.0.1-10~deb9u2Version:1:4.0.1-10~deb9u2
Binary:libllvm4.0piuparts-result:successfully-tested 1:4.0.1-10~deb9u2Version:1:4.0.1-10~deb9u2
Binary:libllvm4.0-dbgpiuparts-result:successfully-tested 1:4.0.1-10~deb9u2Version:1:4.0.1-10~deb9u2
Binary:lld-4.0piuparts-result:successfully-tested 1:4.0.1-10~deb9u2Version:1:4.0.1-10~deb9u2
Binary:lldb-4.0piuparts-result:successfully-tested 1:4.0.1-10~deb9u2Version:1:4.0.1-10~deb9u2
Binary:llvm-4.0piuparts-result:successfully-tested 1:4.0.1-10~deb9u2Version:1:4.0.1-10~deb9u2
Binary:llvm-4.0-devpiuparts-result:successfully-tested 1:4.0.1-10~deb9u2Version:1:4.0.1-10~deb9u2
Binary:llvm-4.0-doc:allpiuparts-result:successfully-tested 1:4.0.1-10~deb9u2Version:1:4.0.1-10~deb9u2
Binary:llvm-4.0-examples:allpiuparts-result:successfully-tested 1:4.0.1-10~deb9u2Version:1:4.0.1-10~deb9u2
Binary:llvm-4.0-runtimepiuparts-result:successfully-tested 1:4.0.1-10~deb9u2Version:1:4.0.1-10~deb9u2
Binary:llvm-4.0-toolspiuparts-result:successfully-tested 1:4.0.1-10~deb9u2Version:1:4.0.1-10~deb9u2
Binary:python-clang-4.0piuparts-result:successfully-tested 1:4.0.1-10~deb9u2Version:1:4.0.1-10~deb9u2
Binary:python-lldb-4.0piuparts-result:successfully-tested 1:4.0.1-10~deb9u2Version:1:4.0.1-10~deb9u2
llvm-toolchain-7 in stretch
Source:llvm-toolchain-7piuparts summary:successVersion:1:7.0.1-8~deb9u3
Maintainer:LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org>
Uploaders:Sylvestre Ledru <sylvestre@debian.org>
Binary:clang-7piuparts-result:successfully-tested 1:7.0.1-8~deb9u3Version:1:7.0.1-8~deb9u3
Binary:clang-7-doc:allpiuparts-result:successfully-tested 1:7.0.1-8~deb9u3Version:1:7.0.1-8~deb9u3
Binary:clang-7-examplespiuparts-result:successfully-tested 1:7.0.1-8~deb9u3Version:1:7.0.1-8~deb9u3
Binary:clang-format-7piuparts-result:successfully-tested 1:7.0.1-8~deb9u3Version:1:7.0.1-8~deb9u3
Binary:clang-tidy-7piuparts-result:successfully-tested 1:7.0.1-8~deb9u3Version:1:7.0.1-8~deb9u3
Binary:clang-tools-7piuparts-result:successfully-tested 1:7.0.1-8~deb9u3Version:1:7.0.1-8~deb9u3
Binary:libc++-7-devpiuparts-result:successfully-tested 1:7.0.1-8~deb9u3Version:1:7.0.1-8~deb9u3
Binary:libc++1-7piuparts-result:successfully-tested 1:7.0.1-8~deb9u3Version:1:7.0.1-8~deb9u3
Binary:libc++abi-7-devpiuparts-result:successfully-tested 1:7.0.1-8~deb9u3Version:1:7.0.1-8~deb9u3
Binary:libc++abi1-7piuparts-result:successfully-tested 1:7.0.1-8~deb9u3Version:1:7.0.1-8~deb9u3
Binary:libclang-7-devpiuparts-result:successfully-tested 1:7.0.1-8~deb9u3Version:1:7.0.1-8~deb9u3
Binary:libclang-common-7-devpiuparts-result:successfully-tested 1:7.0.1-8~deb9u3Version:1:7.0.1-8~deb9u3
Binary:libclang1-7piuparts-result:successfully-tested 1:7.0.1-8~deb9u3Version:1:7.0.1-8~deb9u3
Binary:libfuzzer-7-devpiuparts-result:successfully-tested 1:7.0.1-8~deb9u3Version:1:7.0.1-8~deb9u3
Binary:liblld-7piuparts-result:successfully-tested 1:7.0.1-8~deb9u3Version:1:7.0.1-8~deb9u3
Binary:liblld-7-devpiuparts-result:successfully-tested 1:7.0.1-8~deb9u3Version:1:7.0.1-8~deb9u3
Binary:liblldb-7piuparts-result:successfully-tested 1:7.0.1-8~deb9u3Version:1:7.0.1-8~deb9u3
Binary:liblldb-7-devpiuparts-result:successfully-tested 1:7.0.1-8~deb9u3Version:1:7.0.1-8~deb9u3
Binary:libllvm-7-ocaml-devpiuparts-result:successfully-tested 1:7.0.1-8~deb9u3Version:1:7.0.1-8~deb9u3
Binary:libllvm7piuparts-result:successfully-tested 1:7.0.1-8~deb9u3Version:1:7.0.1-8~deb9u3
Binary:libomp-7-devpiuparts-result:successfully-tested 1:7.0.1-8~deb9u3Version:1:7.0.1-8~deb9u3
Binary:libomp-7-doc:allpiuparts-result:successfully-tested 1:7.0.1-8~deb9u3Version:1:7.0.1-8~deb9u3
Binary:libomp5-7piuparts-result:successfully-tested 1:7.0.1-8~deb9u3Version:1:7.0.1-8~deb9u3
Binary:lld-7piuparts-result:successfully-tested 1:7.0.1-8~deb9u3Version:1:7.0.1-8~deb9u3
Binary:lldb-7piuparts-result:successfully-tested 1:7.0.1-8~deb9u3Version:1:7.0.1-8~deb9u3
Binary:llvm-7piuparts-result:successfully-tested 1:7.0.1-8~deb9u3Version:1:7.0.1-8~deb9u3
Binary:llvm-7-devpiuparts-result:successfully-tested 1:7.0.1-8~deb9u3Version:1:7.0.1-8~deb9u3
Binary:llvm-7-doc:allpiuparts-result:successfully-tested 1:7.0.1-8~deb9u3Version:1:7.0.1-8~deb9u3
Binary:llvm-7-examples:allpiuparts-result:successfully-tested 1:7.0.1-8~deb9u3Version:1:7.0.1-8~deb9u3
Binary:llvm-7-runtimepiuparts-result:successfully-tested 1:7.0.1-8~deb9u3Version:1:7.0.1-8~deb9u3
Binary:llvm-7-toolspiuparts-result:successfully-tested 1:7.0.1-8~deb9u3Version:1:7.0.1-8~deb9u3
Binary:python-clang-7piuparts-result:successfully-tested 1:7.0.1-8~deb9u3Version:1:7.0.1-8~deb9u3
Binary:python-lldb-7piuparts-result:successfully-tested 1:7.0.1-8~deb9u3Version:1:7.0.1-8~deb9u3
openmprtl in stretch
Source:openmprtlpiuparts summary:successVersion:3.9.1-1
Maintainer:LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org>
Uploaders:Sylvestre Ledru <sylvestre@debian.org>
Binary:libiomp-devpiuparts-result:successfully-tested 3.9.1-1Version:3.9.1-1
Binary:libiomp-doc:allpiuparts-result:successfully-tested 3.9.1-1Version:3.9.1-1
Binary:libiomp5piuparts-result:successfully-tested 3.9.1-1Version:3.9.1-1
Binary:libiomp5-dbgpiuparts-result:successfully-tested 3.9.1-1Version:3.9.1-1
Binary:libomp-devpiuparts-result:successfully-tested 3.9.1-1Version:3.9.1-1
Binary:libomp-doc:allpiuparts-result:successfully-tested 3.9.1-1Version:3.9.1-1
Binary:libomp5piuparts-result:successfully-tested 3.9.1-1Version:3.9.1-1
Binary:libomp5-dbgpiuparts-result:successfully-tested 3.9.1-1Version:3.9.1-1
z3 in stretch
Source:z3piuparts summary:successVersion:4.4.1-1~deb9u1
Maintainer:LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org>
Uploaders:Michael Tautschnig <mt@debian.org>
Binary:libz3-4piuparts-result:successfully-tested 4.4.1-1~deb9u1Version:4.4.1-1~deb9u1
Binary:libz3-cilpiuparts-result:successfully-tested 4.4.1-1~deb9u1Version:4.4.1-1~deb9u1
Binary:libz3-devpiuparts-result:successfully-tested 4.4.1-1~deb9u1Version:4.4.1-1~deb9u1
Binary:libz3-javapiuparts-result:successfully-tested 4.4.1-1~deb9u1Version:4.4.1-1~deb9u1
Binary:libz3-jnipiuparts-result:successfully-tested 4.4.1-1~deb9u1Version:4.4.1-1~deb9u1
Binary:libz3-ocaml-devpiuparts-result:successfully-tested 4.4.1-1~deb9u1Version:4.4.1-1~deb9u1
Binary:python-z3piuparts-result:successfully-tested 4.4.1-1~deb9u1Version:4.4.1-1~deb9u1
Binary:z3piuparts-result:successfully-tested 4.4.1-1~deb9u1Version:4.4.1-1~deb9u1