summaryrefslogtreecommitdiffstats
path: root/devel/why3
AgeCommit message (Expand)Author
2013-06-02devel/why3: use make_single in INSTALLFlorian Franzmann
2013-06-02fixup 3e4ed16a7f33fcc65582374a7e18f377961d1b45Florian Franzmann
2013-05-31devel/why3: version 0.81Florian Franzmann
2013-05-31devel/why3: add optional dependency on sqlite3-ocamlFlorian Franzmann
2013-01-20devel/why3: new spell, a rich library of proof task transformationsFlorian Franzmann