Change Details

In newest version, new question is asked about continuing initializing the repo. Without this, the build fails [1] [1] https://jenkins.softwareheritage.org/job/debian/job/packages/job/DLDBASE/job/gbp-buildpackage/261/console Related to T3973

In newest opam version, one question is asked about going on with the repo initialization. Without this, it answers no and the build fails [1]. [1] https://jenkins.softwareheritage.org/job/debian/job/packages/job/DLDBASE/job/gbp-buildpackage/261/console Related to T3973

In newest opam version, newone question is asked about continuinggoing on with the repo initializing the repoation. Without this, it answers no and the build fails [1]. [1] https://jenkins.softwareheritage.org/job/debian/job/packages/job/DLDBASE/job/gbp-buildpackage/261/console Related to T3973