Hannes Mehnert 26f97442f6 robur + full: require old irmin (which include old git), since API changed in git 3.x		2021-01-22 12:43:57 +01:00
..
opam	robur + full: require old irmin (which include old git), since API changed in git 3.x	2021-01-22 12:43:57 +01:00