[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD ghc9.patch)

2021-08-23 Thread Felix Yan via arch-commits
Date: Monday, August 23, 2021 @ 20:50:32 Author: felixonmars Revision: 1004467 upgpkg: haskell-tamarin-prover-theory 1.6.1-1: rebuild with tamarin-prover 1.6.1, tamarin-prover-sapic 1.6.1, tamarin-prover-term 1.6.1, tamarin-prover-theory 1.6.1, tamarin-prover-utils 1.6.1 Modified: haske

[arch-commits] Commit in haskell-tamarin-prover-theory/trunk (PKGBUILD ghc9.patch)

2021-06-30 Thread Felix Yan via arch-commits
Date: Wednesday, June 30, 2021 @ 15:35:14 Author: felixonmars Revision: 967990 upgpkg: haskell-tamarin-prover-theory 1.6.0-104: rebuild with ghc 9.0.1 Added: haskell-tamarin-prover-theory/trunk/ghc9.patch Modified: haskell-tamarin-prover-theory/trunk/PKGBUILD + PKGBUILD