From 264c528154364841730d9ab29128effb0da674e8 Mon Sep 17 00:00:00 2001
From: Marco Maggesi <maggesi@math.unifi.it>
Date: Tue, 4 Sep 2012 12:02:18 +0200
Subject: [PATCH 1/2] Upgrade PolyML to version 5.4.1

---
 pkgs/development/compilers/polyml/default.nix | 11 +++++------
 1 file changed, 5 insertions(+), 6 deletions(-)

diff --git a/pkgs/development/compilers/polyml/default.nix b/pkgs/development/compilers/polyml/default.nix
index 9a3d0a7deb4..2654fd513e5 100644
--- a/pkgs/development/compilers/polyml/default.nix
+++ b/pkgs/development/compilers/polyml/default.nix
@@ -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

From 286d068b37be4f76d546328b7fedf4f3d82acbc5 Mon Sep 17 00:00:00 2001
From: Marco Maggesi <maggesi@math.unifi.it>
Date: Tue, 4 Sep 2012 14:34:31 +0200
Subject: [PATCH 2/2] Upgrade Isabelle proof assistant to version 2012

---
 pkgs/applications/science/logic/isabelle/default.nix | 8 +++-----
 1 file changed, 3 insertions(+), 5 deletions(-)

diff --git a/pkgs/applications/science/logic/isabelle/default.nix b/pkgs/applications/science/logic/isabelle/default.nix
index 4a268cac645..bbc868910f5 100644
--- a/pkgs/applications/science/logic/isabelle/default.nix
+++ b/pkgs/applications/science/logic/isabelle/default.nix
@@ -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 ];