diff --git a/hatponboard-lib/Makefile b/hatponboard-lib/Makefile
index 1df32e23bc917af8c7f989641ac62f178d3de814..5b6980d8923634acc727dd095b63f0703bac6527 100644
--- a/hatponboard-lib/Makefile
+++ b/hatponboard-lib/Makefile
@@ -3,8 +3,8 @@
 #
 
 DISTNAME=		hatponboard-lib-${VERSION}
-VERSION=		2.1.4
-PKGREVISION=		1
+VERSION=		3.1.0
+PKGREVISION=		
 CATEGORIES=		planning
 MASTER_SITES=		${MASTER_SITE_OPENROBOTS:=hatponboard-lib/}
 MASTER_REPOSITORY=	${MASTER_REPOSITORY_OPENROBOTS}hatp/hatponboard-lib
diff --git a/hatponboard-lib/PLIST b/hatponboard-lib/PLIST
index ccadb15e2a17085440afd98d67c991ff93a9be4c..c95008af01ea1aa1f27c458e6869b69bd3591e59 100644
--- a/hatponboard-lib/PLIST
+++ b/hatponboard-lib/PLIST
@@ -29,6 +29,7 @@ include/hatponboard-lib/TaskList.hh
 include/hatponboard-lib/TaskListNode.hh
 include/hatponboard-lib/TimeProjection.hh
 include/hatponboard-lib/UndesirableStateData.hh
+include/hatponboard-lib/VerboseLevel.hh
 include/hatponboard-lib/WastedTimeData.hh
 include/hatponboard-lib/WorldBase.hh
 include/hatponboard-lib/WorldBaseAgent.hh
diff --git a/hatponboard-lib/depend.mk b/hatponboard-lib/depend.mk
index 2ffba9a79f0b7607b3dcd5ed109c6a06822165f5..150bf43ab864f20981de5b7786fab06a27a39022 100644
--- a/hatponboard-lib/depend.mk
+++ b/hatponboard-lib/depend.mk
@@ -14,7 +14,7 @@ PREFER.hatpconsole?=	robotpkg
 
 DEPEND_USE+=		hatponboard-lib
 
-DEPEND_ABI.hatponboard-lib?=	hatponboard-lib>=2.1.4
+DEPEND_ABI.hatponboard-lib?=	hatponboard-lib>=3.1.0
 DEPEND_DIR.hatponboard-lib?=	../../wip/hatponboard-lib
 
 SYSTEM_SEARCH.hatponboard-lib=\
diff --git a/hatponboard-lib/distinfo b/hatponboard-lib/distinfo
index 52c55024a588fb998bb94bee0ef623710f0307d7..3fb7e363c94c78a25a3402ea8f1b51b16d23ab7e 100644
--- a/hatponboard-lib/distinfo
+++ b/hatponboard-lib/distinfo
@@ -1,4 +1,3 @@
-SHA1 (hatponboard-lib-2.1.4.tar.gz) = 8d07062319f48a7a415dc06d5bfee2cea944f96d
-RMD160 (hatponboard-lib-2.1.4.tar.gz) = 73849642a7d438c004fcc7f25a6948b83e8fa281
-Size (hatponboard-lib-2.1.4.tar.gz) = 135294 bytes
-SHA1 (patch-aa) = abedd303bc2218aa7936d7ebd9abca789f88f9d4
+SHA1 (hatponboard-lib-3.1.0.tar.gz) = 16805d9980e7c21c244a4142aac437fcb329ea21
+RMD160 (hatponboard-lib-3.1.0.tar.gz) = f29807ab337b8f509de8061c62e544312cf615de
+Size (hatponboard-lib-3.1.0.tar.gz) = 147366 bytes
diff --git a/hatponboard-lib/patches/patch-aa b/hatponboard-lib/patches/patch-aa
deleted file mode 100644
index c173b24106f7883e81387e8adabfb0d38dc8898f..0000000000000000000000000000000000000000
--- a/hatponboard-lib/patches/patch-aa
+++ /dev/null
@@ -1,13 +0,0 @@
-diff --git CMakeLists.txt CMakeLists.txt
-index 0107cfe..9024d3f 100644
---- CMakeLists.txt
-+++ CMakeLists.txt
-@@ -61,7 +61,7 @@ configure_file(${CMAKE_CURRENT_SOURCE_DIR}/share/uninstall.cmake.in ${CMAKE_BINA
- add_custom_target(uninstall COMMAND ${CMAKE_COMMAND} -P ${CMAKE_BINARY_DIR}/uninstall.cmake)
- 
- #Documentation
--find_package(Doxygen REQUIRED)
-+find_package(Doxygen)
- if(DOXYGEN_FOUND)
-     configure_file(${CMAKE_CURRENT_SOURCE_DIR}/Doxyfile.in ${CMAKE_CURRENT_BINARY_DIR}/Doxyfile @ONLY)
-     add_custom_target(doc ${DOXYGEN_EXECUTABLE} ${CMAKE_CURRENT_BINARY_DIR}/Doxyfile WORKING_DIRECTORY ${CMAKE_CURRENT_BINARY_DIR} COMMENT "Generating API documentation with Doxygen" VERBATIM)