diff options
| author | Austin Seipp <aseipp@pobox.com> | 2015-03-28 01:28:40 -0500 |
|---|---|---|
| committer | Austin Seipp <aseipp@pobox.com> | 2015-03-28 01:47:39 -0500 |
| commit | a6813ca62d240f25b5a28545ae5ea70f20b2a86d (patch) | |
| tree | 443f071afb2d556e2ca91cc25603040cd3ac00d5 /pkgs/tools/security/afl | |
| parent | 75ab87edc8128e03143d12ee037e8a4a09fd0e39 (diff) | |
nixpkgs: add lean-20150328, a theorem prover.
Signed-off-by: Austin Seipp <aseipp@pobox.com>
Diffstat (limited to 'pkgs/tools/security/afl')
0 files changed, 0 insertions, 0 deletions