nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-01-10 06:55:10 +00:00
Code Issues Packages Projects Releases Wiki Activity
2f6890ed5d
nixpkgs/pkgs/applications/science/logic/tamarin-prover
History
sternenseemann ae679c40db tamarin-prover: pick patch for Stackage LTS 22 dependencies 
The provided patch is b3e18f61e4
cherry-picked onto the 1.8.0 release which required some conflict-solving
2024-03-22 12:13:05 +01:00
..
default.nix
tamarin-prover-1.8.0-ghc-9.6.patch