summaryrefslogtreecommitdiff
path: root/gnu/packages/maths.scm
diff options
context:
space:
mode:
Diffstat (limited to 'gnu/packages/maths.scm')
-rw-r--r--gnu/packages/maths.scm2
1 files changed, 1 insertions, 1 deletions
diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm
index b68ff96aa8..22604f5841 100644
--- a/gnu/packages/maths.scm
+++ b/gnu/packages/maths.scm
@@ -3429,7 +3429,7 @@ This is the certified version of the Open Cascade Technology (OCCT) library.")
`("PYTHONPATH" prefix (,dest))))))))))
(inputs (list bash-minimal python))
(home-page "https://www.fast-downward.org/")
- (synopsis "Domain-independant classical planning system")
+ (synopsis "Domain-independent classical planning system")
(description "Fast Downward is a portfolio-based planning system that
supports the propositional fragment of PDDL2.2.")
(license license:gpl3+)))