aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/lean.scm
diff options
context:
space:
mode:
authorPaul A. Patience <paul@apatience.com>2022-09-12 19:25:32 +0000
committerChristopher Baines <mail@cbaines.net>2022-09-17 19:09:45 +0200
commit140a08d44abab24c0476beb201c3d4c21fcde580 (patch)
treee2e5ce080701d08d122c22876c34a24c24fa957f /gnu/packages/lean.scm
parent5d22261db3d5099d745b9e8c8484545e546b319e (diff)
downloadguix-140a08d44abab24c0476beb201c3d4c21fcde580.tar
guix-140a08d44abab24c0476beb201c3d4c21fcde580.tar.gz
gnu: libharu: Update to 2.4.2.
* gnu/packages/pdf.scm (libharu): Update to 2.4.2. [build-system]: Switch to cmake-build-system. [arguments]: Remove #:configure-flags, add #:tests? and #:phases. [inputs]: Sort them. [native-inputs]: Remove. Signed-off-by: Christopher Baines <mail@cbaines.net>
Diffstat (limited to 'gnu/packages/lean.scm')
0 files changed, 0 insertions, 0 deletions