rest-rewrite 0.4.1 → 0.4.2
raw patch · 2 files changed
+4/−1 lines, 2 filesPVP ok
version bump matches the API change (PVP)
API changes (from Hackage documentation)
Files
- graphs/.DONOTDELETE +0/−0
- rest-rewrite.cabal +4/−1
+ graphs/.DONOTDELETE view
rest-rewrite.cabal view
@@ -1,6 +1,6 @@ name: rest-rewrite build-type: Simple-version: 0.4.1+version: 0.4.2 cabal-version: 2.0 category: Rewriting maintainer: Zack Grannan <zgrannan@cs.ubc.ca>@@ -9,6 +9,9 @@ description: REST is a Rewriting library with online termination checking. For more details see the paper at https://arxiv.org/abs/2202.05872. synopsis: Rewriting library with online termination checking license-file: LICENSE++extra-source-files:+ graphs/.DONOTDELETE source-repository head type: git