bullseye-backports - agda

Ready changes

Summary

Backport agda to bullseye.

Diff

diff --git a/p/agda/debian/changelog b/p/agda/debian/changelog
index d20bce59cf..78c93d7784 100644
--- a/p/agda/debian/changelog
+++ b/p/agda/debian/changelog
@@ -1,3 +1,9 @@
+agda (2.6.2.2-1.1~bpo11+1) bullseye-backports; urgency=low
+
+  * Backport to bullseye.
+
+ -- Debian Janitor <janitor@jelmer.uk>  Thu, 08 Dec 2022 18:03:02 +0000
+
 agda (2.6.2.2-1.1) unstable; urgency=high
 
   * Non-maintainer upload.

Run locally

More details

Full run details