summaryrefslogtreecommitdiff
path: root/gnu/packages/coq.scm
diff options
context:
space:
mode:
authorMichael Rohleder <mike@rohleder.de>2020-09-06 18:11:50 +0200
committerMathieu Othacehe <othacehe@gnu.org>2020-09-07 08:49:03 +0200
commit07fea753295d4b9c3ade5bb217cd72fb5294c040 (patch)
tree3c243268196af754d1d3de0d190cc1d08ea60d08 /gnu/packages/coq.scm
parent226bb93494377054614f0d212c2930aef4ff0cf0 (diff)
downloadguix-patches-07fea753295d4b9c3ade5bb217cd72fb5294c040.tar
guix-patches-07fea753295d4b9c3ade5bb217cd72fb5294c040.tar.gz
gnu: libsass: Update to 3.6.4.
* gnu/packages/web.scm (libsass): Update to 3.6.4. Signed-off-by: Mathieu Othacehe <othacehe@gnu.org>
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions