8000 Add tamarin-prover + its Maude runtime backend (5 packages) by bryan-minimal · Pull Request #449 · gominimal/pkgs · GitHub

Repository navigation

Add tamarin-prover + its Maude runtime backend (5 packages) - #449

Merged

bryan-minimal merged 3 commits into

mainfrom

add-tamarin-prover

Jul 18, 2026

Merged

Add tamarin-prover + its Maude runtime backend (5 packages)#449
bryan-minimal merged 3 commits into
mainfrom
add-tamarin-prover

Commits on Jul 17, 2026
- Add tamarin-prover + its Maude runtime backend (5 packages)
  
  bryan-minimal
  and
  claude
  committed
  c5a4b40
- tamarin-prover: fetch the LTS-24.50 cabal.config instead of vendoring it
  
  bryan-minimal
  and
  claude
  committed
  700cc99
- tamarin/maude chain: fetch config scripts, bash strict mode, build-aux/ prefix
  
  bryan-minimal
  and
  claude
  committed
  16a534a

0