Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2022-09-26 | treewide: move pkg-config, autoreconfHook, intltool to nativeBuildInputs | Artturin | 1 | -1/+1 |
2022-02-27 | polyml*: fix build w/glibc-2.34 | Maximilian Bosch | 1 | -1/+9 |
2021-01-23 | pkgs/development/compilers: stdenv.lib -> lib | Ben Siraphob | 1 | -6/+6 |
2020-04-10 | treewide: Per RFC45, remove all unquoted URLs | Michael Reilly | 1 | -1/+1 |
2019-10-07 | Rename z77z into maggesi | Marco Maggesi | 1 | -1/+1 |
2019-08-17 | treewide: name -> pname | volth | 1 | -1/+2 |
2018-06-29 | treewide: http -> https | Ryan Mulligan | 1 | -1/+1 |
2017-08-07 | isabelle: use polyml 5.6 | Gabriel Ebner | 1 | -0/+33 |