-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Thu, 13 Aug 2026 16:45:09 +0000
Source: jed-extra
Architecture: source
Version: 2.5.7+ds-2
Distribution: unstable
Urgency: medium
Maintainer: Wookey <wookey@debian.org>
Changed-By: Rafael Laboissière <rafael@debian.org>
Changes:
jed-extra (2.5.7+ds-2) unstable; urgency=medium
.
* d/salsa-ci.yml: Add CI pipeline
* d/control:
+ Drop the redundant Priority field, which defaults to optional now
+ Bump Standards-Version to 4.7.4
+ Bump the debhelper compatibility level to 14
+ Drop the superfluous substitution variable ${misc:Depends}
+ Build-depend on dh-sequence-single-binary
* d/e/*.sl: Use GPL-3+ license
* d/compile: Remove compiled files *.slc at package removal
Checksums-Sha1:
d84f35a546f65db00ea10a22240a6e648170e92a 2195 jed-extra_2.5.7+ds-2.dsc
1f74e6d9f4aca19edf9482cd0e568615b0b7cea9 83936 jed-extra_2.5.7+ds-2.debian.tar.xz
Checksums-Sha256:
740c9e98d38ac286488417540d2802d34c0481c6da686c5e7f6a77f8c66c5776 2195 jed-extra_2.5.7+ds-2.dsc
396b10c748dcea00f9211f6911850d8cb69e4141e956fdabe58ea7e509879826 83936 jed-extra_2.5.7+ds-2.debian.tar.xz
Files:
8cdbb30f5093f6e8737c55e1b662e5a8 2195 editors optional jed-extra_2.5.7+ds-2.dsc
ddd9574521b93c933ab6001326cef8df 83936 editors optional jed-extra_2.5.7+ds-2.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEP0ZDkUmP6HS9tdmPISSqGYN4XJAFAmp+BIcSHHJhZmFlbEBk
ZWJpYW4ub3JnAAoJECEkqhmDeFyQWUoP/jV052a8rEjNfCK2v+85VSEkAKKHyuI0
FzNjMmGZeCRgEsTmxBRALpsRCcRw8qbrwge3gokRaKkz1om2/dNtu0oyEK+IpdMA
ZSud2LDSlopHJkFXKS/C9zB+riL7lqujdlkE8uypXDRlhBFGKh5iuSKOGG//jNaF
YVvNmG+uXg5KDzN+Q8BN35Ei9hiOLGo1tTYmW3LSWShtcVHYvhBo7eB+M1oqScCt
hwxKyKjMi+f/fIQyqGMjCVym1kN5US8im2pwo0UfgqIaG/vXjKiX2VyDbdetK2rN
fcYHmgbm/XWX7C6xuMASC7tpmbMKVztA8J3Sd1ASMQppSEOJAxeCtRTLMcbZaEdD
ZBccu4URYSa+f8QixxkDLHG5cZIbZ7Tm8xgTfupPBt9G1c6RwYGgRDXKp9W6BFiS
b+wlMjLguX3UVjU/dkp9exKyA673Bebbmgen2Db9gw7KdLeGYDl3lhZpZ1jyZYPl
O+6Ez+uVdsc3DkuBoyxk3pGhsYeGcnyDRU16oHkQHvFkNQolarKWTXzjRvvxQF1F
Hm9vg+I5HgiC0ki2B1cLfMa37eTYEupiDWgeGDmR6f1PAa0Jnt+tiJU+YRJ8/Vyq
bQsJlNiCNLBhNOslknS2N9pqXSXhWuppmDSO7B3upp7W9q33gZiOYQl2xgRCWOCe
XJVVRAJJObn1
=JoIm
-----END PGP SIGNATURE-----