Hi Tom, > This is another pkg for the excellent prover9. I have committed your changes to nixpkgs trunk after doing some minor editing in the "meta" section. The description field was longer than longDescription, for instance. ;-) I hope the changes were okay. Take care, Peter