summary refs log tree commit diff
path: root/gnu/packages/coq.scm
diff options
context:
space:
mode:
authorMarius Bakke <mbakke@fastmail.com>2020-01-19 23:39:12 +0100
committerMarius Bakke <mbakke@fastmail.com>2020-01-20 21:53:51 +0100
commitbb06336e818c5ea8af6a48c0070a1bd58fcbded5 (patch)
treef2874951ca27704868aa01bef68db20a773d86fd /gnu/packages/coq.scm
parent07b1d40899d3c3488f3162cbacfccf39c5e2043e (diff)
downloadguix-bb06336e818c5ea8af6a48c0070a1bd58fcbded5.tar.gz
gnu: re2: Update to 2020-01-01.
* gnu/packages/regex.scm (re2): Update to 2020-01-01.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions