Add recently added lib dirs to the darcs boring file

diff --git a/.darcs-boring b/.darcs-boring
index ab0ea5b..6d91f72 100644 (file)
--- a/.darcs-boring
+++ b/.darcs-boring
@@ -82,6 +82,11 @@
 ^libraries/unique(/|$)
 ^libraries/unix(/|$)
 ^libraries/xhtml(/|$)
+^libraries/dph(/|$)
+^libraries/utf8-string(/|$)
+^libraries/terminfo(/|$)
+^libraries/haskeline(/|$)
+^libraries/extensible-exceptions(/|$)
 # Other library bits that get generated:
 ^libraries/bootstrapping/
 ^libraries/stamp/