Make this package now really integer-gmp, rather than pretending it's integer
[packages/integer-gmp.git] / .darcs-boring
2008-06-27  Ian LynaghAdd a .darcs-boring file 6_10_branch_has_been_forked