Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Convert tools to debian source packages #69

Closed
mpolitzer opened this issue Jun 25, 2024 · 1 comment
Closed

Convert tools to debian source packages #69

mpolitzer opened this issue Jun 25, 2024 · 1 comment
Assignees
Labels
enhancement New feature or request
Milestone

Comments

@mpolitzer
Copy link
Collaborator

No description provided.

@mpolitzer mpolitzer self-assigned this Jun 25, 2024
@mpolitzer mpolitzer converted this from a draft issue Jun 25, 2024
@mpolitzer mpolitzer added the enhancement New feature or request label Jun 25, 2024
@mpolitzer mpolitzer changed the title Convert tools to source packages Convert tools to debian source packages Jun 25, 2024
@edubart
Copy link
Contributor

edubart commented Jan 14, 2025

This will be unnecessary to do on this repository, because Debian packaging will be done in the linux-packages repository, so I am closing.

I already achieved generation of Debian source packages, for tools specifically we should just work on #87 , once it's done we will have signed Debian source packages for tools.

@edubart edubart closed this as completed Jan 14, 2025
@github-project-automation github-project-automation bot moved this from Todo to Done in Machine Emulator SDK Jan 14, 2025
@edubart edubart added this to the v0.17.0 milestone Jan 17, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
Status: Done
Development

No branches or pull requests

2 participants