Commit message (Expand) | Author | Age | |
---|---|---|---|
* | cryptoverif: 1.28 -> 2.00 | R. RyanTM | 2018-06-06 |
* | cryptoverif: 1.22 -> 1.28 | Ryan Mulligan | 2018-02-26 |
* | cryptoverif: init at 1.22 | Austin Seipp | 2016-06-28 |
index : nixpkgs | |
Downstream nixpkgs tree for Spectrum | Alyssa Ross |
summary refs log tree commit diff |
Commit message (Expand) | Author | Age | |
---|---|---|---|
* | cryptoverif: 1.28 -> 2.00 | R. RyanTM | 2018-06-06 |
* | cryptoverif: 1.22 -> 1.28 | Ryan Mulligan | 2018-02-26 |
* | cryptoverif: init at 1.22 | Austin Seipp | 2016-06-28 |