Processing of debian-edu-config_2.12.41~deb12u1_source.changes

debian-edu-config_2.12.41~deb12u1_source.changes uploaded successfully to localhost along with the files: debian-edu-config_2.12.41~deb12u1.dsc debian-edu-config_2.12.41~deb12u1.tar.xz debian-edu-config_2.12.41~deb12u1_source.buildinfo Greetings, Your Debian queue daemon (running o

debian-edu-config_2.12.41~deb12u1_source.changes ACCEPTED into proposed-updates->stable-new

Thank you for your contribution to Debian. Mapping bookworm to stable. Mapping stable to proposed-updates. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sun, 03 Dec 2023 08:45:42 +0100 Source: debian-edu-config Architecture: source Version: 2.12.41~deb12u1 Distribu

arm64 images to boot raspberry pi's

Hi folks, AFAIK debian edu currently only supports amd64 and i386. Is it possible to add arm64 to be used e.g. with raspberry pi's? Kind regards, Roman

Re: arm64 images to boot raspberry pi's

[Roman Meier] > AFAIK debian edu currently only supports amd64 and i386. > > Is it possible to add arm64 to be used e.g. with raspberry pi's? You might find something useful on https://wiki.debian.org/DebianEdu/HowTo/RaspberryPiWorkstation >. -- Happy hacking Petter Reinholdtsen

debian-edu-config_2.12.41~deb12u1_source.changes ACCEPTED into proposed-updates

Thank you for your contribution to Debian. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sun, 03 Dec 2023 08:45:42 +0100 Source: debian-edu-config Architecture: source Version: 2.12.41~deb12u1 Distribution: bookworm Urgency: medium Maintainer: Debian Edu Developer

Re: SimulIDE could (should?) be updated but seems unmaintained

[Ben Tris] > Just a notice. I see you got no response on this one. > SimulIDE version 1.0.0 2023 > Debion simulide version 0.1.7 2018 > https://tracker.debian.org/pkg/simulide Perhaps its maintainer Milen should be told too? Adding him to reciver list. > https://www.simulide.com/p/home.html >