aboutsummaryrefslogtreecommitdiff
path: root/ROADMAP
diff options
context:
space:
mode:
authorZheng Junjie <zhengjunjie@iscas.ac.cn>2024-09-12 13:28:28 +0800
committerZheng Junjie <zhengjunjie@iscas.ac.cn>2024-09-12 14:29:13 +0800
commit86690427b68202ba265b1d25ddecbcd2a2e1d0e6 (patch)
tree02d64b70bf6428c6ae9c370490ab394c42144a97 /ROADMAP
parent1a814b79ae54567b82359325530260c272fc9d4e (diff)
downloadguix-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