Austin Seipp fc159594a7 tamarin-prover: 1.4.0 -> 1.4.1, bundled sapic ... With this, we can drop the old 1.4.0 patches for 8.4 support, since those are now upstream. Furthermore, SAPIC Is now bundled inside Tamarin, so we can drop the external dependency. (This includes a patch that compiles SAPIC to native code, much like the original, to reduce closure size.) Signed-off-by: Austin Seipp <aseipp@pobox.com>		2019-01-19 18:54:38 -06:00
..
default.nix	tamarin-prover: 1.4.0 -> 1.4.1, bundled sapic	2019-01-19 18:54:38 -06:00
sapic-native.patch	tamarin-prover: 1.4.0 -> 1.4.1, bundled sapic	2019-01-19 18:54:38 -06:00