1663fb8Add name mapping for libxkbcommon.Peter Simons11 years ago 6890fe6Add support for the ISC license.Peter Simons11 years ago 0502416README.md: update link to user manualPeter Simons11 years ago 6c4694ehackage2nix.hs: disable broken buildsPeter Simons11 years ago 5b54d11doc: make user-guide.md refer to Steven Shaw's video "Escaping Cabal Hell with Nix"Peter Simons11 years ago c519a8egit-annex: don't require GnuPG 1.x any longerPeter Simons11 years ago 260fa23Merge pull request #173 from Fuuzetsu/remove-agda-depsPeter Simons11 years ago afa5a08don't specify ccphs/equivalence versionsMateusz Kowalczyk11 years ago c3122d6hackage2nix: disable failing buildsPeter Simons11 years ago 5421d54README.md: updatePeter Simons11 years ago 3d2f60ddoc: add other resources section to the user-guide.mdPeter Simons11 years ago d827dc6doc: simplify comments to be less confusingPeter Simons11 years ago a6f271bhackage2nix: disable broken buildsPeter Simons11 years ago b58a6a7doc: help github render user-guide.mdPeter Simons11 years ago 2cbb886doc: clean up the ghc-events section and add a section for the math.h problem on DarwinPeter Simons11 years ago cd39672Improve error reporting when cabal2nix is called with a syntactically bogus package id.Peter Simons11 years ago 1decba9doc: move ghc-event override example into the miscellaneous sectionPeter Simons11 years ago 5276c24Merge pull request #171 from nrolland/patch-1Peter Simons11 years ago bd88230Update user-guide.mdNicolas Rolland11 years ago 0ca0e55doc: user-guide.md is almost completePeter Simons11 years ago c5d3f3ehackage2nix: list broken packagesPeter Simons11 years ago d0ef14chackage2nix: disable broken buildsPeter Simons11 years ago 012a0c0doc: more user-guide.mdPeter Simons11 years ago 513a5fccabal2nix: switch command line parsing to optparse-applicativev20150531Peter Simons11 years ago e03009bsrc/Language/Nix/Path.hs: fix compiler warningPeter Simons11 years ago 453e46aMap name pulseaudio to libpulseaudio.Peter Simons11 years ago 4d6361fhackage2nix: don't update to scotty 0.10.x yetPeter Simons11 years ago 0890020hackage2nix: enable cabal-helper for ghc-modPeter Simons11 years ago e6c6f0aLicense.hs: add support for BSD4Peter Simons11 years ago d28f4efhackage2nix: don't update hslua yet to keep pandoc buildingPeter Simons11 years ago 66f6b13hackage2nix: Cabal-ide-backend has been fixed (by disabling the test suite)Peter Simons11 years ago 46e6e20hackage2nix.hs: pipes-errors 0.2 is broken, too, so we might as well have the latest broken versionPeter Simons11 years ago 0edb382doc: extend user-guide.mdPeter Simons11 years ago 3f9587dhackage2nix.hs: ide-backend was fixed upstreamPeter Simons11 years ago e097c71doc: fix link to Hackage in user-guide.mdPeter Simons11 years ago a5806f9hackage2nix: ncurses has been fixed upstreamPeter Simons11 years ago b72f5f9Name.hs: map curses to ncursesPeter Simons11 years ago f36eec5doc: improve the manualPeter Simons11 years ago 5082e61Merge pull request #170 from dmalikov/masterPeter Simons11 years ago c064134hackage2nix: whitelist meep packageDmitry Malikov11 years ago de27c99doc: update GHC non-determinism recovery instructionsPeter Simons11 years ago fb67f15hackage2nix: hBDD-CMUBDD is brokenPeter Simons11 years ago a799891cabal2nix: improve flexibility of the generated shell.nix filev20150525Peter Simons11 years ago 6b77548hackage2nix: ide-backend-common has been fixed upstreamPeter Simons11 years ago 61d7380hackage2nix: disable failing buildsPeter Simons11 years ago ca778c8hackage2nix: hspec-snap has been fixed upstreamPeter Simons11 years ago 7547ef2hackage2nix: disable builds broken by latest version of textPeter Simons11 years ago bdae67eMerge pull request #169 from gridaphobe/patch-2Peter Simons11 years ago 733930eAdd z3 to target.buildTools (for test-suite)Eric Seidel11 years ago a31a6f0hackage2nix: ihaskell-plot depends on broken ihaskellPeter Simons11 years ago