about summary refs log tree commit diff
path: root/pkgs/applications/science/logic/prover9
Commit message (Expand)AuthorAge
* treewide: Per RFC45, remove all unquoted URLsMichael Reilly2020-04-10
* treewide: replace make/build/configure/patchFlags with nix listsMerijn Broeren2019-12-30
* treewide: fix redirect URLsRyan Mulligan2019-07-10
* treewide: http -> https sources (#42676)Silvan Mosberger2018-06-28
* pkgs: refactor needless quoting of homepage meta attribute (#27809)Silvan Mosberger2017-08-01
* Disable bunch of non-compiling packages on DarwinTuomas Tynkkynen2016-09-01
* Use general hardening flag toggle listsFranz Pletz2016-03-05
* prover9: turn off format hardeningRobin Gloster2016-02-08
* More description fixesBjørn Forsman2013-10-06
* Add package versions to some of the packages or fix existing ones to conform ...Evgeny Egorochkin2013-06-07
* * "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointlessEelco Dolstra2012-01-18
* pkgs/applications/science/logic/prover9: fixed trivial syntax errorPeter Simons2010-08-26
* pkgs/applications/science/logic/prover9: updated homepage and licensePeter Simons2010-08-26
* pkgs/applications/science/logic/prover9: initial versionPeter Simons2010-08-26
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-16 06:06:55 +0000