| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | tamarin-prover: enable tests | Austin Seipp | 2017-12-30 |
| * | nixpkgs: add sapic as a dependency to tamarin-prover | Austin Seipp | 2017-12-30 |
| * | nixpkgs: add 'graphviz' to tamarin-prover dependencies | Austin Seipp | 2017-12-30 |
| * | nixpkgs: add tamarin-prover 1.3.0 (dev) tool | Austin Seipp | 2017-12-30 |