[alt-ergo] Rebuild for OCaml 3.12.1.
Jerry James
jjames at fedoraproject.org
Sun Jan 8 04:33:57 UTC 2012
commit cf52868bb86455ed2559a25c4f25c152d3857be0
Author: Jerry James <loganjerry at gmail.com>
Date: Sat Jan 7 21:33:45 2012 -0700
Rebuild for OCaml 3.12.1.
alt-ergo.spec | 7 +++++--
1 files changed, 5 insertions(+), 2 deletions(-)
---
diff --git a/alt-ergo.spec b/alt-ergo.spec
index c8b3f63..1927070 100644
--- a/alt-ergo.spec
+++ b/alt-ergo.spec
@@ -7,13 +7,13 @@
Name: alt-ergo
Version: 0.94
-Release: 1%{?dist}
+Release: 2%{?dist}
Summary: Automated theorem prover including linear arithmetic
Group: Applications/Engineering
License: CeCILL-C
URL: http://alt-ergo.lri.fr/
-Source0: http://alt-ergo.lri.fr/http/alt-ergo-%{version}.tar.gz
+Source0: http://alt-ergo.lri.fr/http/%{name}-%{version}.tar.gz
Source1: swap0_why.why
Source2: README.alt-ergo
Source3: %{name}.desktop
@@ -131,6 +131,9 @@ update-desktop-database &> /dev/null || :
%{_datadir}/gtksourceview-2.0/language-specs/%{name}.lang
%changelog
+* Sat Jan 7 2012 Jerry James <loganjerry at gmail.com> - 0.94-2
+- Rebuild for OCaml 3.12.1
+
* Tue Dec 6 2011 Jerry James <loganjerry at gmail.com> - 0.94-1
- Add a desktop file for the gui.
- Update to version 0.94. This means:
More information about the scm-commits
mailing list