diff options
| author | Zheng Junjie <zhengjunjie@iscas.ac.cn> | 2024-09-06 10:42:39 +0800 |
|---|---|---|
| committer | Zheng Junjie <zhengjunjie@iscas.ac.cn> | 2024-09-06 22:47:17 +0800 |
| commit | fc205592098d8a0a41387ae24f97d5a25131d895 (patch) | |
| tree | 6fc4650bc001f4ed9e64d70c39fb53fcec00b6ed /gnu/packages/lean.scm | |
| parent | d4fbd1ab341de85c1e5c77e0f7adc5aae056be15 (diff) | |
| download | guix-fc205592098d8a0a41387ae24f97d5a25131d895.tar guix-fc205592098d8a0a41387ae24f97d5a25131d895.tar.gz | |
gnu: bubblewrap: Update to 0.10.0.
* gnu/packages/virtualization.scm (bubblewrap): Update to 0.10.0.
[source]: Switch to git-fetch.
[build-system]: Switch to meson-build-system.
[native-inputs]: Add pkg-config.
[arguments]: Use G-expressions, Remove trailing #t.
Change-Id: Id1b459832a6a0b2d7636855774a1ffaadb1aacba
Diffstat (limited to 'gnu/packages/lean.scm')
0 files changed, 0 insertions, 0 deletions