Rebuild for ocaml-zarith 1.3.

Fix license handling.

ocaml-tplib-gmp.patch

@@ -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" *)

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 <loganjerry@gmail.com> - 1.3-9
+- Rebuild for ocaml-zarith 1.3
+- Fix license handling
+
 * Sun Aug 17 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.3-8
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild