summaryrefslogtreecommitdiff
path: root/gnu/packages/lean.scm
diff options
context:
space:
mode:
authorEfraim Flashner <efraim@flashner.co.il>2020-03-29 22:12:31 +0300
committerEfraim Flashner <efraim@flashner.co.il>2020-03-30 10:05:50 +0300
commitc53badd4520252fc19c89820af0d569a2d809af2 (patch)
tree09c0901d24b7f96eefafecac9965aa41dca49544 /gnu/packages/lean.scm
parent42c1c59ea19ecdae04fa88858a261b4101a62709 (diff)
gnu: java-plexus-utils: Don't use unstable tarball.
* gnu/packages/java.scm (java-plexus-utils)[source]: Download using git-fetch.
Diffstat (limited to 'gnu/packages/lean.scm')
0 files changed, 0 insertions, 0 deletions