diff options
| author | Efraim Flashner <efraim@flashner.co.il> | 2019-11-24 23:57:52 +0200 |
|---|---|---|
| committer | Efraim Flashner <efraim@flashner.co.il> | 2019-11-25 14:08:31 +0200 |
| commit | 775373b872df7b2e00232e72715dda0ada89e876 (patch) | |
| tree | 088ff4a51ae8cf1845cc2f956d5f91a168c232a7 /m4 | |
| parent | 8b1fd3cafd9c3040d098ff538a233bf7dc43b397 (diff) | |
| download | patches-775373b872df7b2e00232e72715dda0ada89e876.tar patches-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 'm4')
0 files changed, 0 insertions, 0 deletions