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
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