In AllBin,

    vname => { version_a, version_b },

In AllProv,

    vname => {
      version_a => { pname1, pname2, pname3 },
      version_b => { pname4, pname4 },
    },

AllProv example:

    Package: foo5
    Version: 5.1.2
    Provides: foo

    Package: bar
    Version: 0.8
    Provides: foo5, foo

This leads to

    foo5 => {
      [no version] => { bar },
      5.1.2        => { foo5 },
    },

    foo  => {
      [no version] => { foo5, bar },
    },

    bar  => {
      0.8          => { bar },
    },

