summaryrefslogtreecommitdiff
path: root/pkgs/development/compilers/polyml
AgeCommit message (Expand)Author
2025-12-10treewide: clean up 'meta = with' patternIhar Hrachyshka
2025-11-05treewide: mark as broken on darwin (last successful Hydra build in 2024)Rafael Ieda
2025-10-17maintainers: drop maggesiWolfgang Walther
2025-08-08polyml: 5.9.1 -> 5.9.2R. Ryantm
2025-07-24treewide: run nixfmt 1.0.0Wolfgang Walther
2025-04-08Revert "treewide: replace `rev` with `tag`"Winter
2025-04-07treewide: replace `rev` with `tag`Pol Dellaiera
2025-01-21polyml,polyml{56,57}: fix buildJan van Brügge
2024-12-10treewide: format all inactive Nix filesSilvan Mosberger
2024-09-25treewide: replace `stdenv.is` with `stdenv.hostPlatform.is`Artturin
2023-12-04polyml: enable testssomeplaceguy
2023-12-04polyml: move definition of `src` attribute to standard locationsomeplaceguy
2023-10-04polyml: 5.9 -> 5.9.1R. Ryantm
2022-12-13treewide: mark packages broken that never built on PLATFORMRick van Schijndel
2022-09-26treewide: move pkg-config, autoreconfHook, intltool to nativeBuildInputsArtturin
2022-03-25polyml: remove already applied patchFabián Heredia Montiel
2022-02-27polyml*: fix build w/glibc-2.34Maximilian Bosch
2021-12-08polyml: 5.8.2 -> 5.9R. Ryantm
2021-07-18polyml: 5.8.1 -> 5.8.2Jan van Brügge
2021-01-23pkgs/development/compilers: stdenv.lib -> libBen Siraphob
2020-07-25polyml: 5.8 -> 5.8.1Vaibhav Sagar
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly
2020-03-02polyml: updated maintainersKovacsics Robert
2020-03-02polyml: fix with new libffiKovacsics Robert
2019-10-07Rename z77z into maggesiMarco Maggesi
2019-08-17treewide: name -> pnamevolth
2019-08-15treewide: name -> pname (easy cases) (#66585)volth
2019-03-27Use Poly/ML 5.7 for IsabelleVaibhav Sagar
2019-03-27polyml: 5.7.1 -> 5.8Vaibhav Sagar
2018-06-29treewide: http -> httpsRyan Mulligan
2018-03-29polyml: 5.7 -> 5.7.1Ryan Mulligan
2017-08-07isabelle: use polyml 5.6Gabriel Ebner
2017-06-18polyml: autoreconfHook -> nativeBuildInputsEric Bailey
2017-06-18polyml: enable libffi and gmpEric Bailey
2017-06-17polyml: 5.6 -> 5.7Eric Bailey
2016-02-23polyml: 5.5.2 -> 5.6Gabriel Ebner
2015-10-31darwin purity: polymlJude Taylor
2014-09-30isabelle: Version 2014 building on Linux and DarwinJohn Wiegley
2014-01-15PolyML expression: Factorize version number in a separate variableMarco Maggesi
2014-01-14Update PolyML to version 5.5.1Marco Maggesi
2012-09-06polyml: fix bogus license attributePeter Simons
2012-09-04Upgrade PolyML to version 5.4.1Marco Maggesi
2011-05-13Update PolyML to version 5.4Marco Maggesi
2009-12-10Add expression for PolyMLMarco Maggesi
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-20 11:05:59 +0000