[why3] ocaml-4.02.0-0.8.git10e45753.fc22 rebuild.
Richard W.M. Jones
rjones at fedoraproject.org
Sat Aug 2 10:40:05 UTC 2014
commit ba3bd28b17d01ed8b4688c643df27351b902f88f
Author: Richard W.M. Jones <rjones at redhat.com>
Date: Sat Aug 2 11:39:54 2014 +0100
ocaml-4.02.0-0.8.git10e45753.fc22 rebuild.
why3.spec | 5 ++++-
1 files changed, 4 insertions(+), 1 deletions(-)
---
diff --git a/why3.spec b/why3.spec
index af9e5c3..bd06e26 100644
--- a/why3.spec
+++ b/why3.spec
@@ -8,7 +8,7 @@
Name: why3
Version: 0.83
-Release: 9%{?dist}
+Release: 10%{?dist}
Summary: Software verification platform
# See LICENSE for the terms of the exception
@@ -234,6 +234,9 @@ mktexlsr &> /dev/null || :
%files all
%changelog
+* Sat Aug 02 2014 Richard W.M. Jones <rjones at redhat.com> - 0.83-10
+- ocaml-4.02.0-0.8.git10e45753.fc22 rebuild.
+
* Fri Aug 01 2014 Richard W.M. Jones <rjones at redhat.com> - 0.83-9
- OCaml 4.02.0 beta rebuild.
More information about the scm-commits
mailing list