bullseye-backports - cvc4
Ready changes
Summary
Backport cvc4 to bullseye.Diff
diff --git a/debian/changelog b/debian/changelog
index 8d77cf1..4561dd2 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+cvc4 (1.8-3~bpo11+1) bullseye-backports; urgency=low
+
+ * Backport to bullseye.
+
+ -- Debian Janitor <janitor@jelmer.uk> Sun, 04 Dec 2022 22:03:05 +0000
+
cvc4 (1.8-3) unstable; urgency=medium
* Team upload.
Debdiff
[The following lists of changes regard files as different if they have different names, permissions or owners.]
Files in second set of .debs but not in first
-rw-r--r-- root/root /usr/lib/debug/.build-id/46/c2110c97c395d0da6ed024eba4759ab46c6b82.debug -rw-r--r-- root/root /usr/lib/debug/.build-id/b5/8473d9dedd3db28719231fc807c19a23627e41.debug -rw-r--r-- root/root /usr/lib/debug/.build-id/df/51f7c698047764d473439c4bf136d874eaf357.debug
Files in first set of .debs but not in second
-rw-r--r-- root/root /usr/lib/debug/.build-id/35/578458f90c7829a86b146a838f6f0e6171e77a.debug -rw-r--r-- root/root /usr/lib/debug/.build-id/7a/a7c3bced8d9f2971f323dfc8793fd0f8e9d75e.debug -rw-r--r-- root/root /usr/lib/debug/.build-id/d3/0dada1d0001fde966978bcf4a9608b7b082c73.debug
Control files of package cvc4: lines which differ (wdiff format)
Depends: libcvc4-7 (= libcvc4parser7 (= libc6 (>= 2.34), 2.14), libcln6, libgcc-s1 (>= 3.0), libreadline8 (>= 6.0), libstdc++6 (>= 5.2)
Control files of package cvc4-dbgsym: lines which differ (wdiff format)
Build-Ids: 35578458f90c7829a86b146a838f6f0e6171e77a b58473d9dedd3db28719231fc807c19a23627e41
Control files of package libcvc4-7: lines which differ (wdiff format)
Depends: libc6 (>= 2.32), 2.29), libcln6, libgcc-s1 (>= 3.0), libstdc++6 (>= 11) 9)
Control files of package libcvc4-7-dbgsym: lines which differ (wdiff format)
Build-Ids: 7aa7c3bced8d9f2971f323dfc8793fd0f8e9d75e df51f7c698047764d473439c4bf136d874eaf357
No differences were encountered between the control files of package libcvc4-dev
Control files of package libcvc4parser7: lines which differ (wdiff format)
Depends: libantlr3c-3.4-0 | libantlr3c-antlrdbg-3.4-0, libc6 (>= 2.33), 2.14), libcln6, libcvc4-7 (>= 1.8), libgcc-s1 (>= 3.0), libstdc++6 (>= 11) 9)
Control files of package libcvc4parser7-dbgsym: lines which differ (wdiff format)
Build-Ids: d30dada1d0001fde966978bcf4a9608b7b082c73 46c2110c97c395d0da6ed024eba4759ab46c6b82