Notification time stamped 2019-07-31 22:59:29 UTC
From 6597eed07c6d527fd61535c93875af52912d865f Mon Sep 17 00:00:00 2001
From: Richard W.M. Jones <rjones(a)redhat.com>
Date: Jul 31 2019 22:59:20 +0000
Subject: OCaml 4.08.1 (rc2) rebuild.
---
diff --git a/flocq.spec b/flocq.spec
index 321b39a..7addbbb 100644
--- a/flocq.spec
+++ b/flocq.spec
@@ -6,7 +6,7 @@
Name: flocq
Version: 3.1.0
-Release: 2%{?dist}
+Release: 3%{?dist}
Summary: Formalization of floating point numbers for Coq
License: LGPLv3+
@@ -73,6 +73,9 @@ cp -p src/Prop/*.v $RPM_BUILD_ROOT%{flocqdir}/Prop
%{flocqdir}/Prop/*.v
%changelog
+* Wed Jul 31 2019 Richard W.M. Jones <rjones(a)redhat.com> - 3.1.0-3
+- OCaml 4.08.1 (rc2) rebuild.
+
* Thu Jul 25 2019 Fedora Release Engineering <releng(a)fedoraproject.org> - 3.1.0-2
- Rebuilt for
https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
https://src.fedoraproject.org/rpms/flocq/c/6597eed07c6d527fd61535c93875af...