Commit message (Expand) | Author | Age | |
---|---|---|---|
* | treewide: pkgs.pkgconfig -> pkgs.pkg-config, move pkgconfig to alias.nix | Jonathan Ringer | 2021-01-19 |
* | treewide: stdenv.lib -> lib | Ben Siraphob | 2021-01-16 |
* | treewide: Per RFC45, remove all unquoted URLs | Michael Reilly | 2020-04-10 |
* | treewide: name -> pname (easy cases) (#66585) | volth | 2019-08-15 |
* | misc pkgs: Basic sed to get fix `pkgconfig` and `autoreconfHook` `buildInputs` | John Ericson | 2017-09-21 |
* | twelf: fix emacs mode | Dan Peebles | 2016-09-08 |
* | twelf: fix by actually including the Twelf SML heap image in the package and ... | Ben Darwin | 2015-03-31 |
* | Turn more licenses into lib.licenses style | Mateusz Kowalczyk | 2014-11-06 |
* | Fix many package descriptions | Bjørn Forsman | 2014-08-24 |
* | Don't use ensureDir | Eelco Dolstra | 2014-07-22 |
* | twelf: Fix the source URL | John Wiegley | 2014-06-27 |
* | twelf: new expression; prover for PL theory and logic | John Wiegley | 2014-06-26 |