1{stdenv, fetchurl}:
2
3let
4 version = "5.5.2";
5in
6
7stdenv.mkDerivation {
8 name = "polyml-${version}";
9
10 src = fetchurl {
11 url = "mirror://sourceforge/polyml/polyml.${version}.tar.gz";
12 sha256 = "10m680qdad6bd50bav9xjsgmsxw8yxg55vr7grbg0gvykzl2pzbk";
13 };
14
15 meta = {
16 description = "Standard ML compiler and interpreter";
17 longDescription = ''
18 Poly/ML is a full implementation of Standard ML.
19 '';
20 homepage = http://www.polyml.org/;
21 license = stdenv.lib.licenses.lgpl21;
22 platforms = with stdenv.lib.platforms; linux;
23 maintainers = [ #Add your name here!
24 stdenv.lib.maintainers.z77z
25 ];
26 };
27}