@@ -41,7 +41,7 @@ Tool updates
42* iPKG files have a new option `pkgs` which takes a comma-separated list
42* iPKG files have a new option `pkgs` which takes a comma-separated list
43 of package names that the idris project depends on. This reduces bloat
43 of package names that the idris project depends on. This reduces bloat
44− in the `opts` option with mutliple package declarations.
44+ in the `opts` option with multiple package declarations.
46Miscellaneous updates
46Miscellaneous updates
47---------------------
47---------------------