talexander/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Releases Activity
nixpkgs/pkgs/by-name/pr/proverifWithGui
History
…
..
package.nix
proverif: add interact support
2025-07-10 10:08:46 +02:00