mirror/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-09-29 07:32:58 +00:00
Code Issues Actions 2 Packages Projects Releases Wiki Activity
master
nixpkgs/pkgs/applications/science/logic/cryptoverif
History
Martin Joerg 796a57ce81 cryptoverif: 2.09 -> 2.10 
274bc28abf/CHANGES
2024-08-24 16:32:43 -05:00
..
default.nix cryptoverif: 2.09 -> 2.10 2024-08-24 16:32:43 -05:00