math/{mpbarrett,mpmont}.h: Provide correctness proofs for these methods.
[catacomb] / debian / catacomb-bin.install
CommitLineData
6000faf9
MW
1debian/tmp/usr/bin
2debian/tmp/usr/share/man/man1