@@ -30,6 +30,7 @@ stdenv.mkDerivation rec {
3030 install -Dm0755 build/cadical "$out/bin/cadical"
3131 install -Dm0755 build/mobical "$out/bin/mobical"
3232 install -Dm0644 src/ccadical.h "$dev/include/ccadical.h"
33+ install -Dm0644 src/cadical.hpp "$dev/include/cadical.hpp"
3334 install -Dm0644 build/libcadical.a "$lib/lib/libcadical.a"
3435 mkdir -p "$out/share/doc/${pname}/"
3536 install -Dm0755 {LICEN?E,README*,VERSION} "$out/share/doc/${pname}/"