[packages/ppl] - disable ocaml binndings requiring outdated gmp module - rel 4

[baggins]

commit e92daf48e31b9f2ce14f2c7bb726b757de38ca8d
Author: Jan Rękorajski <baggins at pld-linux.org>
Date:   Thu Apr 15 10:16:35 2021 +0200

    - disable ocaml binndings requiring outdated gmp module
    - rel 4

 ppl.spec | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/ppl.spec b/ppl.spec
index 6b51a25..d79b4e2 100644
--- a/ppl.spec
+++ b/ppl.spec
@@ -8,7 +8,7 @@
 #
 # Conditional build:
 %bcond_without	java		# Java bindings
-%bcond_without	ocaml		# OCaml bindings
+%bcond_with	ocaml		# OCaml bindings
 %bcond_without	ocaml_opt	# OCaml bindings native/opt
 %bcond_with	ciao		# Ciao Prolog interface
 %bcond_without	gprolog		# GNU Pprolog interface
@@ -29,7 +29,7 @@ Summary:	The Parma Polyhedra Library: a library of numerical abstractions
 Summary(pl.UTF-8):	Parma Polyhedra Library - biblioteka abstrakcji matematycznych
 Name:		ppl
 Version:	1.2
-Release:	3
+Release:	4
 License:	GPL v3+
 Group:		Libraries
 Source0:	ftp://ftp.cs.unipr.it/pub/ppl/releases/%{version}/%{name}-%{version}.tar.xz
================================================================

---- gitweb:

http://git.pld-linux.org/gitweb.cgi/packages/ppl.git/commitdiff/e92daf48e31b9f2ce14f2c7bb726b757de38ca8d