summaryrefslogtreecommitdiff
path: root/gnu/packages/lean.scm
diff options
context:
space:
mode:
authorJack Hill <jackhill@jackhill.us>2023-11-11 16:50:39 -0500
committerLudovic Courtès <ludo@gnu.org>2023-12-11 23:34:31 +0100
commit17213c1b20dd784bfe421813b1ce9995be48261f (patch)
treeb036acef505b9b40831809d0b3c0e37c537aed38 /gnu/packages/lean.scm
parentd74faef4f7f451edcda13f3b5297217cc041e1c1 (diff)
downloadguix-patches-17213c1b20dd784bfe421813b1ce9995be48261f.tar
guix-patches-17213c1b20dd784bfe421813b1ce9995be48261f.tar.gz
gnu: pdfarranger: Update to 1.10.1.
* gnu/packages/pdf.scm (pdfarranger): Update to 1.10.1. [arguments]: Add set-home phase. Change-Id: Id31925e7e34fc4b23abb73456bac8cd0012f1d6f Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'gnu/packages/lean.scm')
0 files changed, 0 insertions, 0 deletions