Austin Seipp
|
ff555bdaeb
|
tamarin-prover: enable tests
Signed-off-by: Austin Seipp <aseipp@pobox.com>
|
2017-12-30 19:39:38 -06:00 |
|
Austin Seipp
|
bae2e7ceb3
|
nixpkgs: add sapic as a dependency to tamarin-prover
Signed-off-by: Austin Seipp <aseipp@pobox.com>
|
2017-12-30 19:01:29 -06:00 |
|
Austin Seipp
|
a31bdc0739
|
nixpkgs: add 'graphviz' to tamarin-prover dependencies
Signed-off-by: Austin Seipp <aseipp@pobox.com>
|
2017-12-30 19:01:29 -06:00 |
|
Austin Seipp
|
abcfa6f608
|
nixpkgs: add tamarin-prover 1.3.0 (dev) tool
Signed-off-by: Austin Seipp <aseipp@pobox.com>
|
2017-12-30 18:23:15 -06:00 |
|