Commit graph

20 commits

Author SHA1 Message Date
Marco Maggesi ff1ed720e2 Rename z77z into maggesi
Make the "handle" of the maintainer match the name of the github account.
Also update the email address.
2019-10-07 17:05:25 +02:00
volth c814d72b51 treewide: name -> pname 2019-08-17 10:54:38 +00:00
volth 46420bbaa3 treewide: name -> pname (easy cases) (#66585)
treewide replacement of

stdenv.mkDerivation rec {
  name = "*-${version}";
  version = "*";

to pname
2019-08-15 13:41:18 +01:00
Vaibhav Sagar 9c3b994c49 Use Poly/ML 5.7 for Isabelle 2019-03-27 22:30:45 -04:00
Vaibhav Sagar cb0f01cf2e polyml: 5.7.1 -> 5.8 2019-03-27 21:51:49 -04:00
Ryan Mulligan 1d54dc6841 treewide: http -> https 2018-06-29 17:18:27 -07:00
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