New Upstream Release - haskell-copilot-theorem

Ready changes

Summary

Merged new upstream version: 3.16 (was: 3.13).

Diff

diff --git a/p/haskell-copilot-theorem/debian/changelog b/p/haskell-copilot-theorem/debian/changelog
index d97cc84e1a..1c58993118 100644
--- a/p/haskell-copilot-theorem/debian/changelog
+++ b/p/haskell-copilot-theorem/debian/changelog
@@ -1,3 +1,9 @@
+haskell-copilot-theorem (3.16-1) UNRELEASED; urgency=low
+
+  * New upstream release.
+
+ -- Debian Janitor <janitor@jelmer.uk>  Thu, 10 Aug 2023 21:52:09 -0000
+
 haskell-copilot-theorem (3.13-1) unstable; urgency=medium
 
   * New upstream release

More details

Full run details

Historical runs