diff options
| author | zimoun <zimon.toutoune@gmail.com> | 2021-07-02 18:18:09 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2021-07-31 01:03:24 +0200 |
| commit | 0ca7435fe0ba8ba5c45f85b44987aa20c73497ac (patch) | |
| tree | 50e5fcc14a2b513325d3cc55d8a38653bb3f0eb6 /gnu/packages/coq.scm | |
| parent | 82cfefc2a04aa43e8444a671ba2cdde171cda032 (diff) | |
gnu: guile-dbd-sqlite3: Replace 'url-fetch' by 'git-fetch'.
Fixes https://debbugs.gnu.org/25913.
* gnu/packages/guile-xyz.scm (guile-dbi)[source]: Replace 'url-fetch'
by'git-fetch'.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions