tribes/guix
1
0
Fork 0
mirror of https://git.savannah.gnu.org/git/guix.git synced 2026-04-09 06:30:36 +02:00
Code Activity
Files
85d00a60b53c4992d0e131dc50e6494de4ebfee6
guix/gnu/packages/coq.scm
Zheng Junjie 86690427b6 gnu: coq-equations: Update style. 
* gnu/packages/coq.scm (coq-equations)[arguments]: Use G-expression.

Change-Id: Ib34ec1d543775f96777dfe31990b6526f589bee6
2024-09-12 14:29:13 +08:00

31 KiB
Raw Blame History

View Raw
View Git Blame Copy Permalink