Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2023-02-03 | treewide: add strictDeps = true to most packages depending on ocaml | Ulrik Strid | 1 | -3/+4 |
2021-01-19 | treewide: pkgs.pkgconfig -> pkgs.pkg-config, move pkgconfig to alias.nix | Jonathan Ringer | 1 | -2/+2 |
2021-01-11 | treewide: with stdenv.lib; in meta -> with lib; | Profpatsch | 1 | -2/+2 |
2020-04-10 | treewide: Per RFC45, remove all unquoted URLs | Michael Reilly | 1 | -1/+1 |
2019-08-15 | treewide: name -> pname (easy cases) (#66585) | volth | 1 | -1/+1 |
2018-10-11 | prooftree: cleaning | Vincent Laporte | 1 | -4/+5 |
2018-10-10 | prooftree: 0.12 -> 0.13 | Théo Zimmermann | 1 | -2/+2 |
2018-09-08 | prooftree: add license | Markus Kowalewski | 1 | -3/+4 |
2018-06-28 | treewide: http -> https sources (#42676) | Silvan Mosberger | 1 | -1/+1 |
2017-09-21 | misc pkgs: Basic sed to get fix `pkgconfig` and `autoreconfHook` `buildInputs` | John Ericson | 1 | -1/+2 |
2014-08-24 | Fix many package descriptions | Bjørn Forsman | 1 | -1/+1 |
2014-06-08 | prooftree: new expression 0.12 | John Wiegley | 1 | -0/+40 |