debian/0.8.3-1_exp1

Frédéric-Emmanuel Picca

@picca

dd65a7b3 · Remove libm4ri from explicit dependency of libpolybori-groebner · Feb 15, 2013

Debian release 0.8.3-1~exp1