Debian's vote system does not use instant runoff voting (which is eliminating the lowest options one by one). Instead, it uses Condorcet voting, which picks the options defeating all the others in pairwise competition. (If no such option exists, it gets more complicated. Also, the NOTA option is special and is used to check majority or supermajority requirements before the actual Condorcet process starts.)