6 Commits

Author	SHA1	Message	Date
Symphorien Gibol	d432cb7fdb	tamarin-prover: install vim syntax highlighting files ... note that this was tested on 13e74a838d because tamarin-prover does not build on master...	2018-03-31 23:55:03 +02:00
wchresta	c6d3f0d3c6	tamarin-prover: 1.3.0 -> 1.3.1	2018-03-08 21:03:18 +01:00
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