14 Commits

Author	SHA1	Message	Date
Ryan Mulligan	c381bdc1c5	polyml: 5.7 -> 5.7.1 ... 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	2018-03-29 11:16:14 -07:00
Gabriel Ebner	795c003359	isabelle: use polyml 5.6 ... Isabelle 2016 does not work with newer PolyML versions.	2017-08-07 17:21:08 +02:00
Eric Bailey	0f51a2a029	polyml: autoreconfHook -> nativeBuildInputs ... Thanks, @peterhoeg.	2017-06-18 11:41:26 -05:00
Eric Bailey	6818848fac	polyml: enable libffi and gmp ... Thanks, @Mic92.	2017-06-18 11:33:21 -05:00
Eric Bailey	478e88d13e	polyml: 5.6 -> 5.7 ... - fetchurl -> fetchFromGitHub - use `with stdenv.lib` in meta - add darwin to platforms - add yurrriq to maintainers	2017-06-17 19:31:25 -05:00
Gabriel Ebner	151fd89ba0	polyml: 5.5.2 -> 5.6	2016-02-23 14:19:04 +01:00
Jude Taylor	020bd4a723	darwin purity: polyml	2015-10-31 16:58:32 -07:00
John Wiegley	10e215a3ae	isabelle: Version 2014 building on Linux and Darwin	2014-09-30 23:15:31 -05:00
Marco Maggesi	e9e2e8ace6	PolyML expression: Factorize version number in a separate variable	2014-01-15 15:58:27 +01:00
Marco Maggesi	aa8f36e238	Update PolyML to version 5.5.1	2014-01-14 15:27:10 +01:00
Peter Simons	ef649da119	polyml: fix bogus license attribute	2012-09-06 18:46:54 +02:00
Marco Maggesi	264c528154	Upgrade PolyML to version 5.4.1	2012-09-04 12:02:18 +02:00
Marco Maggesi	bdace03143	Update PolyML to version 5.4 ... Also enable hydra build for linux svn path=/nixpkgs/trunk/; revision=27250	2011-05-13 15:55:05 +00:00
Marco Maggesi	adbaa14548	Add expression for PolyML ... svn path=/nixpkgs/trunk/; revision=18875	2009-12-10 13:16:06 +00:00