Package "urdfdom-headers"
| Name: | urdfdom-headers |
Description: |
This package is just an umbrella for a group of other packages,
it has no description.
|
| Latest version: | 1.0.0-1ubuntu0.1 |
| Release: | bionic (18.04) |
| Level: | updates |
| Repository: | universe |
Links
Other versions of "urdfdom-headers" in Bionic
| Repository | Area | Version |
|---|---|---|
| base | universe | 1.0.0-1 |
Packages in group
Deleted packages are displayed in grey.
Changelog
| Version: 1.0.0-1ubuntu0.1 | 2019-11-07 11:06:56 UTC | ||
|---|---|---|---|
|
urdfdom-headers (1.0.0-1ubuntu0.1) bionic; urgency=medium * Patches to avoid truncating problems on non english locale systems (LP: #1817595) -- Jose Luis Rivero <email address hidden> Thu, 08 Aug 2019 17:49:30 +0000 |
|||
|
|||
About
-
Send Feedback to @ubuntu_updates
