Manpages of 4ti2 in Debian testing

• 4ti2-circuits(1)
• 4ti2-genmodel(1)
• 4ti2-gensymm(1)
• 4ti2-graver(1)
• 4ti2-groebner(1)
• 4ti2-hilbert(1)
• 4ti2-markov(1)
• 4ti2-minimize(1)
• 4ti2-normalform(1)
• 4ti2-output(1)
• 4ti2-ppi(1)
• 4ti2-qsolve(1)
• 4ti2-rays(1)
• 4ti2-walk(1)
• 4ti2-zbasis(1)
• 4ti2-zsolve(1)
• 4ti2(1)