Tobias Geerinckx-Rice 158e1cfdd0 Don't use "with licenses;" for single licences ... And don't use square brackets on such lines.		2015-05-28 19:20:29 +02:00
..
default.nix	Don't use "with licenses;" for single licences	2015-05-28 19:20:29 +02:00
fixbuild.diff	STP: Simple Theorem Prover (a SMT solver for bitvectors & arrays).	2014-01-25 16:33:12 +01:00
fixrefs.diff	STP: Simple Theorem Prover (a SMT solver for bitvectors & arrays).	2014-01-25 16:33:12 +01:00