summaryrefslogtreecommitdiff
path: root/gnu/packages/maths.scm
diff options
context:
space:
mode:
authorRicardo Wurmus <rekado@elephly.net>2017-11-08 15:41:41 +0100
committerRicardo Wurmus <rekado@elephly.net>2017-11-08 16:21:53 +0100
commit5a80c15c14760b3989e24c7893bf79afb9f48741 (patch)
tree747be84575fb0a3046f3986329afaaed86d9ed2c /gnu/packages/maths.scm
parent88fb156288a2f3d07a998ec8c19469de00399d56 (diff)
downloadpatches-5a80c15c14760b3989e24c7893bf79afb9f48741.tar
patches-5a80c15c14760b3989e24c7893bf79afb9f48741.tar.gz
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".
Diffstat (limited to 'gnu/packages/maths.scm')
-rw-r--r--gnu/packages/maths.scm10
1 files changed, 5 insertions, 5 deletions
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)))