summaryrefslogtreecommitdiff
path: root/gnu/packages/lean.scm
diff options
context:
space:
mode:
authorJulien Lepiller <julien@lepiller.eu>2020-06-27 14:28:34 +0200
committerJulien Lepiller <julien@lepiller.eu>2020-07-17 04:11:04 +0200
commita2f64c345e827d419bf21831bfef474bf41ea4a9 (patch)
tree4dbddffc13a0773dce3c0cc67b695460a244be9b /gnu/packages/lean.scm
parent97de6e0c8015144eb0cac38d85789124295e3abf (diff)
gnu: Add apache-parent-pom-21.
* gnu/packages/maven-parent-pom.scm (apache-parent-pom-21): New variable.
Diffstat (limited to 'gnu/packages/lean.scm')
0 files changed, 0 insertions, 0 deletions