Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
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 |