about summary refs log tree commit diff
path: root/pkgs/development/compilers/polyml
AgeCommit message (Collapse)AuthorFilesLines
2019-08-17treewide: name -> pnamevolth1-1/+2
2019-08-15treewide: name -> pname (easy cases) (#66585)volth2-2/+2
treewide replacement of stdenv.mkDerivation rec { name = "*-${version}"; version = "*"; to pname
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
Semi-automatic update generated by https://github.com/ryantm/nix-update tools. This update was made based on information from https://repology.org/metapackage/polyml/versions. These checks were done: - built on NixOS - ran `/nix/store/ac6iwd3ixncb9cqjg59fbj2nzcfmsqgn-polyml-5.7.1/bin/poly --help` got 0 exit code - ran `/nix/store/ac6iwd3ixncb9cqjg59fbj2nzcfmsqgn-polyml-5.7.1/bin/poly -v` and found version 5.7.1 - ran `/nix/store/ac6iwd3ixncb9cqjg59fbj2nzcfmsqgn-polyml-5.7.1/bin/poly --help` and found version 5.7.1 - ran `/nix/store/ac6iwd3ixncb9cqjg59fbj2nzcfmsqgn-polyml-5.7.1/bin/polyc --help` got 0 exit code - ran `/nix/store/ac6iwd3ixncb9cqjg59fbj2nzcfmsqgn-polyml-5.7.1/bin/polyc --help` and found version 5.7.1 - found 5.7.1 with grep in /nix/store/ac6iwd3ixncb9cqjg59fbj2nzcfmsqgn-polyml-5.7.1 - directory tree listing: https://gist.github.com/e23988ea219cf9deddb7b7c0578cfd89
2017-08-07isabelle: use polyml 5.6Gabriel Ebner1-0/+33
Isabelle 2016 does not work with newer PolyML versions.
2017-06-18polyml: autoreconfHook -> nativeBuildInputsEric Bailey1-2/+3
Thanks, @peterhoeg.
2017-06-18polyml: enable libffi and gmpEric Bailey1-2/+9
Thanks, @Mic92.
2017-06-17polyml: 5.6 -> 5.7Eric Bailey1-15/+12
- fetchurl -> fetchFromGitHub - use `with stdenv.lib` in meta - add darwin to platforms - add yurrriq to maintainers
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
Also enable hydra build for linux svn path=/nixpkgs/trunk/; revision=27250
2009-12-10Add expression for PolyMLMarco Maggesi1-0/+24
svn path=/nixpkgs/trunk/; revision=18875
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-09-18 09:10:26 +0000