Dear Maintainer,

In order to provide a fully featured arduino-cli package in Debian, we
need to install builtin tools at specific locations.
The attached patch does just that.

On Sun, 26 Jul 2026 12:18:29 +0200 Nicolas Peugnet <nicolas@club1.fr>
wrote:> The attached patch does just that.

My bad, the previously provided patch was invalid, here is the correct one.

Seems fine to me. Do you want to push it to salsa or create a PR ?


Cheers!

Chris

I don't have the right to push on this repo so I created a MR:

https://salsa.debian.org/electronics-team/arduino/arduino-ctags/-/merge_requests/1

Hey,

I invited you to the project as a maintainer and merged your PR as it
looks good.
I also set the project's CI config file correctly.
I think the package may need updating from upstream and some general
tidying up. Are you in a position to do that ? I can help you if
needed.
I'll upload your new version of the package tonight.

Cheers!

Chris

We believe that the bug you reported is fixed in the latest version of
arduino-ctags, 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 1142801@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Christopher Obbard <obbardc@debian.org> (supplier of updated arduino-ctags 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 ftpmaster@ftp-master.debian.org)
Format: 1.8
Date: Tue, 28 Jul 2026 19:30:38 +0100
Source: arduino-ctags
Architecture: source
Version: 5.8-arduino11-4
Distribution: unstable
Urgency: medium
Maintainer: Debian Electronics Team <pkg-electronics-devel@lists.alioth.debian.org>
Changed-By: Christopher Obbard <obbardc@debian.org>
Closes: 1043766 1142801
Changes:
 arduino-ctags (5.8-arduino11-4) unstable; urgency=medium
 .
   * Team upload.
 .
   [ Nicolas Peugnet ]
   * [a0e46ba] Add symlink in libexec for arduino-cli (Closes: #1142801)
 .
   [ Christopher Obbard ]
   * [6884fd4] d/rules: clean build directory (Closes: #1043766)
Checksums-Sha1:
 674c1ccf04ce1c9866b066dd080dcbb80b99b4b1 2081 arduino-ctags_5.8-arduino11-4.dsc
 577493c705abb87aab06aae56f2d8231b67511e4 305600 arduino-ctags_5.8-arduino11.orig.tar.xz
 e1b756c1ea89634d1d986960e91e1b02fe532ecb 17452 arduino-ctags_5.8-arduino11-4.debian.tar.xz
 25ba7c690658f98202d67a5aff10a12a503cf09a 6265 arduino-ctags_5.8-arduino11-4_source.buildinfo
Checksums-Sha256:
 3ee46c3802c80200bf59c9f3c8d3ac894ae87f55dafe1b69e3c8b8d5bc85107e 2081 arduino-ctags_5.8-arduino11-4.dsc
 9591ce86efa2ff7c277561706e6ace376201c5ec5f0b3925c50884ebf365d7e7 305600 arduino-ctags_5.8-arduino11.orig.tar.xz
 e778a68301383fe200ab756b4f962ff1fc58475c7fc2cf7732dddddac05cac22 17452 arduino-ctags_5.8-arduino11-4.debian.tar.xz
 3c57c2190fb8229d2749569aa43a80eab01adb5b96a71428515ff39ad4f7ca31 6265 arduino-ctags_5.8-arduino11-4_source.buildinfo
Files:
 820e9053149c267abcfb35254479ccaf 2081 editors optional arduino-ctags_5.8-arduino11-4.dsc
 8eb0936281f28e9fb6a639dabe2d1338 305600 editors optional arduino-ctags_5.8-arduino11.orig.tar.xz
 d1a96e9c2022e08188a391c4638de12e 17452 editors optional arduino-ctags_5.8-arduino11-4.debian.tar.xz
 cf9790cd98ad9ef6e3bbfa44925712a6 6265 editors optional arduino-ctags_5.8-arduino11-4_source.buildinfo
-----BEGIN PGP SIGNATURE-----

iQJHBAEBCgAxFiEE8Yvci2wl+QqiPVF0Y03E8GhwRvgFAmpo+agTHG9iYmFyZGNA
ZGViaWFuLm9yZwAKCRBjTcTwaHBG+FJFD/9V/s4fLTKqsRM45Svc0NLMVM81Wc+y
QEtJuMqmOaydLTTzubILIh2AGj3bcz70nu0vDOf0qpjlM/S68mD7IyhW/DyjEalC
1SIuGQ6IvO11wSslKYXi4cw5Dl/3dK6SfBeclT4NA3Xlzt8N9EDj5hPzP8QmctA1
vBOr8A/8wUkItkenCTfItK34s42U/dUUsBW0UI1UhO1IHGok2oAxDSW8fsiH3vDM
Ga9QuSq33Szi0VSNV9MOz1WxBnn8w6v9Hyy1sXBBYuGsanONIQPfaxdXOBPHl0Hw
VmMyq8uPirmjT44w2w7NJi0EXEfoGZCYkR6SBJfKG45ixLu4yVTpxh+SJeSctD6m
Tv9hX1VpHW8BKFy0fwIsZ2o7EI5xqUNkngHJaWwtjHvyUyv9Dsaa71enJkh8lJSA
d5DtN7mk+Q8G+Tvbm0TZmm5ZpUzqalkE/z3kZ04rr67W4XgRnsqZRNi9Xy9f5mm4
F9Ly/dCyAVso6UoZFm03mM/E6pKAVHlSBgVcNfFdTbvFdf+ZtLhBIAtAIdAXHkhQ
tAh3PJedqaRGpUQnYV+mo9B4FeaMJgIyshAsKErb8GEbrMsL8w0B4ekocbevZqwB
18iPFbVhwWQJoo5Hg2KmQ6ZnjYn+v+KDUN5Z/Bvr5yXPHmAR6bGzGQAjEqSSFn3f
rQyhQNICQB5Rtw==
=4bsS
-----END PGP SIGNATURE-----