nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-01-05 20:43:28 +00:00
Code Issues Packages Projects Releases Wiki Activity
149,189 Commits 165 Branches 125 Tags 6.4 GiB
52b9217b50
Commit Graph

4 Commits

Author SHA1 Message Date
Vincent Laporte
ae23bb2bcc
proverif: 1.97pl1 -> 2.00 2018-05-22 06:58:10 +00:00
Vincent Laporte
cc5491d02c proverif: 1.95 -> 1.97pl1 2017-09-13 20:01:55 +02:00
Austin Seipp
0bdc0143fe nixpkgs: proverif 1.94 -> 1.95 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2016-11-10 03:45:51 +00:00
Austin Seipp
be19637b2a proverif: init at 1.94 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2016-06-28 04:36:11 +00:00