summary refs log tree commit diff
path: root/pkgs/applications/science/logic/cryptoverif
Commit message (Expand)AuthorAge
* cryptoverif: 1.28 -> 2.00R. RyanTM2018-06-06
* cryptoverif: 1.22 -> 1.28Ryan Mulligan2018-02-26
* cryptoverif: init at 1.22Austin Seipp2016-06-28