From 7c0264ec1e6113002b1f7436211e1dff085dd5a6 Mon Sep 17 00:00:00 2001
From: Don Stewart <dons@galois.com>
Date: Mon, 18 Oct 2010 18:06:08 +0000
Subject: [PATCH] bump

---
 plugins.cabal | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/plugins.cabal b/plugins.cabal
index 939228d..56ae246 100644
--- a/plugins.cabal
+++ b/plugins.cabal
@@ -1,5 +1,5 @@
 name:               plugins
-version:            1.5.1.3
+version:            1.5.1.4
 homepage:           http://code.haskell.org/~dons/code/hs-plugins
 synopsis:           Dynamic linking for Haskell and C objects
 description:        Dynamic linking and runtime evaluation of Haskell,
@@ -8,7 +8,9 @@ description:        Dynamic linking and runtime evaluation of Haskell,
                     Described in the papers:
 
                      * /Plugging Haskell In/, <http://www.cse.unsw.edu.au/~dons/papers/PSSC04.html>
+
                      * /Dynamic Applications from the Ground Up/, <http://www.cse.unsw.edu.au/~dons/papers/SC05.html>
+
                      * /Dynamic Extension of Typed Functional Languages/.
 
 category:           System