diff options
| author | Jörg Thalheim <Mic92@users.noreply.github.com> | 2018-05-22 14:05:43 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-05-22 14:05:43 +0100 |
| commit | 7a9bf829990ed1374de8163dd00dc31788e84b32 (patch) | |
| tree | bb5b3d65baf56ca4c8aeae909d9d39c99ff617a8 /pkgs/development/python-modules/python-sql | |
| parent | 04a2885dbf910ade6fee9e600e66fab8750b4eb4 (diff) | |
| parent | ae23bb2bccb23816525c98f1392b56cda6bd3918 (diff) | |
Merge pull request #40911 from vbgl/proverif-2.00
proverif: 1.97pl1 -> 2.00
Diffstat (limited to 'pkgs/development/python-modules/python-sql')
0 files changed, 0 insertions, 0 deletions