Clone of https://github.com/NixOS/nixpkgs.git (to stress-test knotserver)
1diff -ru isl-0.11.1/include/isl/int.h isl-0.11.1.new/include/isl/int.h 2--- isl-0.11.1/include/isl/int.h 2012-11-29 09:47:32.000000000 +0100 3+++ isl-0.11.1.new/include/isl/int.h 2013-10-27 15:35:31.348553812 +0100 4@@ -14,7 +14,7 @@ 5 #include <string.h> 6 #include <gmp.h> 7 #if defined(__cplusplus) 8-#include <iostream> 9+#include <ostream> 10 #endif 11 12 #if defined(__cplusplus)