30558e1Tentatively bump version number to 2.6.v2.6Peter Simons9 years ago eef3b98Port cabal2nix to hackage-db 2.x.Peter Simons9 years ago 8a6ffecRun generated shell.nix with "--arg doBenchmark true" to enable benchmark-related dependencies.Peter Simons9 years ago a66a429libNixName: add name mapping for libstatgrabPeter Simons9 years ago c3e2000libNixName: sort list alphabeticallyPeter Simons9 years ago 83a4cb0jsaddle: drop obsolete overridePeter Simons9 years ago 1ea0b47git: ignore Cabal's new-style environment filesPeter Simons9 years ago e5c3d07Merge pull request #300 from pbogdan/agda-fix-post-installPeter Simons9 years ago c55f1caliquid-fixpoint: disable test suite to fix the buildPeter Simons9 years ago d6a8019Agda: fix postInstall to account for multiple outputs.Piotr Bogdan9 years ago f0558f5liquid-fixpoint: add missing test suite dependency "git"Peter Simons9 years ago c60d449Bump version number for release.v2.5Peter Simons9 years ago 98e90b7liquid-fixpoint: add missing "hostname" dependency for test suitePeter Simons9 years ago 0ed67c9update-stackage.sh: always use the latest git-annexPeter Simons9 years ago 53777efMerge pull request #295 from 4e6/from-cabal-finalizePeter Simons9 years ago d7cf183Merge pull request #294 from nc6/lberPeter Simons9 years ago cf928baExpose Cabal finalization functionDmitry Bushev9 years ago 4d82fe3lber is provided by openLDAP.Nicholas Clarke9 years ago 90e3a93Bump version string for upcoming release.v2.4.1Peter Simons9 years ago fe458a9Merge pull request #288 from Fuuzetsu/honour-package-versionsPeter Simons9 years ago 6c0dbd3Don't ignore user-specified package version on fetchMateusz Kowalczyk9 years ago e4f891esbv: test suite depends on z3 theorem proverPeter Simons9 years ago bec116eWe cannot support wai-middleware-prometheus ==0.2.0.Peter Simons9 years ago e9e9669xmonad: fix post-process hook to cope with the new split-output derivationv2.4Peter Simons9 years ago 2a15f85Generate 'enableSeparateDataOutput' attribute for https://github.com/NixOS/nixpkgs/pull/27196.Peter Simons9 years ago 656c589update-nixpkgs.sh: don't update the cabal-install tarball any more: it's unnecessaryPeter Simons9 years ago 0b2f94alzma-clib: avoid evaluation on non-Windows platformsPeter Simons9 years ago 564c588Bump version number for upcoming release.Peter Simons9 years ago cbae3e6Require Cabal 2.x.Peter Simons9 years ago 360fc39sharc-timbre: GHC 8.0.2 compiles this package fine, so we can "unbreak" itPeter Simons9 years ago b1f46a5We currently don't support Cabal 2.x.Peter Simons9 years ago 3eafe2bUpdate mailing list.Graham Christensen9 years ago 447450fUpdate mailing list.Graham Christensen9 years ago c8a8045Update mailing list.Graham Christensen9 years ago 74bf170Avoid use of PackageName constructor to prepare for Cabal-2.x.Peter Simons9 years ago 51ed357travis: update CI build instructionsPeter Simons9 years ago cb2265eMerge pull request #284 from dmjio/derivation-infoPeter Simons9 years ago 4e9e46dGet raw derivationDavid Johnson9 years ago f81ab11Merge pull request #282 from vaibhavsagar/patch-1Peter Simons9 years ago 329b609Merge pull request #283 from bennofs/rename-webkitgtk24xPeter Simons9 years ago 610ffdfApply nixpkgs rename: webkitgtk24x -> webkitgtk24x-gtk3Benno Fünfstück9 years ago b76e67eUpdate README.mdVaibhav Sagar9 years ago 32fad9bupdate-nixpkgs.sh: drop unused shell variablePeter Simons9 years ago 6e331f2update-nixpkgs.sh: switch to "cabal new-build" for creating the hackage2nix executablePeter Simons9 years ago aa50929hackage2nix: ignore wai-middleware-prometheus-0.2.0Peter Simons9 years ago 450ae30Merge pull request #281 from BlockScope/typo/soucePeter Simons9 years ago cf195ecFix typo 'souce'.Phil de Joux9 years ago 1479994travis.yml: update CI build instructionsPeter Simons9 years ago 1be933bUse cabal-doctests to run the doctest suite.v2.3.1Peter Simons9 years ago 5c18fb5Merge pull request #280 from mdorman/masterv2.3Peter Simons9 years ago