@@ -871,6 +871,7 @@ packages:
871 - cabal-sort
871 - cabal-sort
872 - ghcjs-codemirror
872 - ghcjs-codemirror
873 - ghcjs-dom
873 - ghcjs-dom
874 # GHC 8 - idris
875 # GHC 8 - idris
875 - jsaddle
876 - jsaddle
876 # GHC 8 - leksah-server
877 # GHC 8 - leksah-server