Commit message (Expand) | Author | Age | |
---|---|---|---|
* | treewide: stdenv.lib -> lib | Ben Siraphob | 2021-01-16 |
* | cryptoverif: 2.03pl1 → 2.04 | Vincent Laporte | 2020-12-18 |
* | cryptoverif: fix search for default library | Vincent Laporte | 2020-12-18 |
* | cryptoverif: 2.01pl1 → 2.03pl1 | Vincent Laporte | 2020-10-23 |
* | treewide: name -> pname (easy cases) (#66585) | volth | 2019-08-15 |
* | cryptoverif: 2.01 -> 2.01pl1 | R. RyanTM | 2019-07-23 |
* | cryptoverif: 2.00 -> 2.01 | R. RyanTM | 2019-06-01 |
* | treewide: Change URLs to HTTPS | Daniel Schaefer | 2019-04-22 |
* | 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 |