libs and tools updated

RELNOTES.txt

 PAKCS: Release Notes
 ====================
 
-Release notes for PAKCS Version 1.12.0 (June 1, 2015)
+Release notes for PAKCS Version 1.12.0 (June 3, 2015)
 -----------------------------------------------------
 
 Changes to version 1.11.5:
@@ -25,6 +25,7 @@ Changes to version 1.11.5:
   * Library `Either` extended with functions `fromLeft` and `fromRight`
   * Library `ShowS` added
   * Library `AnsiCodes` added
+  * Prelude operation `===` added
 
 
 Release notes for PAKCS Version 1.11.5 (February 28, 2015)

currytools @ ab9d9ff6

-Subproject commit 4be2e824e78e0ef68e6f0e9483ec30b2352bdfdc
+Subproject commit ab9d9ff6de6e5e0142b576d4e2e976c96d6c6473

lib-trunk @ 9e2e1f95

-Subproject commit dcd36ededd991a6307130d2b90747e762ad78c60
+Subproject commit 9e2e1f958ed684225c1c5aaea03154e43430934c