mirrors/nixpkgs
1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-04 19:45:54 +00:00
Code Issues Wiki Activity
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