Publishing to Hackage - Githubissues

agda / cornelis

agda-mode for neovim

BSD 3-Clause "New" or "Revised" License

135 stars 23 forks source link

Publishing to Hackage #147

Closed phijor closed 7 months ago

phijor commented 7 months ago

I am in the process of packaging cornelis for NixOS (NixOS/nixpkgs#304335). The nixpkgs maintainers prefer to build Haskell packages automatically from Hackage instead of manually packaging them.

Would it be possible to publish the Haskell-part of cornelis to Hackage?

isovector commented 7 months ago

Done: https://hackage.haskell.org/package/cornelis