From 3d5e7a99f4a4488851e4685a613e513837bcf4e3 Mon Sep 17 00:00:00 2001
From: Dries Van Daele <dries_van_daele@telenet.be>
Date: Wed, 11 Sep 2013 19:00:31 +0200
Subject: [PATCH 1/2] Update SWI-Prolog to version 6.4.1

---
 pkgs/development/compilers/swi-prolog/default.nix | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/pkgs/development/compilers/swi-prolog/default.nix b/pkgs/development/compilers/swi-prolog/default.nix
index e8db962d9c4f..a2dae290f447 100644
--- a/pkgs/development/compilers/swi-prolog/default.nix
+++ b/pkgs/development/compilers/swi-prolog/default.nix
@@ -3,14 +3,14 @@
    fontconfig }:
 
 let
-  version = "6.2.6";
+  version = "6.4.1";
 in
 stdenv.mkDerivation {
   name = "swi-prolog-${version}";
 
   src = fetchurl {
     url = "http://www.swi-prolog.org/download/stable/src/pl-${version}.tar.gz";
-    sha256 = "0ii14ghmky91kkh017khahl00s4igkz03b5gy6y0vhv179sz04ll";
+    sha256 = "1szqqwypqfd0qr3sk0qlip1ar22kpqgba6b44klmr1aag0lrahs8";
   };
 
   buildInputs = [gmp readline openssl libjpeg unixODBC libXinerama

From 412b970479026d8848ad002ab1fb5f47e2bfdecb Mon Sep 17 00:00:00 2001
From: Dries Van Daele <dries_van_daele@telenet.be>
Date: Wed, 11 Sep 2013 19:40:10 +0200
Subject: [PATCH 2/2] Update YAP to version 6.2.2

---
 pkgs/development/compilers/yap/default.nix | 13 ++++++++-----
 1 file changed, 8 insertions(+), 5 deletions(-)

diff --git a/pkgs/development/compilers/yap/default.nix b/pkgs/development/compilers/yap/default.nix
index f9a48468df31..8a00850a03a4 100644
--- a/pkgs/development/compilers/yap/default.nix
+++ b/pkgs/development/compilers/yap/default.nix
@@ -1,13 +1,16 @@
-{ stdenv, fetchurl }:
-        
+{ stdenv, fetchurl, readline }:
+
 stdenv.mkDerivation rec {
-  name = "yap-5.1.1";
+  version = "6.2.2";
+  name = "yap-${version}";
 
   src = fetchurl {
-    url = "mirror://sourceforge/yap/Yap-5.1.1.tar.gz";
-    sha256 = "0bajxmlla9gay4m4l7y7x6qldxzi0jcq2ykgpjk9liky7g5kbnya";
+    url = "http://www.dcc.fc.up.pt/~vsc/Yap/${name}.tar.gz";
+    sha256 = "0l6p0vy667wws64cvwf74ssl6h9gypjzrsl3b2d32hs422186pzi";
   };
 
+  buildInputs = [ readline ];
+
   meta = { 
     description = "Yap Prolog System is a ISO-compatible high-performance Prolog compiler";
     homepage = http://yap.sourceforge.net/;