summary refs log tree commit diff
path: root/gnu/packages/ocr.scm
diff options
context:
space:
mode:
authorEfraim Flashner <efraim@flashner.co.il>2019-11-24 23:57:52 +0200
committerEfraim Flashner <efraim@flashner.co.il>2019-11-25 14:08:31 +0200
commit775373b872df7b2e00232e72715dda0ada89e876 (patch)
tree088ff4a51ae8cf1845cc2f956d5f91a168c232a7 /gnu/packages/ocr.scm
parent8b1fd3cafd9c3040d098ff538a233bf7dc43b397 (diff)
downloadguix-775373b872df7b2e00232e72715dda0ada89e876.tar.gz
gnu: coq-bignums: Don't use unstable tarball.
* gnu/pacakges/coq.scm (coq-bignums)[source]: Download using git-fetch.
Diffstat (limited to 'gnu/packages/ocr.scm')
0 files changed, 0 insertions, 0 deletions