about summary refs log tree commit diff
path: root/pkgs/development/compilers/polyml
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-12-13treewide: mark packages broken that never built on PLATFORMRick van Schijndel1-0/+2
2022-09-26treewide: move pkg-config, autoreconfHook, intltool to nativeBuildInputsArtturin1-1/+1
2022-03-25polyml: remove already applied patchFabián Heredia Montiel1-9/+7
2022-02-27polyml*: fix build w/glibc-2.34Maximilian Bosch3-3/+27
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 Siraphob3-14/+14
2020-07-25polyml: 5.8 -> 5.8.1Vaibhav Sagar1-10/+2
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly3-3/+3
2020-03-02polyml: updated maintainersKovacsics Robert2-2/+2
2020-03-02polyml: fix with new libffiKovacsics Robert3-1/+45
2019-10-07Rename z77z into maggesiMarco Maggesi3-3/+3
2019-08-17treewide: name -> pnamevolth1-1/+2
2019-08-15treewide: name -> pname (easy cases) (#66585)volth2-2/+2
2019-03-27Use Poly/ML 5.7 for IsabelleVaibhav Sagar1-0/+38
2019-03-27polyml: 5.7.1 -> 5.8Vaibhav Sagar1-2/+2
2018-06-29treewide: http -> httpsRyan Mulligan2-2/+2
2018-03-29polyml: 5.7 -> 5.7.1Ryan Mulligan1-2/+2
2017-08-07isabelle: use polyml 5.6Gabriel Ebner1-0/+33
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-07-04 01:02:31 +0000