Your message dated Sat, 01 Jun 2024 11:00:11 +0000
with message-id <e1sdmt5-00diwx...@fasolo.debian.org>
and subject line Bug#1069293: fixed in pico-sdk 1.5.1-1
has caused the Debian Bug report #1069293,
regarding ITP: pico-sdk -- headers and libraries to write programs for
RP2040-based devices
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact ow...@bugs.debian.org
immediately.)
--
1069293: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1069293
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Package: wnpp
Severity: wishlist
Owner: Johannes Schauer Marin Rodrigues <jo...@debian.org>
X-Debbugs-Cc: debian-de...@lists.debian.org
* Package name : pico-sdk
Version : 1.5.1
Upstream Contact: https://github.com/raspberrypi/pico-sdk/issues
* URL : https://github.com/raspberrypi/pico-sdk/
* License : BSD-3-clause
Programming Lang: C/C++
Description : headers and libraries to write programs for RP2040-based
devices
The Raspberry Pi Pico SDK provides the headers, libraries and build system
necessary to write programs for the RP2040-based devices such as the Raspberry
Pi Pico in C, C++ or assembly language.
The SDK is designed to provide an API and programming environment that is
familiar both to non-embedded C developers and embedded C developers alike. A
single program runs on the device at a time and starts with a conventional
main() method. Standard C/C++ libraries are supported along with C level
libraries/APIs for accessing all of the RP2040's hardware include PIO.
Additionally the SDK provides higher level libraries for dealing with timers,
synchronization, USB (TinyUSB) and multi-core programming along with various
utilities.
The SDK can be used to build anything from simple applications, to fully
fledged runtime environments such as MicroPython, to low level software such
as RP2040's on-chip bootrom itself.
--- End Message ---
--- Begin Message ---
Source: pico-sdk
Source-Version: 1.5.1-1
Done: Johannes Schauer Marin Rodrigues <jo...@debian.org>
We believe that the bug you reported is fixed in the latest version of
pico-sdk, which is due to be installed in the Debian FTP archive.
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to 1069...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Johannes Schauer Marin Rodrigues <jo...@debian.org> (supplier of updated
pico-sdk package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmas...@ftp-master.debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Fri, 19 Apr 2024 15:45:29 +0200
Binary: pico-sdk-source
Source: pico-sdk
Architecture: all source
Version: 1.5.1-1
Distribution: unstable
Urgency: medium
Maintainer: Johannes Schauer Marin Rodrigues <jo...@debian.org>
Changed-By: Johannes Schauer Marin Rodrigues <jo...@debian.org>
Closes: 1069293
Description:
pico-sdk-source - headers and libraries to write programs for RP2040-based
devices
Changes:
pico-sdk (1.5.1-1) unstable; urgency=medium
.
* Initial release. (closes: #1069293)
Checksums-Sha1:
df1d9f83c6e471ca4bf9ce453a86ba73a9902b10 2141 pico-sdk_1.5.1-1.dsc
0524f915a42a4ff1d806496a98d31248a62e88a0 1024817 pico-sdk_1.5.1.orig.tar.gz
f1af6ff19520b01731f867a4b36e849609050bef 8600 pico-sdk_1.5.1-1.debian.tar.xz
70f15ef9594dc9f932adbb9b4e572690f2f0bff2 9573 pico-sdk_1.5.1-1_arm64.buildinfo
a37319a94ed2172481898ec38b149a2d93aed6c5 2722232
pico-sdk-source_1.5.1-1_all.deb
Checksums-Sha256:
1be8aa9e047cfabe2ef5291824d5984e59bcb3df747eec09facd535dda7cebba 2141
pico-sdk_1.5.1-1.dsc
95f5e522be3919e36a47975ffd3b208c38880c14468bd489ac672cfe3cec803c 1024817
pico-sdk_1.5.1.orig.tar.gz
944a5a9ca35f465e7fa52a5f4b0eb03df3ac9f34fb3f51c83303ebf3a11bafa7 8600
pico-sdk_1.5.1-1.debian.tar.xz
a5d7d56037d1837994db9e805ec022547026654978f6ca80d4f3c03b4e7e0d50 9573
pico-sdk_1.5.1-1_arm64.buildinfo
48b72f7808d756b1761d970ed8a59c3af9833e4dd15f28bcfe5442518f653970 2722232
pico-sdk-source_1.5.1-1_all.deb
Files:
120933215c439d25f591aa811d60f971 2141 libdevel optional pico-sdk_1.5.1-1.dsc
bcd2c153574b7bb29a6a07b771593f43 1024817 libdevel optional
pico-sdk_1.5.1.orig.tar.gz
1a9a17e971bcd4314fdcfd507c9cc94c 8600 libdevel optional
pico-sdk_1.5.1-1.debian.tar.xz
11a5c7961d746c5d0b0e283b8bc15dd0 9573 libdevel optional
pico-sdk_1.5.1-1_arm64.buildinfo
11bbdcf27a8e09d670ce20bf137a76ef 2722232 libdevel optional
pico-sdk-source_1.5.1-1_all.deb
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCgAdFiEElFhU6KL81LF4wVq58sulx4+9g+EFAmY1YCMACgkQ8sulx4+9
g+HI5g//TJ0qiP6Adyogp6+ED+H6dItcn0NTL8x+xsqD6hSZsU1TAWKe39ikqFo4
DsV1j3KVpYZq8EETwenHz3YcxSAVOa7w+8Acb0R4W1M83DtkUdjOy/99CRd67+cT
5vEDQn9yhzXSUINtRlTZFxOZurmOloYp3TNK9Hvy8iVJBjwG8nas2jTmHd3VZ+B7
mtogH/J3FYQBb64kQAqYtZCJFHxyeZBejJ6jptsMjLhDQLpl73ko/gC8E2miQXw1
RfYghFDjcSMg3oDwLxgpvIH+t4tsIP8Bby0j7LTGsOTQA95Zaz9t/mDE2axM/3Qr
vrES/OqGrZy3b06bMgK0nGAJf13U2b1tjpy1oZ3+etibLKXtORka8I5fPeZcVNCk
TtIZIT2hoboVvkFFPb9ibchqbLcutpz4qXcu/gCzrhC8LFKdsdd7+DryusjolU7i
vMwd1khPqVET6JlILuKNVHFkM1IZj8A61GdLPF3UuyRaxusM5WPPoAxhYjhBbjvP
27vlz3xRdW3Ha2Mw/Xez6fNLjXTTk5IceIYiecheefCMhFOE2mIi52f93whLonnf
AVXe9Qsd/hO1tXQo8V4/FvMeU3do/BbjcJdqX3zUeXjcGUQHlKToHZdfOgbeAh30
pDW0SJLqeB3pLlhDNXkNtp3Tr9zoaujG8H4z1iuvTA37l+55+pQ=
=m47A
-----END PGP SIGNATURE-----
pgpUkLJXUYreu.pgp
Description: PGP signature
--- End Message ---
