[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#71635: [PATCH] gnu: esmini: Update to 2.37.11.
|
From: |
Liliana Marie Prikler |
|
Subject: |
bug#71635: [PATCH] gnu: esmini: Update to 2.37.11. |
|
Date: |
Sun, 23 Jun 2024 15:51:32 +0200 |
|
User-agent: |
Evolution 3.48.4 |
Am Samstag, dem 15.06.2024 um 23:55 +0200 schrieb Liliana Marie
Prikler:
> * gnu/packages/simulation.scm (esmini): Update to 2.37.11.
> [arguments]<#:configure-flags>: Add “-DUSE_IMPLOT=FALSE”.
> <#:phases>: Adjust accordingly.
> * gnu/packages/patches/esmini-use-pkgconfig.patch: Update
> accordingly.
> * gnu/packages/patches/esmini-no-clutter-log.patch: Delete file.
> * gnu/local.mk (dist_patch_DATA): Adjust accordingly.
> ---
Pushed