Malvin Gattinger

Debian package depends on libappindicator3-1 which does not exist in Debian stable

1

- OS: Debian 11 "bullseye" - Version of IPFS Desktop: `ipfs-desktop-0.16.2-linux-amd64.deb` **The Bug** The debian package depends on `libappindicator3-1`, a package which no longer exists in the current stable version...

fix https://github.com/elm/elm-lang.org/issues/609

## Checklist - [X] I have checked existing issues for potential duplicates before creating this one. - [X] I have read the [Troubleshooting guide][]. (Btw, the link here is empty...

code actions break literate haskell (lhs) files

1

### Your environment Debian stable, HLS 1.6.1.0, the problem happens with **emacs+lsp-mode**, and **VS Codium+vscode-haskell** (Hence I report it here and not to the editor plugins, hope that makes sense.)...

Feature request: Option to set startpage to Messages.

1

The main function I use is messages. Could you provide an option to go there by default when opening tinfoil?

The completion scripts seem to no longer work for elm 0.19. In particular it does not work for `elm foo` commands instead of `elm-foo`. Will this repository be updated or...

check LaTeX parts in other file types, for example Literate Haskell (.lhs)

2

Is there a way to run chktex on .lhs files which contain LaTeX? Currently the chktex linter is only available when the current file is named `.tex`.

``` λ> disp $ (optimize (vocabOf (gossipInit 3)) $ gossipInit 3 `update` call 3 (0,1)) ```

Build on hackage

2

See https://hackage.haskell.org/package/smcdel-1.2.0/reports/ Now that https://github.com/jrclogic/SMCDEL/issues/30 is fixed, i.e. we can build with cabal, the problem here is a bit different: the failure on Hackage is because the `cudd` fork is...

Continuing https://github.com/jrclogic/SMCDEL/issues/8 for K here. [K](https://github.com/jrclogic/SMCDEL/blob/master/src/SMCDEL/Translations/K.hs) - [ ] `blsToKripkeMulti` - [ ] `kripkeToBlsMulti` - [ ] `actionToEventMulti` - [ ] `eventToActionMulti`