gazagnaire.org / irmin
Persistent store with Git semantics: lazy reads, delayed writes, content-addressing
1
fork

Configure Feed

Select the types of activity you want to include in your feed.

irmin: rename stale 'git' library refs to 'nox-git'

These three dune files still pointed at the old 'git' findlib name
after the package was renamed to nox-git, so dune build broke once
the previous nox-git rename landed. Library names follow public_name,
so the fix is the same as the earlier consumer updates.

Thomas Gazagnaire 0b69a998 3b85d6e6

+3 -3
+1 -1
dune
··· 24 24 eio.unix 25 25 fpath 26 26 fmt 27 - git)) 27 + nox-git))
+1 -1
test/bench/dune
··· 1 1 (executable 2 2 (name bench) 3 - (libraries nox-irmin irmin_git git eio_main nox-memtrace digestif nox-json)) 3 + (libraries nox-irmin irmin_git nox-git eio_main nox-memtrace digestif nox-json))
+1 -1
test/dune
··· 5 5 nox-irmin 6 6 irmin_git 7 7 irmin_tar 8 - git 8 + nox-git 9 9 alcotest 10 10 eio_main 11 11 eio