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.