qbit/nixpkgs-immich
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity
main
nixpkgs-immich/pkgs/development/idris-modules/TODO.md
Aaron Bieber cc363a5c9b
immich sync
2024-09-17 10:23:40 -06:00

101 B
Raw Permalink Blame History

  • Build the RTS separately from Idris
  • idris2nix
  • Only require gmp, rts when compiling executables