-
gazebo (7.5.0+dfsg-1) unstable; urgency=medium
* Imported Upstream version 7.5.0
* Don't need webkit anymore
-- Jose Luis Rivero <email address hidden> Mon, 16 Jan 2017 23:54:46 +0000
-
gazebo (7.3.1+dfsg-3) unstable; urgency=medium
* Fix use gtest system patch
(Closes: #844896)
-- Jose Luis Rivero <email address hidden> Mon, 28 Nov 2016 22:23:17 +0000
-
gazebo (7.3.1+dfsg-2) unstable; urgency=medium
[ Gianfranco Costamagna ]
* d/p/fix-boost1.62.patch: cherry-pick upstream commit to fix
a boost1.62 build failure due to a missing include (Closes: #843243).
-- Jose Luis Rivero <email address hidden> Thu, 10 Nov 2016 11:13:19 +0000
-
gazebo (7.3.1+dfsg-1.1~build1) zesty; urgency=medium
* Non-maintainer upload.
* d/p/fix-boost1.62.patch: cherry-pick upstream commit to fix
a boost1.62 build failure due to a missing include (Closes: #843243).
-- Gianfranco Costamagna <email address hidden> Sat, 05 Nov 2016 13:06:20 +0100
-
gazebo (7.3.1+dfsg-1ubuntu1) zesty; urgency=medium
* Fix failure with boost1.62
-- Gianfranco Costamagna <email address hidden> Sat, 05 Nov 2016 11:31:13 +0100
-
gazebo (7.3.1+dfsg-1build1) zesty; urgency=high
* No change rebuild against boost1.62.
-- Dimitri John Ledkov <email address hidden> Tue, 01 Nov 2016 16:21:11 +0000
-
gazebo (7.3.1+dfsg-1) unstable; urgency=medium
* Imported Upstream version 7.3.1
-- Jose Luis Rivero <email address hidden> Thu, 15 Sep 2016 22:09:38 +0000