Source: z3 Version: 4.4.1-1~deb9u1 Severity: minor Tags: patch X-Debbugs-CC: fabi.wo...@arcor.de filipiz...@gmail.com
Dear Debian z3 package maintainer, As reported in a thread in https://lists.debian.org/debian-www/2022/09/ , there is a typo in package description text. Please find the proposed patch in the attachment. Thanks, Boyuan Yang
diff --git a/debian/control b/debian/control
index 0c2968b..9bdc6a7 100644
--- a/debian/control
+++ b/debian/control
@@ -16,7 +16,7 @@ Package: z3
Architecture: any
Depends: ${misc:Depends}, ${shlibs:Depends}
Description: theorem prover from Microsoft Research
- Z3 is a state-of-the art theorem prover from Microsoft Research. It can be
+ 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
@@ -34,7 +34,7 @@ Depends: ${shlibs:Depends},
Breaks: libz3-dev (<< 4.4.1)
Replaces: libz3-dev (<< 4.4.1)
Description: theorem prover from Microsoft Research - runtime libraries
- Z3 is a state-of-the art theorem prover from Microsoft Research. It can be
+ 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
@@ -49,7 +49,7 @@ Architecture: any
Multi-Arch: same
Depends: libz3-4 (= ${binary:Version}), ${misc:Depends}
Description: theorem prover from Microsoft Research - development files
- Z3 is a state-of-the art theorem prover from Microsoft Research. It can be
+ 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
@@ -67,7 +67,7 @@ Depends: libz3-dev (= ${binary:Version}),
${python3:Depends},
${shlibs:Depends}
Description: theorem prover from Microsoft Research - Python 3 bindings
- Z3 is a state-of-the art theorem prover from Microsoft Research. See the z3
+ Z3 is a state-of-the-art theorem prover from Microsoft Research. See the z3
package for a detailed description.
.
This package can be used to invoke Z3 via its Python 3 API.
@@ -78,7 +78,7 @@ Section: java
Architecture: amd64 arm64 armel armhf i386 mips mips64el mipsel powerpc ppc64el s390x alpha kfreebsd-amd64 kfreebsd-i386 powerpcspe riscv64 sparc64 x32
Depends: libz3-jni (>= ${binary:Version}), libz3-jni (<< ${source:Version}.1~), libz3-dev, ${misc:Depends}, ${java:Depends}
Description: theorem prover from Microsoft Research - java bindings
- Z3 is a state-of-the art theorem prover from Microsoft Research. See the z3
+ Z3 is a state-of-the-art theorem prover from Microsoft Research. See the z3
package for a detailed description.
.
This package can be used to invoke Z3 via its Java API.
@@ -91,7 +91,7 @@ Multi-Arch: same
Pre-Depends: ${misc:Pre-Depends}
Depends: libz3-dev (= ${binary:Version}), ${misc:Depends}, ${shlibs:Depends}
Description: theorem prover from Microsoft Research - JNI library
- Z3 is a state-of-the art theorem prover from Microsoft Research. See the z3
+ Z3 is a state-of-the-art theorem prover from Microsoft Research. See the z3
package for a detailed description.
.
This package provides the JNI library to invoke Z3 via its Java API.
signature.asc
Description: This is a digitally signed message part
