Run of fresh-snapshots for cryptominisat

Try this locally (using silver-platter):

debian-svp new-upstream --snapshot cryptominisat 

Merge these changes:

git pull https://janitor.debian.net/git/cryptominisat fresh-snapshots/main

Summary

Merged new upstream version: 5.7.1+git20200517.0544260 (was: 5.7.1+dfsg1).

Diff

diff --git a/.travis.yml b/.travis.yml
index c47a7fd0..335d39c0 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -21,7 +21,21 @@ env:
 matrix:
   include:
     - os: osx
-      osx_image: xcode11.3
+      osx_image: xcode10.1 # osx 10.13
+      compiler: clang
+      python: "3.7"
+      env:
+        - CMS_CONFIG=NORMAL
+
+    - os: osx
+      osx_image: xcode11.3 # osx 10.14.6
+      compiler: clang
+      python: "3.7"
+      env:
+        - CMS_CONFIG=NORMAL
+
+    - os: osx
+      osx_image: xcode11.4 # osx 10.15
       compiler: clang
       python: "3.7"
       env:
diff --git a/debian/changelog b/debian/changelog
index 76360e59..4c2bb3b0 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+cryptominisat (5.7.1+git20200517.0544260-1) UNRELEASED; urgency=medium
+
+  * New upstream snapshot.
+
+ -- Debian Janitor <janitor@jelmer.uk>  Wed, 03 Jun 2020 16:08:15 +0000
+
 cryptominisat (5.7.1+dfsg1-1) unstable; urgency=medium
 
   * New upstream release 5.7.1.

Full worker log Full build log