summary refs log tree commit diff
path: root/gnu/packages/coq.scm
diff options
context:
space:
mode:
authorMaxim Cournoyer <maxim.cournoyer@gmail.com>2021-10-01 23:34:47 -0400
committerMaxim Cournoyer <maxim.cournoyer@gmail.com>2021-11-11 10:31:23 -0500
commit95e99e3829a3ccd9c013c4852a50c5c3318b0580 (patch)
treedb98f29f076f712d1b93f584dd261cd93c8e8ced /gnu/packages/coq.scm
parenta9e83d7c7e16e2bc3a9e9a9ab9d818b4f5ff10ed (diff)
downloadguix-95e99e3829a3ccd9c013c4852a50c5c3318b0580.tar.gz
gnu: zxing-cpp: Update to 1.2.0.
* gnu/packages/aidc.scm (zxing-cpp): Update to 1.2.0.  Remove trailing #t.
[native-inputs]: Remove field.
[out-of-source?]: Remove argument.
[tests?]: Set to #f.
[configure-flags]: New argument.
[phases]: Remove argument.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions