diff options
| author | Guillaume Le Vaillant <glv@posteo.net> | 2024-06-12 14:43:44 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2024-08-31 10:45:05 +0200 |
| commit | f9228aae301a559bef9e52213b303200a06d4a85 (patch) | |
| tree | edf047f5e86f01ee34fc8c1f5ec522935e2487a0 /po | |
| parent | 79dc6ae4f387f6c048ea421ea31abe9a1c1164bc (diff) | |
| download | guix-f9228aae301a559bef9e52213b303200a06d4a85.tar.gz guix-f9228aae301a559bef9e52213b303200a06d4a85.zip | |
gnu: libarea: Fix build.
* gnu/packages/engineering.scm (libarea)[arguments]: Enable
BOOST_TIMER_ENABLE_DEPRECATED option in 'cmake-configure' phase.
Change-Id: I6821c675bcd815b5fa7745160ec88c97abf2d4be
Diffstat (limited to 'po')
0 files changed, 0 insertions, 0 deletions