aboutsummaryrefslogtreecommitdiff
path: root/gnu/installer/proxy.scm
diff options
context:
space:
mode:
authorArnaud Daby-Seesaram <ds-ac@nanein.fr>2024-06-18 11:08:44 +0200
committerChristopher Baines <mail@cbaines.net>2024-06-26 15:16:43 +0100
commitb594c2b154b900a29855afc00a21306ab09a153d (patch)
treef5db6aaf38ea80911001ecb9fe8be8cd44dd0e08 /gnu/installer/proxy.scm
parentda3e71f472c2335f56c3d07758715a514fdb3a9d (diff)
downloadguix-master.tar
guix-master.tar.gz
gnu: proof-general: Update to 4.5@cb23709a.HEADmaster
* gnu/packages/coq.scm (proof-general): Update to 4.5@cb23709a. Change-Id: Ieb33d8a0effa4c010d1f2488e166cd0647240180 Signed-off-by: Christopher Baines <mail@cbaines.net>
Diffstat (limited to 'gnu/installer/proxy.scm')
0 files changed, 0 insertions, 0 deletions