Rename `common/libtripe.a' to `.../libcommon.a'.
[tripe] / debian / tripe-keys.install
2015-05-08 Mark Woodingbuild, debian: Add a suffix to the main TrIPE-specific...
2008-03-29 Mark WoodingBuild system overhaul to conform to new standards.
2008-03-18 Mark Woodingdebian: Pre-emptive reorganization.