From 5a80c15c14760b3989e24c7893bf79afb9f48741 Mon Sep 17 00:00:00 2001 From: Ricardo Wurmus Date: Wed, 8 Nov 2017 15:41:41 +0100 Subject: gnu: Remove "open source" from descriptions. All software in Guix is Free Software. * gnu/packages/aidc.scm (libdmtx)[description]: Remove "open source" string. * gnu/packages/firmware.scm (seabios)[description]: Likewise. * gnu/packages/libupnp.scm (libupnp)[description]: Likewise. * gnu/packages/maths.scm (cubicle)[description]: Likewise. * gnu/packages/mingw.scm (mingw-w64)[description]: Likewise. * gnu/packages/game-development.scm (openmw)[description]: Likewise. [synopsis]: Remove "Free software". --- gnu/packages/maths.scm | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'gnu/packages/maths.scm') diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index 212a65dc35..69f5e2db60 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -3633,9 +3633,9 @@ theories} (SMT) solver. It provides a C/C++ API, as well as Python bindings.") (("\\\\n") ""))))))) (home-page "http://cubicle.lri.fr/") (synopsis "Model checker for array-based systems") - (description "Cubicle is an open source model checker for verifying safety -properties of array-based systems. This is a syntactically restricted class of -parametrized transition systems with states represented as arrays indexed by an -arbitrary number of processes. Cache coherence protocols and mutual exclusion -algorithms are typical examples of such systems.") + (description "Cubicle is a model checker for verifying safety properties +of array-based systems. This is a syntactically restricted class of +parametrized transition systems with states represented as arrays indexed by +an arbitrary number of processes. Cache coherence protocols and mutual +exclusion algorithms are typical examples of such systems.") (license license:asl2.0))) -- cgit v1.2.3