diff options
| author | Efraim Flashner <efraim@flashner.co.il> | 2022-10-25 21:50:59 +0300 |
|---|---|---|
| committer | Efraim Flashner <efraim@flashner.co.il> | 2022-10-25 21:50:59 +0300 |
| commit | 6ff203663e696b74e711ab09d6f4b35c2c332f0f (patch) | |
| tree | 4bf2c77c62fa60febba527a76b1ecffaa0a00a0d /gnu/packages/coq.scm | |
| parent | 408a4ed071c9c52de207d799a698781d49fa727d (diff) | |
| parent | a0751e3250dfea7e52468c8090e18c3118d93a60 (diff) | |
Merge remote-tracking branch 'origin/master' into staging
Diffstat (limited to 'gnu/packages/coq.scm')
| -rw-r--r-- | gnu/packages/coq.scm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gnu/packages/coq.scm b/gnu/packages/coq.scm index 60937af750..e4ee1aa882 100644 --- a/gnu/packages/coq.scm +++ b/gnu/packages/coq.scm @@ -727,7 +727,7 @@ for goals involving set operations. "This library is an extension of coq-mathcomp which supports finite sets and finite maps on choicetypes (rather than finite types). This includes support for functions with finite support and multisets. The library also -contains a generic order and set libary, which will eventually be used to +contains a generic order and set library, which will eventually be used to subsume notations for finite sets.") (home-page "https://math-comp.github.io/") (license license:cecill-b))) |