Commit message (Expand) | Author | Age | |
---|---|---|---|
* | * "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointless | Eelco Dolstra | 2012-01-18 |
* | pkgs/applications/science/logic/prover9: fixed trivial syntax error | Peter Simons | 2010-08-26 |
* | pkgs/applications/science/logic/prover9: updated homepage and license | Peter Simons | 2010-08-26 |
* | pkgs/applications/science/logic/prover9: initial version | Peter Simons | 2010-08-26 |