Packaging of an experimental finitely presented modules package.