diff options
| author | Josselin Poiret <dev@jpoiret.xyz> | 2023-03-20 23:52:43 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2023-03-21 19:13:32 +0100 |
| commit | 02b1eb644a1d8c8adc42e647ca750560b1e9e867 (patch) | |
| tree | 8c8dd775ee7d4df2a3ae224806496e7aa4ff7398 /gnu/packages | |
| parent | 0143e3f291842d2cba138515e616948c7ae8c04e (diff) | |
gnu: gnulib: Depend on git-minimal/pinned.
* gnu/packages/build-tools.scm (gnulib)[native-inputs]: Change git to
git-minimal/pinned.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'gnu/packages')
| -rw-r--r-- | gnu/packages/build-tools.scm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gnu/packages/build-tools.scm b/gnu/packages/build-tools.scm index 91805e1f84..38ad13db1f 100644 --- a/gnu/packages/build-tools.scm +++ b/gnu/packages/build-tools.scm @@ -995,7 +995,7 @@ Makefiles, JSON Compilation Database, and experimentally Ninja.") ;; Unicode data: ucd-next ;; Programs for the tests: - cppi indent git autoconf)) + cppi indent git-minimal/pinned autoconf)) (home-page "https://www.gnu.org/software/gnulib/") (synopsis "Source files to share among distributions") (description |