summary refs log tree commit diff
path: root/pkgs/applications/science/logic/cryptoverif
diff options
context:
space:
mode:
authorworldofpeace <worldofpeace@protonmail.ch>2019-06-01 11:49:12 -0400
committerGitHub <noreply@github.com>2019-06-01 11:49:12 -0400
commitc90e94a64100187405c779b451ccac5ef841aa98 (patch)
tree4a4c7e417a124a306ec0edc9200a57a60cc2262a /pkgs/applications/science/logic/cryptoverif
parent3a8a08dac47bfd567a9ce9db1bf749b8cb1a7f77 (diff)
parent06195c925f1268f06591bea5e54d441bf941ce31 (diff)
downloadnixpkgs-c90e94a64100187405c779b451ccac5ef841aa98.tar
nixpkgs-c90e94a64100187405c779b451ccac5ef841aa98.tar.gz
nixpkgs-c90e94a64100187405c779b451ccac5ef841aa98.tar.bz2
nixpkgs-c90e94a64100187405c779b451ccac5ef841aa98.tar.lz
nixpkgs-c90e94a64100187405c779b451ccac5ef841aa98.tar.xz
nixpkgs-c90e94a64100187405c779b451ccac5ef841aa98.tar.zst
nixpkgs-c90e94a64100187405c779b451ccac5ef841aa98.zip
Merge pull request #62253 from nyanloutre/riot_update_1_2_0
riot-{web,desktop}: 1.1.0 -> 1.2.1
Diffstat (limited to 'pkgs/applications/science/logic/cryptoverif')
0 files changed, 0 insertions, 0 deletions