summary refs log tree commit diff
path: root/gnu/packages/coq.scm
diff options
context:
space:
mode:
author宋文武 <iyzsong@member.fsf.org>2023-07-30 10:32:01 +0800
committer宋文武 <iyzsong@member.fsf.org>2023-08-03 17:38:12 +0800
commitc6bec0e02c42ac8f4fba4d74b833d18170cc7926 (patch)
tree79b061b3c6d4457a16aad17c5b58f6d465c31bf5 /gnu/packages/coq.scm
parent40ccbdbf19aa4337aa9511c5a4465943b064768d (diff)
downloadguix-c6bec0e02c42ac8f4fba4d74b833d18170cc7926.tar.gz
gnu: kmime: Update to 23.04.3.
* gnu/packages/kde-pim.scm (kmime): Update to 23.04.3.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions