diff options
| author | Zheng Junjie <zhengjunjie@iscas.ac.cn> | 2024-09-12 13:26:57 +0800 |
|---|---|---|
| committer | Zheng Junjie <zhengjunjie@iscas.ac.cn> | 2024-09-12 14:29:13 +0800 |
| commit | 7bd8e290b57b611027a1006aa8aa2306a27f84d7 (patch) | |
| tree | 598914100488d0f97bfa434edf097a567c6a6378 /scripts/guix.in | |
| parent | cd9ad4efe89f63d45600ea4868a0d385b1b1ebee (diff) | |
| download | guix-7bd8e290b57b611027a1006aa8aa2306a27f84d7.tar.gz guix-7bd8e290b57b611027a1006aa8aa2306a27f84d7.zip | |
gnu: coq-bignums: Update style.
* gnu/packages/coq.scm (coq-bignums)[arguments]: Use G-expression.
Change-Id: Ib34ec1d543775f96777dfe31990b6526f589bee6
Diffstat (limited to 'scripts/guix.in')
0 files changed, 0 insertions, 0 deletions