Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2019-08-15 | treewide: name -> pname (easy cases) (#66585) | volth | 1 | -1/+1 |
2017-09-21 | misc pkgs: Basic sed to get fix `pkgconfig` and `autoreconfHook` `buildInputs` | John Ericson | 1 | -1/+2 |
2016-09-08 | twelf: fix emacs mode | Dan Peebles | 1 | -0/+3 |
2015-03-31 | twelf: fix by actually including the Twelf SML heap image in the package and ... | Ben Darwin | 1 | -1/+2 |
2014-11-06 | Turn more licenses into lib.licenses style | Mateusz Kowalczyk | 1 | -1/+1 |
2014-08-24 | Fix many package descriptions | Bjørn Forsman | 1 | -1/+1 |
2014-07-22 | Don't use ensureDir | Eelco Dolstra | 1 | -4/+4 |
2014-06-27 | twelf: Fix the source URL | John Wiegley | 1 | -1/+1 |
2014-06-26 | twelf: new expression; prover for PL theory and logic | John Wiegley | 1 | -0/+46 |