mirror of
https://codeberg.org/guix/guix.git
synced 2025-10-02 02:15:12 +00:00
gnu: Fix some misspellings.
Change-Id: I316652aff7418af4b8e83bea24638b1513f8aa97
This commit is contained in:
parent
77ad73b333
commit
66daf46b41
79 changed files with 185 additions and 185 deletions
|
@ -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+)))
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue