about summary refs log tree commit diff
path: root/pkgs/development/compilers/polyml/5.6.nix
AgeCommit message (Expand)AuthorFilesLines
2022-09-26treewide: move pkg-config, autoreconfHook, intltool to nativeBuildInputsArtturin1-1/+1
2022-02-27polyml*: fix build w/glibc-2.34Maximilian Bosch1-1/+9
2021-01-23pkgs/development/compilers: stdenv.lib -> libBen Siraphob1-6/+6
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly1-1/+1
2019-10-07Rename z77z into maggesiMarco Maggesi1-1/+1
2019-08-17treewide: name -> pnamevolth1-1/+2
2018-06-29treewide: http -> httpsRyan Mulligan1-1/+1
2017-08-07isabelle: use polyml 5.6Gabriel Ebner1-0/+33