mirror of
https://github.com/SebastianWendel/nixpkgs.git
synced 2024-09-24 22:20:17 +02:00
commit
c31c9c9cbb
|
@ -2,9 +2,7 @@
|
|||
# nettools needed for hostname
|
||||
|
||||
let
|
||||
pname = "Isabelle";
|
||||
version = "2011";
|
||||
name = "${pname}${version}";
|
||||
name = "Isabelle2012";
|
||||
theories = ["HOL" "FOL" "ZF"];
|
||||
in
|
||||
|
||||
|
@ -12,8 +10,8 @@ stdenv.mkDerivation {
|
|||
inherit name theories;
|
||||
|
||||
src = fetchurl {
|
||||
url = http://isabelle.in.tum.de/website-Isabelle2011/dist/Isabelle2011.tar.gz;
|
||||
sha256 = "ea85eb2a859891be387f020b2e45f8c9a0bd1d8bbc3902f28a429e9c61cb0b6a";
|
||||
url = http://www.cl.cam.ac.uk/research/hvg/isabelle/dist/Isabelle2012.tar.gz;
|
||||
sha256 = "1w2k5cg0d9hyigax0hwp6d84jnylb13ysk4x5kwl2412xryravxq";
|
||||
};
|
||||
|
||||
buildInputs = [ perl polyml nettools ];
|
||||
|
|
|
@ -1,16 +1,15 @@
|
|||
{stdenv, fetchurl}:
|
||||
|
||||
let
|
||||
pname = "polyml";
|
||||
version = "5.4";
|
||||
version = "5.4.1";
|
||||
in
|
||||
|
||||
stdenv.mkDerivation {
|
||||
name = "${pname}-${version}";
|
||||
name = "polyml-${version}";
|
||||
|
||||
src = fetchurl {
|
||||
url = "mirror://sourceforge/${pname}/${pname}.${version}.tar.gz";
|
||||
sha256 = "1ykbm4zk260dkdr8jl7mjaqxy98h65fq0z82k44b1fp5q8zy5d34";
|
||||
url = "mirror://sourceforge/polyml/polyml.${version}.tar.gz";
|
||||
sha256 = "514d1d07be487b783d4dfa29dbd550b3396640579ce135a9eb5a61f08e7f9cac";
|
||||
};
|
||||
|
||||
meta = {
|
||||
|
@ -19,7 +18,7 @@ stdenv.mkDerivation {
|
|||
Poly/ML is a full implementation of Standard ML.
|
||||
'';
|
||||
homepage = http://www.polyml.org/;
|
||||
license = "LGPL";
|
||||
license = stdenv.lib.licenses.lgpl;
|
||||
platforms = with stdenv.lib.platforms; linux;
|
||||
maintainers = [ #Add your name here!
|
||||
stdenv.lib.maintainers.z77z
|
||||
|
|
Loading…
Reference in a new issue