From 23f88b634b0fc08ea5eb3aa7dcd2b238e53baddd Mon Sep 17 00:00:00 2001 From: Jerry James Date: Tue, 14 Oct 2014 10:45:59 -0600 Subject: [PATCH] Rebuild for ocaml-zarith 1.3. Fix license handling. --- ocaml-tplib-gmp.patch | 11 ----------- ocaml-tplib.spec | 9 +++++++-- 2 files changed, 7 insertions(+), 13 deletions(-) delete mode 100644 ocaml-tplib-gmp.patch diff --git a/ocaml-tplib-gmp.patch b/ocaml-tplib-gmp.patch deleted file mode 100644 index a121adf..0000000 --- a/ocaml-tplib-gmp.patch +++ /dev/null @@ -1,11 +0,0 @@ ---- ./src/numeric_plugins/mlgmp_plugin.ml.orig 2013-02-14 04:08:25.000000000 -0700 -+++ ./src/numeric_plugins/mlgmp_plugin.ml 2013-02-19 13:56:39.613438907 -0700 -@@ -19,7 +19,7 @@ - - *) - --open Gmp -+open Mlgmp - - let bits_of_string s = - let s' = String.sub s 2 ((String.length s)-2) in (* remove prefix "0b" *) diff --git a/ocaml-tplib.spec b/ocaml-tplib.spec index ccea1d0..06c8e76 100644 --- a/ocaml-tplib.spec +++ b/ocaml-tplib.spec @@ -2,7 +2,7 @@ Name: ocaml-tplib Version: 1.3 -Release: 8%{?dist} +Release: 9%{?dist} Summary: Tropical Polyhedra Library License: LGPLv2+ @@ -80,7 +80,8 @@ _build/tests/test_tplib_double _build/tests/test_tplib_rational %files -%doc LICENSE README +%doc README +%license LICENSE %{_libdir}/ocaml/tplib/ %exclude %{_libdir}/ocaml/tplib/*.a %exclude %{_libdir}/ocaml/tplib/*.cmxa @@ -98,6 +99,10 @@ _build/tests/test_tplib_rational %doc %{_mandir}/man1/* %changelog +* Tue Oct 14 2014 Jerry James - 1.3-9 +- Rebuild for ocaml-zarith 1.3 +- Fix license handling + * Sun Aug 17 2014 Fedora Release Engineering - 1.3-8 - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild