summaryrefslogtreecommitdiff
path: root/gnu/packages/agda.scm
diff options
context:
space:
mode:
authorTobias Geerinckx-Rice <me@tobias.gr>2022-07-24 02:00:01 +0200
committerTobias Geerinckx-Rice <me@tobias.gr>2022-07-24 02:00:01 +0200
commit84be8bc1f4202d1c6e33995815d2c42ab4cb29bd (patch)
tree4cbedc0ab58eab22ee70a2429a016f73202840d9 /gnu/packages/agda.scm
parent80108cac05adc2f01d510440b75d21ceee60aa6a (diff)
gnu: podofo: Update to 0.9.8.
* gnu/packages/pdf.scm (podofo): Update to 0.9.8. [arguments]: Don't explicitly return #t from phases.
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions