Quality Assurance
Policy is your friend. Trust the Policy. Love the Policy. Obey the Policy.
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:
stretch2Xbuster
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-19 13:22 UTC
pkg-llvm-team@lists.alioth.debian.org in stretch2Xbuster
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
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
fail:
0
unknown:
0
pass:
11
iwyu
libc++
libedit
llvm-defaults
llvm-toolchain-3.7
llvm-toolchain-3.8
llvm-toolchain-3.9
llvm-toolchain-4.0
llvm-toolchain-7
openmprtl
z3
iwyu in stretch2Xbuster
Source:
iwyu
piuparts summary:
Version:
7.0-3
Maintainer:
LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org>
Uploaders:
Sylvestre Ledru <sylvestre@debian.org>
Binary:
iwyu
piuparts-result:
successfully-tested
7.0-3
Version:
7.0-3 [cruft]
libc++ in stretch2Xbuster
Source:
libc++
piuparts summary:
Version:
None
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++-dev
piuparts-result:
successfully-tested
1:7.0-47
Version:
1:7.0-47 [cruft]
Binary:
libc++-helpers:all
piuparts-result:
successfully-tested
None
Version:
None [cruft]
Binary:
libc++-test
piuparts-result:
successfully-tested
None
Version:
None [cruft]
Binary:
libc++1
piuparts-result:
successfully-tested
1:7.0-47
Version:
1:7.0-47 [cruft]
Binary:
libc++abi-dev
piuparts-result:
successfully-tested
1:7.0-47
Version:
1:7.0-47 [cruft]
Binary:
libc++abi-test
piuparts-result:
successfully-tested
None
Version:
None [cruft]
Binary:
libc++abi1
piuparts-result:
successfully-tested
1:7.0-47
Version:
1:7.0-47 [cruft]
libedit in stretch2Xbuster
Source:
libedit
piuparts summary:
Version:
3.1-20181209-1
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-dev
piuparts-result:
successfully-tested
3.1-20181209-1
Version:
3.1-20181209-1 [cruft]
Binary:
libedit2
piuparts-result:
successfully-tested
3.1-20181209-1
Version:
3.1-20181209-1 [cruft]
Binary:
libedit2-dbg
piuparts-result:
successfully-tested
None
Version:
None [cruft]
llvm-defaults in stretch2Xbuster
Source:
llvm-defaults
piuparts summary:
Version:
0.47
Maintainer:
LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org>
Uploaders:
Matthias Klose <doko@debian.org>
,
Sylvestre Ledru <sylvestre@debian.org>
Binary:
clang
piuparts-result:
successfully-tested
1:7.0-47
Version:
1:7.0-47 [cruft]
Binary:
clang-format
piuparts-result:
successfully-tested
1:7.0-47
Version:
1:7.0-47 [cruft]
Binary:
clang-tidy
piuparts-result:
successfully-tested
1:7.0-47
Version:
1:7.0-47 [cruft]
Binary:
libclang-dev
piuparts-result:
successfully-tested
1:7.0-47
Version:
1:7.0-47 [cruft]
Binary:
libclang1
piuparts-result:
successfully-tested
1:7.0-47
Version:
1:7.0-47 [cruft]
Binary:
libllvm-ocaml-dev
piuparts-result:
successfully-tested
1:7.0-47
Version:
1:7.0-47 [cruft]
Binary:
lldb
piuparts-result:
successfully-tested
1:7.0-47
Version:
1:7.0-47 [cruft]
Binary:
llvm
piuparts-result:
successfully-tested
1:7.0-47
Version:
1:7.0-47 [cruft]
Binary:
llvm-dev
piuparts-result:
successfully-tested
1:7.0-47
Version:
1:7.0-47 [cruft]
Binary:
llvm-runtime
piuparts-result:
successfully-tested
1:7.0-47
Version:
1:7.0-47 [cruft]
llvm-toolchain-3.7 in stretch2Xbuster
Source:
llvm-toolchain-3.7
piuparts summary:
Version:
None
Maintainer:
LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org>
Uploaders:
Sylvestre Ledru <sylvestre@debian.org>
Binary:
libllvm-3.7-ocaml-dev
unknown package
Binary:
libllvm3.7
unknown package
Binary:
libllvm3.7-dbg
unknown package
Binary:
llvm-3.7
unknown package
Binary:
llvm-3.7-dev
unknown package
Binary:
llvm-3.7-doc:all
piuparts-result:
successfully-tested
None
Version:
None [cruft]
Binary:
llvm-3.7-examples:all
piuparts-result:
successfully-tested
None
Version:
None [cruft]
Binary:
llvm-3.7-runtime
unknown package
Binary:
llvm-3.7-tools
unknown package
llvm-toolchain-3.8 in stretch2Xbuster
Source:
llvm-toolchain-3.8
piuparts summary:
Version:
None
Maintainer:
LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org>
Uploaders:
Sylvestre Ledru <sylvestre@debian.org>
Binary:
clang-3.8
piuparts-result:
successfully-tested
None
Version:
None [cruft]
Binary:
clang-3.8-doc:all
piuparts-result:
successfully-tested
None
Version:
None [cruft]
Binary:
clang-3.8-examples
piuparts-result:
successfully-tested
None
Version:
None [cruft]
Binary:
clang-format-3.8
piuparts-result:
successfully-tested
None
Version:
None [cruft]
Binary:
clang-tidy-3.8
piuparts-result:
successfully-tested
None
Version:
None [cruft]
Binary:
libclang-3.8-dev
piuparts-result:
successfully-tested
None
Version:
None [cruft]
Binary:
libclang-common-3.8-dev
piuparts-result:
successfully-tested
None
Version:
None [cruft]
Binary:
libclang1-3.8
piuparts-result:
successfully-tested
None
Version:
None [cruft]
Binary:
libclang1-3.8-dbg
piuparts-result:
successfully-tested
None
Version:
None [cruft]
Binary:
libfuzzer-3.8-dev
piuparts-result:
successfully-tested
None
Version:
None [cruft]
Binary:
liblldb-3.8
piuparts-result:
successfully-tested
None
Version:
None [cruft]
Binary:
liblldb-3.8-dbg
piuparts-result:
successfully-tested
None
Version:
None [cruft]
Binary:
liblldb-3.8-dev
piuparts-result:
successfully-tested
None
Version:
None [cruft]
Binary:
libllvm-3.8-ocaml-dev
piuparts-result:
successfully-tested
None
Version:
None [cruft]
Binary:
libllvm3.8
piuparts-result:
successfully-tested
None
Version:
None [cruft]
Binary:
libllvm3.8-dbg
piuparts-result:
successfully-tested
None
Version:
None [cruft]
Binary:
lldb-3.8
piuparts-result:
successfully-tested
None
Version:
None [cruft]
Binary:
lldb-3.8-dev:all
piuparts-result:
successfully-tested
None
Version:
None [cruft]
Binary:
llvm-3.8
piuparts-result:
successfully-tested
None
Version:
None [cruft]
Binary:
llvm-3.8-dev
piuparts-result:
successfully-tested
None
Version:
None [cruft]
Binary:
llvm-3.8-doc:all
piuparts-result:
successfully-tested
None
Version:
None [cruft]
Binary:
llvm-3.8-examples:all
piuparts-result:
successfully-tested
None
Version:
None [cruft]
Binary:
llvm-3.8-runtime
piuparts-result:
successfully-tested
None
Version:
None [cruft]
Binary:
llvm-3.8-tools
piuparts-result:
successfully-tested
None
Version:
None [cruft]
Binary:
python-clang-3.8
piuparts-result:
successfully-tested
None
Version:
None [cruft]
Binary:
python-lldb-3.8
piuparts-result:
successfully-tested
None
Version:
None [cruft]
llvm-toolchain-3.9 in stretch2Xbuster
Source:
llvm-toolchain-3.9
piuparts summary:
Version:
None
Maintainer:
LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org>
Uploaders:
Sylvestre Ledru <sylvestre@debian.org>
Binary:
clang-3.9
piuparts-result:
successfully-tested
None
Version:
None [cruft]
Binary:
clang-3.9-doc:all
piuparts-result:
successfully-tested
None
Version:
None [cruft]
Binary:
clang-3.9-examples
piuparts-result:
successfully-tested
None
Version:
None [cruft]
Binary:
clang-format-3.9
piuparts-result:
successfully-tested
None
Version:
None [cruft]
Binary:
clang-tidy-3.9
piuparts-result:
successfully-tested
None
Version:
None [cruft]
Binary:
libclang-3.9-dev
piuparts-result:
successfully-tested
None
Version:
None [cruft]
Binary:
libclang-common-3.9-dev
piuparts-result:
successfully-tested
None
Version:
None [cruft]
Binary:
libclang1-3.9
piuparts-result:
successfully-tested
None
Version:
None [cruft]
Binary:
libclang1-3.9-dbg
piuparts-result:
successfully-tested
None
Version:
None [cruft]
Binary:
libfuzzer-3.9-dev
piuparts-result:
successfully-tested
None
Version:
None [cruft]
Binary:
liblldb-3.9
piuparts-result:
successfully-tested
None
Version:
None [cruft]
Binary:
liblldb-3.9-dbg
piuparts-result:
successfully-tested
None
Version:
None [cruft]
Binary:
liblldb-3.9-dev
piuparts-result:
successfully-tested
None
Version:
None [cruft]
Binary:
libllvm-3.9-ocaml-dev
piuparts-result:
successfully-tested
None
Version:
None [cruft]
Binary:
libllvm3.9
piuparts-result:
successfully-tested
None
Version:
None [cruft]
Binary:
libllvm3.9-dbg
piuparts-result:
successfully-tested
None
Version:
None [cruft]
Binary:
lldb-3.9
piuparts-result:
successfully-tested
None
Version:
None [cruft]
Binary:
llvm-3.9
piuparts-result:
successfully-tested
None
Version:
None [cruft]
Binary:
llvm-3.9-dev
piuparts-result:
successfully-tested
None
Version:
None [cruft]
Binary:
llvm-3.9-doc:all
piuparts-result:
successfully-tested
None
Version:
None [cruft]
Binary:
llvm-3.9-examples:all
piuparts-result:
successfully-tested
None
Version:
None [cruft]
Binary:
llvm-3.9-runtime
piuparts-result:
successfully-tested
None
Version:
None [cruft]
Binary:
llvm-3.9-tools
piuparts-result:
successfully-tested
None
Version:
None [cruft]
Binary:
python-clang-3.9
piuparts-result:
successfully-tested
None
Version:
None [cruft]
Binary:
python-lldb-3.9
piuparts-result:
successfully-tested
None
Version:
None [cruft]
llvm-toolchain-4.0 in stretch2Xbuster
Source:
llvm-toolchain-4.0
piuparts summary:
Version:
None
Maintainer:
LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org>
Uploaders:
Sylvestre Ledru <sylvestre@debian.org>
Binary:
clang-4.0
piuparts-result:
successfully-tested
None
Version:
None [cruft]
Binary:
clang-4.0-doc:all
piuparts-result:
successfully-tested
None
Version:
None [cruft]
Binary:
clang-4.0-examples
piuparts-result:
successfully-tested
None
Version:
None [cruft]
Binary:
clang-format-4.0
piuparts-result:
successfully-tested
None
Version:
None [cruft]
Binary:
clang-tidy-4.0
piuparts-result:
successfully-tested
None
Version:
None [cruft]
Binary:
clang-tools-4.0
piuparts-result:
successfully-tested
None
Version:
None [cruft]
Binary:
libclang-4.0-dev
piuparts-result:
successfully-tested
None
Version:
None [cruft]
Binary:
libclang-common-4.0-dev
piuparts-result:
successfully-tested
None
Version:
None [cruft]
Binary:
libclang1-4.0
piuparts-result:
successfully-tested
None
Version:
None [cruft]
Binary:
libclang1-4.0-dbg
piuparts-result:
successfully-tested
None
Version:
None [cruft]
Binary:
libfuzzer-4.0-dev
piuparts-result:
successfully-tested
None
Version:
None [cruft]
Binary:
liblld-4.0
piuparts-result:
successfully-tested
None
Version:
None [cruft]
Binary:
liblld-4.0-dev
piuparts-result:
successfully-tested
None
Version:
None [cruft]
Binary:
liblldb-4.0
piuparts-result:
successfully-tested
None
Version:
None [cruft]
Binary:
liblldb-4.0-dbg
piuparts-result:
successfully-tested
None
Version:
None [cruft]
Binary:
liblldb-4.0-dev
piuparts-result:
successfully-tested
None
Version:
None [cruft]
Binary:
libllvm4.0
piuparts-result:
successfully-tested
None
Version:
None [cruft]
Binary:
libllvm4.0-dbg
piuparts-result:
successfully-tested
None
Version:
None [cruft]
Binary:
lld-4.0
piuparts-result:
successfully-tested
None
Version:
None [cruft]
Binary:
lldb-4.0
piuparts-result:
successfully-tested
None
Version:
None [cruft]
Binary:
llvm-4.0
piuparts-result:
successfully-tested
None
Version:
None [cruft]
Binary:
llvm-4.0-dev
piuparts-result:
successfully-tested
None
Version:
None [cruft]
Binary:
llvm-4.0-doc:all
piuparts-result:
successfully-tested
None
Version:
None [cruft]
Binary:
llvm-4.0-examples:all
piuparts-result:
successfully-tested
None
Version:
None [cruft]
Binary:
llvm-4.0-runtime
piuparts-result:
successfully-tested
None
Version:
None [cruft]
Binary:
llvm-4.0-tools
piuparts-result:
successfully-tested
None
Version:
None [cruft]
Binary:
python-clang-4.0
piuparts-result:
successfully-tested
None
Version:
None [cruft]
Binary:
python-lldb-4.0
piuparts-result:
successfully-tested
None
Version:
None [cruft]
llvm-toolchain-7 in stretch2Xbuster
Source:
llvm-toolchain-7
piuparts summary:
Version:
1:7.0.1-8+deb10u2
Maintainer:
LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org>
Uploaders:
Sylvestre Ledru <sylvestre@debian.org>
Binary:
clang-7
piuparts-result:
successfully-tested
1:7.0.1-8+deb10u2
Version:
1:7.0.1-8+deb10u2 [cruft]
Binary:
clang-7-doc:all
piuparts-result:
successfully-tested
1:7.0.1-8+deb10u2
Version:
1:7.0.1-8+deb10u2 [cruft]
Binary:
clang-7-examples
piuparts-result:
successfully-tested
1:7.0.1-8+deb10u2
Version:
1:7.0.1-8+deb10u2 [cruft]
Binary:
clang-format-7
piuparts-result:
successfully-tested
1:7.0.1-8+deb10u2
Version:
1:7.0.1-8+deb10u2 [cruft]
Binary:
clang-tidy-7
piuparts-result:
successfully-tested
1:7.0.1-8+deb10u2
Version:
1:7.0.1-8+deb10u2 [cruft]
Binary:
clang-tools-7
piuparts-result:
successfully-tested
1:7.0.1-8+deb10u2
Version:
1:7.0.1-8+deb10u2 [cruft]
Binary:
libc++-7-dev
piuparts-result:
successfully-tested
1:7.0.1-8+deb10u2
Version:
1:7.0.1-8+deb10u2 [cruft]
Binary:
libc++1-7
piuparts-result:
successfully-tested
1:7.0.1-8+deb10u2
Version:
1:7.0.1-8+deb10u2 [cruft]
Binary:
libc++abi-7-dev
piuparts-result:
successfully-tested
1:7.0.1-8+deb10u2
Version:
1:7.0.1-8+deb10u2 [cruft]
Binary:
libc++abi1-7
piuparts-result:
successfully-tested
1:7.0.1-8+deb10u2
Version:
1:7.0.1-8+deb10u2 [cruft]
Binary:
libclang-7-dev
piuparts-result:
successfully-tested
1:7.0.1-8+deb10u2
Version:
1:7.0.1-8+deb10u2 [cruft]
Binary:
libclang-common-7-dev
piuparts-result:
successfully-tested
1:7.0.1-8+deb10u2
Version:
1:7.0.1-8+deb10u2 [cruft]
Binary:
libclang1-7
piuparts-result:
successfully-tested
1:7.0.1-8+deb10u2
Version:
1:7.0.1-8+deb10u2 [cruft]
Binary:
libfuzzer-7-dev
piuparts-result:
successfully-tested
1:7.0.1-8+deb10u2
Version:
1:7.0.1-8+deb10u2 [cruft]
Binary:
liblld-7
piuparts-result:
successfully-tested
1:7.0.1-8+deb10u2
Version:
1:7.0.1-8+deb10u2 [cruft]
Binary:
liblld-7-dev
piuparts-result:
successfully-tested
1:7.0.1-8+deb10u2
Version:
1:7.0.1-8+deb10u2 [cruft]
Binary:
liblldb-7
piuparts-result:
successfully-tested
1:7.0.1-8+deb10u2
Version:
1:7.0.1-8+deb10u2 [cruft]
Binary:
liblldb-7-dev
piuparts-result:
successfully-tested
1:7.0.1-8+deb10u2
Version:
1:7.0.1-8+deb10u2 [cruft]
Binary:
libllvm-7-ocaml-dev
piuparts-result:
successfully-tested
1:7.0.1-8+deb10u2
Version:
1:7.0.1-8+deb10u2 [cruft]
Binary:
libllvm7
piuparts-result:
successfully-tested
1:7.0.1-8+deb10u2
Version:
1:7.0.1-8+deb10u2 [cruft]
Binary:
libomp-7-dev
piuparts-result:
successfully-tested
1:7.0.1-8+deb10u2
Version:
1:7.0.1-8+deb10u2 [cruft]
Binary:
libomp-7-doc:all
piuparts-result:
successfully-tested
1:7.0.1-8+deb10u2
Version:
1:7.0.1-8+deb10u2 [cruft]
Binary:
libomp5-7
piuparts-result:
successfully-tested
1:7.0.1-8+deb10u2
Version:
1:7.0.1-8+deb10u2 [cruft]
Binary:
lld-7
piuparts-result:
successfully-tested
1:7.0.1-8+deb10u2
Version:
1:7.0.1-8+deb10u2 [cruft]
Binary:
lldb-7
piuparts-result:
successfully-tested
1:7.0.1-8+deb10u2
Version:
1:7.0.1-8+deb10u2 [cruft]
Binary:
llvm-7
piuparts-result:
successfully-tested
1:7.0.1-8+deb10u2
Version:
1:7.0.1-8+deb10u2 [cruft]
Binary:
llvm-7-dev
piuparts-result:
successfully-tested
1:7.0.1-8+deb10u2
Version:
1:7.0.1-8+deb10u2 [cruft]
Binary:
llvm-7-doc:all
piuparts-result:
successfully-tested
1:7.0.1-8+deb10u2
Version:
1:7.0.1-8+deb10u2 [cruft]
Binary:
llvm-7-examples:all
piuparts-result:
successfully-tested
1:7.0.1-8+deb10u2
Version:
1:7.0.1-8+deb10u2 [cruft]
Binary:
llvm-7-runtime
piuparts-result:
successfully-tested
1:7.0.1-8+deb10u2
Version:
1:7.0.1-8+deb10u2 [cruft]
Binary:
llvm-7-tools
piuparts-result:
successfully-tested
1:7.0.1-8+deb10u2
Version:
1:7.0.1-8+deb10u2 [cruft]
Binary:
python-clang-7
piuparts-result:
successfully-tested
1:7.0.1-8+deb10u2
Version:
1:7.0.1-8+deb10u2 [cruft]
Binary:
python-lldb-7
piuparts-result:
successfully-tested
1:7.0.1-8+deb10u2
Version:
1:7.0.1-8+deb10u2 [cruft]
openmprtl in stretch2Xbuster
Source:
openmprtl
piuparts summary:
Version:
None
Maintainer:
LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org>
Uploaders:
Sylvestre Ledru <sylvestre@debian.org>
Binary:
libiomp-dev
piuparts-result:
successfully-tested
None
Version:
None [cruft]
Binary:
libiomp-doc:all
piuparts-result:
successfully-tested
None
Version:
None [cruft]
Binary:
libiomp5
piuparts-result:
successfully-tested
None
Version:
None [cruft]
Binary:
libiomp5-dbg
piuparts-result:
successfully-tested
None
Version:
None [cruft]
Binary:
libomp-dev
piuparts-result:
successfully-tested
1:7.0-47
Version:
1:7.0-47 [cruft]
Binary:
libomp-doc:all
piuparts-result:
successfully-tested
None
Version:
None [cruft]
Binary:
libomp5
piuparts-result:
successfully-tested
1:7.0-47
Version:
1:7.0-47 [cruft]
Binary:
libomp5-dbg
piuparts-result:
successfully-tested
None
Version:
None [cruft]
z3 in stretch2Xbuster
Source:
z3
piuparts summary:
Version:
4.4.1-1~deb10u1
Maintainer:
LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org>
Uploaders:
Michael Tautschnig <mt@debian.org>
Binary:
libz3-4
piuparts-result:
successfully-tested
4.4.1-1~deb10u1
Version:
4.4.1-1~deb10u1 [cruft]
Binary:
libz3-cil
piuparts-result:
successfully-tested
4.4.1-1~deb10u1
Version:
4.4.1-1~deb10u1 [cruft]
Binary:
libz3-dev
piuparts-result:
successfully-tested
4.4.1-1~deb10u1
Version:
4.4.1-1~deb10u1 [cruft]
Binary:
libz3-java
piuparts-result:
successfully-tested
4.4.1-1~deb10u1
Version:
4.4.1-1~deb10u1 [cruft]
Binary:
libz3-jni
piuparts-result:
successfully-tested
4.4.1-1~deb10u1
Version:
4.4.1-1~deb10u1 [cruft]
Binary:
libz3-ocaml-dev
piuparts-result:
successfully-tested
4.4.1-1~deb10u1
Version:
4.4.1-1~deb10u1 [cruft]
Binary:
python-z3
piuparts-result:
successfully-tested
4.4.1-1~deb10u1
Version:
4.4.1-1~deb10u1 [cruft]
Binary:
z3
piuparts-result:
successfully-tested
4.4.1-1~deb10u1
Version:
4.4.1-1~deb10u1 [cruft]