JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
8b01c1f103
nixpkgs/pkgs/applications/science/logic/tamarin-prover
History
Malte Brandy 39c0dd99a4
tamarin-prover: Mark broken
2021-05-11 01:56:48 +02:00
..
default.nix tamarin-prover: Mark broken 2021-05-11 01:56:48 +02:00