Artifact libz3-4_4.13.3-1_arm64

Metadata

deb_control_files:
- control
- md5sums
- shlibs
- triggers
deb_fields:
  Architecture: arm64
  Breaks: libz3-dev (<< 4.4.1)
  Depends: libc6 (>= 2.38), libgcc-s1 (>= 3.0), libstdc++6 (>= 14)
  Description: |-
    theorem prover from Microsoft Research - runtime libraries
     Z3 is a state-of-the-art theorem prover from Microsoft Research. It can be
     used to check the satisfiability of logical formulas over one or more
     theories. Z3 offers a compelling match for software analysis and verification
     tools, since several common software constructs map directly into supported
     theories.
     .
     This package contains runtime libraries. You shouldn't have to install it
     manually.
  Homepage: https://github.com/Z3Prover/z3
  Installed-Size: '26286'
  Maintainer: LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org>
  Multi-Arch: same
  Package: libz3-4
  Priority: optional
  Replaces: libz3-dev (<< 4.4.1)
  Section: libs
  Source: z3
  Version: 4.13.3-1
srcpkg_name: z3
srcpkg_version: 4.13.3-1

File

2024-11-23T19:29:09.500887 UTC: TooBigFileWidget failed to render

Relations

Relation	Type	Name
built-using	Source package	z3_4.13.3-1
built-using	Binary package	dpkg-dbgsym_1.22.12~1.gbp82cafd_arm64
built-using	Binary package	dpkg_1.22.12~1.gbp82cafd_arm64
built-using	Binary package	dselect-dbgsym_1.22.12~1.gbp82cafd_arm64
built-using	Binary package	dselect_1.22.12~1.gbp82cafd_arm64
built-using	Binary package	libdpkg-dev_1.22.12~1.gbp82cafd_arm64
built-using	Binary package	dpkg-dev_1.22.12~1.gbp82cafd_all
built-using	Binary package	libdpkg-perl_1.22.12~1.gbp82cafd_all
extends	Package upload	z3_4.13.3-1