nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-02 20:03:16 +00:00
Code Issues Packages Projects Releases Wiki Activity
08e5ef20d8
nixpkgs/pkgs/applications/science/logic/proverif
History
Vincent Laporte ae23bb2bcc
proverif: 1.97pl1 -> 2.00
2018-05-22 06:58:10 +00:00
..
default.nix proverif: 1.97pl1 -> 2.00 2018-05-22 06:58:10 +00:00