about summary refs log tree commit diff
path: root/pkgs/development/compilers/polyml/default.nix
AgeCommit message (Expand)AuthorFilesLines
2023-12-04polyml: enable testssomeplaceguy1-0/+8
2023-12-04polyml: move definition of `src` attribute to standard locationsomeplaceguy1-7/+7
2023-10-04polyml: 5.9 -> 5.9.1R. Ryantm1-2/+2
2022-03-25polyml: remove already applied patchFabián Heredia Montiel1-9/+7
2022-02-27polyml*: fix build w/glibc-2.34Maximilian Bosch1-0/+8
2021-12-08polyml: 5.8.2 -> 5.9R. Ryantm1-2/+2
2021-07-18polyml: 5.8.1 -> 5.8.2Jan van Brügge1-2/+2
2021-01-23pkgs/development/compilers: stdenv.lib -> libBen Siraphob1-4/+4
2020-07-25polyml: 5.8 -> 5.8.1Vaibhav Sagar1-10/+2
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly1-1/+1
2020-03-02polyml: updated maintainersKovacsics Robert1-1/+1
2020-03-02polyml: fix with new libffiKovacsics Robert1-1/+9
2019-10-07Rename z77z into maggesiMarco Maggesi1-1/+1
2019-08-15treewide: name -> pname (easy cases) (#66585)volth1-1/+1
2019-03-27polyml: 5.7.1 -> 5.8Vaibhav Sagar1-2/+2
2018-06-29treewide: http -> httpsRyan Mulligan1-1/+1
2018-03-29polyml: 5.7 -> 5.7.1Ryan Mulligan1-2/+2
2017-06-18polyml: autoreconfHook -> nativeBuildInputsEric Bailey1-2/+3
2017-06-18polyml: enable libffi and gmpEric Bailey1-2/+9
2017-06-17polyml: 5.6 -> 5.7Eric Bailey1-15/+12
2016-02-23polyml: 5.5.2 -> 5.6Gabriel Ebner1-2/+2
2015-10-31darwin purity: polymlJude Taylor1-1/+7
2014-09-30isabelle: Version 2014 building on Linux and DarwinJohn Wiegley1-2/+2
2014-01-15PolyML expression: Factorize version number in a separate variableMarco Maggesi1-2/+6
2014-01-14Update PolyML to version 5.5.1Marco Maggesi1-7/+3
2012-09-06polyml: fix bogus license attributePeter Simons1-1/+1
2012-09-04Upgrade PolyML to version 5.4.1Marco Maggesi1-6/+5
2011-05-13Update PolyML to version 5.4Marco Maggesi1-2/+6
2009-12-10Add expression for PolyMLMarco Maggesi1-0/+24
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-08-02 06:18:13 +0000