../ CorePackages.hssrc/Cabal2Nix/CorePackages.hs: dropped 'filepath' and 'Cabal' from that list15 years ago Flags.hsEnable Cabal flags llvm, gmp, and libffi in Idris.13 years ago Generate.hsAllow specifying the location of the source code13 years ago License.hsCabal2Nix/License.hs: cosmetic13 years ago Name.hssrc/Cabal2Nix/Name.hs: cosmetic13 years ago Normalize.hsCabal2Nix/Normalize.hs: export the (kind-of generic) normalizeList function13 years ago Package.hsAllow specifying the location of the source code13 years ago PostProcess.hsRemove obsolete trifecta post-processing hook.13 years ago