diff options
| author | Austin Seipp <aseipp@pobox.com> | 2014-04-29 17:50:20 -0500 |
|---|---|---|
| committer | Austin Seipp <aseipp@pobox.com> | 2014-04-29 17:50:55 -0500 |
| commit | d9d76f1a3a2959b014a5c1db99bf78ae17143311 (patch) | |
| tree | c79eb96391dbf4c208f0f995d5fcac3411f601bc /pkgs/development/python-modules/GitPython/hardcode-git-path.patch | |
| parent | 1d3b5874ad60fc09d71f51cffb84ce9fd8ccc34b (diff) | |
cryptol: add 1.8.x expression
This also includes support for the verification tools I'm using. Cryptol
2 is still the default obviously.
Signed-off-by: Austin Seipp <aseipp@pobox.com>
Diffstat (limited to 'pkgs/development/python-modules/GitPython/hardcode-git-path.patch')
0 files changed, 0 insertions, 0 deletions