From bc94af838b9755f1cd1ad87b8b39dc0a82741bc0 Mon Sep 17 00:00:00 2001
From: Enno Ruijters <mail@ennoruijters.nl>
Date: Tue, 21 Nov 2023 20:04:00 +0100
Subject: [PATCH] Add changelogs

---
 package/debian/changelog | 8 ++++++++
 package/dftres.spec      | 4 ++++
 2 files changed, 12 insertions(+)

diff --git a/package/debian/changelog b/package/debian/changelog
index 50644eb..7cb817a 100644
--- a/package/debian/changelog
+++ b/package/debian/changelog
@@ -1,3 +1,11 @@
+dftres (1.2.0) bookworm; urgency=low
+
+  * Various bugfixes discovered preparing for QComp 2023.
+  * Add support for two-sided Until formulae.
+  * Support for more Jani features used in the QComp 2023 models.
+
+ -- Enno Ruijters <mail@ennoruijters.nl>  Tue, 21 Nov 2023 20:07:00 +0200
+
 dftres (1.1.0) bullseye; urgency=low
 
   * Performance improvements.
diff --git a/package/dftres.spec b/package/dftres.spec
index 6f4fdcb..12ccfba 100644
--- a/package/dftres.spec
+++ b/package/dftres.spec
@@ -34,6 +34,10 @@ install -m 0755 package/DFTRES %{buildroot}/%{_bindir}
 %{_datadir}/dftres/DFTRES.jar
 
 %changelog
+* Tue Nov 21 2023 Enno Ruijters <mail@ennoruijters.nl> - 1.2.0-1
+- Various bugfixes discovered preparing for QComp 2023.
+- Add support for two-sided Until formulae.
+- Support for more Jani features used in the QComp 2023 models.
 * Fri Oct 07 2022 Enno Ruijters <mail@ennoruijters.nl> - 1.1.0-1
 - Performance improvements.
 - Support for Storm as DFT front-end.