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:42 +0100
committerMarius Bakke <mbakke@fastmail.com>2020-01-20 21:53:51 +0100
commit0fd80a2556694bb59c54b02c12d0d10399893ac0 (patch)
tree6321e80e80696c51debdc8843fa43241f61abbf9 /gnu/packages/coq.scm
parentbb06336e818c5ea8af6a48c0070a1bd58fcbded5 (diff)
downloadguix-0fd80a2556694bb59c54b02c12d0d10399893ac0.tar.gz
gnu: libvpx: Update to 1.8.2.
* gnu/packages/video.scm (libvpx): Update to 1.8.2.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions