summaryrefslogtreecommitdiff
path: root/debian
diff options
context:
space:
mode:
Diffstat (limited to 'debian')
-rw-r--r--debian/changelog4
1 files changed, 2 insertions, 2 deletions
diff --git a/debian/changelog b/debian/changelog
index 5f9ea8c..d255d91 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,5 +1,5 @@
-compcert (2.4-1) UNRELEASED; urgency=medium
+compcert (2.4-1) unstable; urgency=medium
* Initial release.
- -- Benjamin Barenblat <bbaren@mit.edu> Thu, 05 Feb 2015 15:14:50 -0500
+ -- Benjamin Barenblat <bbaren@mit.edu> Thu, 05 Feb 2015 21:57:30 -0500