[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#59800: [PATCH 5/5] gnu: Add esmini.
From: |
Liliana Marie Prikler |
Subject: |
bug#59800: [PATCH 5/5] gnu: Add esmini. |
Date: |
Sun, 12 Feb 2023 08:54:34 +0100 |
User-agent: |
Evolution 3.46.0 |
Am Samstag, dem 03.12.2022 um 10:04 +0100 schrieb Liliana Marie
Prikler:
> * gnu/packages/patches/esmini-no-clutter-log.patch: New file.
> * gnu/packages/patches/esmini-use-pkgconfig.patch: New file.
> * gnu/local.mk (dist_patch_DATA): Add them here.
> * gnu/packages/simulation.scm (esmini): New variable.
> ---
And they're pushed.
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- bug#59800: [PATCH 5/5] gnu: Add esmini.,
Liliana Marie Prikler <=