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: install binary as 'irmin', not 'nox-irmin'

The 46ba2cfe7 nox- prefix sweep moved (public_name irmin) to
(public_name nox-irmin), but the cram tests and homebrew.yml both
expect the binary to be reachable as 'irmin'. Restore that name and
keep 'nox-irmin' only as the opam package identifier.

Thomas Gazagnaire ee3217d2 21be40d2

+3 -2
+2 -1
bin/dune
··· 1 1 (executable 2 2 (name main) 3 - (public_name nox-irmin) 3 + (public_name irmin) 4 + (package nox-irmin) 4 5 (libraries 5 6 nox-irmin 6 7 irmin_git
+1 -1
test/cram/dune
··· 2 2 (package nox-irmin) 3 3 (applies_to :whole_subtree) 4 4 (deps 5 - %{bin:nox-irmin} 5 + %{bin:irmin} 6 6 helpers/mst_proof/mst_proof.exe 7 7 (glob_files helpers/scrub/*)) 8 8 (setup_scripts helpers.sh))