Wed Sep 19 19:17:47+0200 2018
91ab160
Update description
more/packages/ocaml.scm
| 442 | 442 | "/lib/ocaml/site-lib"))) | |
| 443 | 443 | #t))))) | |
| 444 | 444 | (home-page "https://github.com/ocaml/num") | |
| 445 | - | (synopsis "") | |
| 446 | - | (description "") | |
| 445 | + | (synopsis "Arbitrary-precision integer and rational arithmetic") | |
| 446 | + | (description "OCaml-Num contains the legacy Num library for | |
| 447 | + | arbitrary-precision integer and rational arithmetic that used to be part of | |
| 448 | + | the OCaml core distribution.") | |
| 447 | 449 | (license license:lgpl2.1+))); with linking exception | |
| 448 | 450 | ||
| 449 | 451 | (define-public coq-8.7 |