about summary refs log tree commit diff
path: root/nixpkgs/pkgs/applications/science/logic/cryptoverif
Commit message (Collapse)AuthorAge
* Merge commit '4e60699fa727e4a0f9a3e78948012f86da32cfef'Alyssa Ross2019-09-16
|
* Merge commit '8746c77a383f5c76153c7a181f3616d273acfa2a'Alyssa Ross2019-08-14
|
* Merge commit '98e3b90b6c8f400ae5438ef868eb992a64b75ce5'Alyssa Ross2019-06-18
|
* Merge commit 'dfd8f84aef129f1978e446b5d45ef05cd4421821'Alyssa Ross2019-04-27
|
* Add 'nixpkgs/' from commit 'abf060725d7614bd3b9f96764262dfbc2f9c2199'Alyssa Ross2019-01-07
git-subtree-dir: nixpkgs git-subtree-mainline: 4e31070265257dc67d120c27e0f75c2344fdfa9a git-subtree-split: abf060725d7614bd3b9f96764262dfbc2f9c2199