diff options
author | Zheng Junjie <zhengjunjie@iscas.ac.cn> | 2024-09-12 13:28:28 +0800 |
---|---|---|
committer | Zheng Junjie <zhengjunjie@iscas.ac.cn> | 2024-09-12 14:29:13 +0800 |
commit | 86690427b68202ba265b1d25ddecbcd2a2e1d0e6 (patch) | |
tree | 02d64b70bf6428c6ae9c370490ab394c42144a97 /ROADMAP | |
parent | 1a814b79ae54567b82359325530260c272fc9d4e (diff) | |
download | guix-86690427b68202ba265b1d25ddecbcd2a2e1d0e6.tar.gz guix-86690427b68202ba265b1d25ddecbcd2a2e1d0e6.zip |
gnu: coq-equations: Update style.
* gnu/packages/coq.scm (coq-equations)[arguments]: Use G-expression.
Change-Id: Ib34ec1d543775f96777dfe31990b6526f589bee6
Diffstat (limited to 'ROADMAP')
0 files changed, 0 insertions, 0 deletions