truh/nixpkgs
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity
nixpkgs/pkgs/applications/science/logic/proverif
History
Exact
Vincent Laporte daa0ccd626
 proverif: 1.95 -> 1.97pl1 
(cherry picked from commit cc5491d02c)
2017-09-17 18:19:35 +02:00
..
default.nix proverif: 1.95 -> 1.97pl1 2017-09-17 18:19:35 +02:00