Francesco Gazzetta
Francesco Gazzetta
##### LibreSprite version ``` 1.0 ``` ##### Describe the bug Libresprite tries to create a SDL context even for cli-only actions ##### To Reproduce In a cli-only environment: ``` $...
As in the title, the audio isn't working on NixOS (Linux). I tried both running the prebuilt jar and building it from scratch. The only output is this: ``` [Controllers]...
Right now postulates are tightly coupled with signatures and instances. A `Postulate` must contain a `TypeSig` or `InstanceB` (enforced informally by `type TypeSignatureOrInstanceBlock = Declaration`). This means `postulate` can be...
#5526 (multiple _public_ libraries) is in, but there are still a few things to add and polish #### Visibility enforcement * [x] **Add a visibility field to sublibraries** :fire: :fire:...
cabal init --cabal-version 1.10 generates "cabal-version: 1.10" instead of "cabal-version: >=1.10"
**Describe the bug** cabal init --cabal-version 1.10 generates "cabal-version: 1.10" instead of "cabal-version: >=1.10" **To Reproduce** Steps to reproduce the behavior: ``` $ cabal init -n --cabal-version=1.10 p Warning: Cabal...
I use NixOS, but I prefer using cabal to manage haskell packages. A flag to make cabal2nix recursively check for system deps and add only them to the nix file...
Followup from https://github.com/nix-community/NUR/pull/27#issuecomment-406816320 I propose to move all the packages from the top-level to a `pkgs` attribute, so that `default.nix` only contains `pkgs`, `lib`, `modules`, and `overlays`. Pros: * more...
It seems to be related to email. To reproduce, try to build this file in the nixcloud-webservices repo: ```nix (import { configuration = { config, pkgs, ... }: { imports...
https://nixos.org/manual/nixos/stable/release-notes.html#sec-release-20.09 > The Nginx log directory has been moved to `/var/log/nginx`, the cache directory to `/var/cache/nginx`. The option `services.nginx.stateDir` has been removed.
24101d6ab9c305d26562ffb16d36b7fd242bf690 (#45) enabled SSL by default on managesieve (port 4190), but as far as I understand no plaintext alternative port is provided, so STARTTLS is not possible. Since the managesieve...