Lintian Fixes - cvc4
Recent merge proposals
Ready changes
Summary
- Set upstream metadata fields: Repository-Browse. ( upstream-metadata-file-is-missing )
- Update standards version to 4.6.2, no changes needed. ( out-of-date-standards-version )
- Set upstream metadata fields: Bug-Database, Bug-Submit. ( upstream-metadata-missing-bug-tracking )
Lintian Result
- cvc4-dbgsym_1.8-4~jan+lint2_amd64.deb
- cvc4_1.8-4~jan+lint2.dsc
- cvc4_1.8-4~jan+lint2_amd64.buildinfo
- cvc4_1.8-4~jan+lint2_amd64.deb
- libcvc4-7-dbgsym_1.8-4~jan+lint2_amd64.deb
- libcvc4-7_1.8-4~jan+lint2_amd64.deb
- libcvc4-dev_1.8-4~jan+lint2_amd64.deb
- libcvc4parser7-dbgsym_1.8-4~jan+lint2_amd64.deb
- libcvc4parser7_1.8-4~jan+lint2_amd64.deb
- cvc4_1.8-4~jan+lint2_amd64.changes
Diff
diff --git a/debian/changelog b/debian/changelog
index 8d77cf1..abad230 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,11 @@
+cvc4 (1.8-4) UNRELEASED; urgency=medium
+
+ * Set upstream metadata fields: Repository-Browse.
+ * Update standards version to 4.6.2, no changes needed.
+ * Set upstream metadata fields: Bug-Database, Bug-Submit.
+
+ -- Debian Janitor <janitor@jelmer.uk> Sat, 07 Jan 2023 23:41:16 -0000
+
cvc4 (1.8-3) unstable; urgency=medium
* Team upload.
diff --git a/debian/control b/debian/control
index d81d073..79f3495 100644
--- a/debian/control
+++ b/debian/control
@@ -12,7 +12,7 @@ Build-Depends: debhelper-compat (= 13),
cxxtest,
python3, python3-toml,
cmake
-Standards-Version: 4.5.0
+Standards-Version: 4.6.2
Homepage: https://cvc4.github.io/
Vcs-Git: https://salsa.debian.org/science-team/cvc4.git
Vcs-Browser: https://salsa.debian.org/science-team/cvc4
diff --git a/debian/upstream/metadata b/debian/upstream/metadata
new file mode 100644
index 0000000..40397db
--- /dev/null
+++ b/debian/upstream/metadata
@@ -0,0 +1,4 @@
+---
+Bug-Database: https://github.com/cvc5/cvc5/issues
+Bug-Submit: https://github.com/cvc5/cvc5/issues/new
+Repository-Browse: https://github.com/cvc5/cvc5
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/33/4196597bdbdb9a8b0f115bbe334b842b0df125.debug -rw-r--r-- root/root /usr/lib/debug/.build-id/69/2c52563585399d59658093fb7ef7dec45d188d.debug -rw-r--r-- root/root /usr/lib/debug/.build-id/b5/18646504ab9cc5f219a233a327736cf745a676.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
No differences were encountered between the control files of package cvc4
Control files of package cvc4-dbgsym: lines which differ (wdiff format)
Build-Ids: 35578458f90c7829a86b146a838f6f0e6171e77a 692c52563585399d59658093fb7ef7dec45d188d
No differences were encountered between the control files of package libcvc4-7
Control files of package libcvc4-7-dbgsym: lines which differ (wdiff format)
Build-Ids: 7aa7c3bced8d9f2971f323dfc8793fd0f8e9d75e b518646504ab9cc5f219a233a327736cf745a676
No differences were encountered between the control files of package libcvc4-dev
No differences were encountered between the control files of package libcvc4parser7
Control files of package libcvc4parser7-dbgsym: lines which differ (wdiff format)
Build-Ids: d30dada1d0001fde966978bcf4a9608b7b082c73 334196597bdbdb9a8b0f115bbe334b842b0df125