| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | proverif: 1.97pl1 -> 2.00 | Vincent Laporte | 2018-05-22 |
| * | proverif: 1.95 -> 1.97pl1 | Vincent Laporte | 2017-09-13 |
| * | nixpkgs: proverif 1.94 -> 1.95 | Austin Seipp | 2016-11-10 |
| * | proverif: init at 1.94 | Austin Seipp | 2016-06-28 |