Forgot manifest

In #263 I apparently forgot including the manifest for Maxima 5.31.2.