summary refs log tree commit diff
path: root/gnu/packages/agda.scm
diff options
context:
space:
mode:
authorJulien Lepiller <julien@lepiller.eu>2020-06-27 14:35:21 +0200
committerJulien Lepiller <julien@lepiller.eu>2020-07-17 04:11:33 +0200
commitbdec75a25e9d155c8304ed3ff4ac523437ee1853 (patch)
tree874923486f38c315c8d8802f2f83a033b73eb799 /gnu/packages/agda.scm
parent03e792108cee10fa6f838b8b9ccf25d0ec83efba (diff)
downloadguix-bdec75a25e9d155c8304ed3ff4ac523437ee1853.tar.gz
gnu: Add java-sonatype-spice-parent-pom-12.
* gnu/packages/maven-parent-pom.scm (java-sonatype-spice-parent-pom-12):
New variable.
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions