urdfdom-headers 1.0.5-2 source package in Ubuntu
Changelog
urdfdom-headers (1.0.5-2) unstable; urgency=medium * Team upload. * Add patch for include dir * Remove Thomas from Uploaders, thanks for working on this * bump policy version (no changes) * Install build system files to share (Closes: #951473) * Minimize dependencies * Update d/watch -- Jochen Sprickerhof <email address hidden> Sat, 19 Dec 2020 22:17:00 +0100
Upload details
- Uploaded by:
- Debian Science Team
- Uploaded to:
- Sid
- Original maintainer:
- Debian Science Team
- Architectures:
- all
- Section:
- misc
- Urgency:
- Medium Urgency
See full publishing history Publishing
| Series | Published | Component | Section |
|---|
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| urdfdom-headers_1.0.5-2.dsc | 2.0 KiB | ccfafee00b0733bdf26155c9a6332472c49570116ebd27804c6c5abd5354491d |
| urdfdom-headers_1.0.5.orig.tar.gz | 12.3 KiB | 88bdd328a23ab779bdde20cd42169052df1eba82f05955135bc96d0063f633c3 |
| urdfdom-headers_1.0.5-2.debian.tar.xz | 3.7 KiB | 7bf911816d5e06d8a5d0104ada5ad91ade271f762c9f7296cd15ef9334bc3682 |
Available diffs
- diff from 1.0.5-1 to 1.0.5-2 (1.9 KiB)
No changes file available.
Binary packages built by this source
- liburdfdom-headers-dev: No summary available for liburdfdom-headers-dev in ubuntu hirsute.
No description available for liburdfdom-
headers- dev in ubuntu hirsute.
