[Git][haskell-team/agda-stdlib][upstream] New upstream version 1.7.1

[Ilias Tsitsimpis (@iliastsi)]

Ilias Tsitsimpis pushed to branch upstream at Debian Haskell Group / agda-stdlib


Commits:
6e3f4add by Ilias Tsitsimpis at 2022-08-06T19:33:45+03:00
New upstream version 1.7.1
- - - - -


8 changed files:

- + .github/workflows/ci-ubuntu.yml
- + .github/workflows/haskell-ci.yml
- .gitignore
- − .travis.yml
- AllNonAsciiChars.hs
- CHANGELOG.md
- + CHANGELOG/v1.3.md
- + CHANGELOG/v1.4.md


The diff was not included because it is too large.


View it on GitLab: https://salsa.debian.org/haskell-team/agda-stdlib/-/commit/6e3f4adddce28a5ee965c6fa1d6c91f089768e98

-- 
View it on GitLab: https://salsa.debian.org/haskell-team/agda-stdlib/-/commit/6e3f4adddce28a5ee965c6fa1d6c91f089768e98
You're receiving this email because of your account on salsa.debian.org.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://alioth-lists.debian.net/pipermail/pkg-haskell-commits/attachments/20220806/bc9699d7/attachment-0001.htm>