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

[Ilias Tsitsimpis (@iliastsi)]

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


Commits:
d78f0baf by Ilias Tsitsimpis at 2024-10-18T15:09:51+03:00
New upstream version 2.1
- - - - -


16 changed files:

- + .github/haskell-ci.patch
- + .github/tooling/agda-logo.svg
- travis/index.agda → .github/tooling/index.agda
- travis/index.sh → .github/tooling/index.sh
- + .github/tooling/landing-bottom.html
- + .github/tooling/landing-top.html
- + .github/tooling/landing.sh
- .github/workflows/ci-ubuntu.yml
- .github/workflows/haskell-ci.yml
- + .github/workflows/whitespace.yml
- .gitignore
- AllNonAsciiChars.hs
- CHANGELOG.md
- + CHANGELOG/v1.7.1.md
- + CHANGELOG/v1.7.3.md
- + CHANGELOG/v1.7.md


The diff was not included because it is too large.


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

-- 
View it on GitLab: https://salsa.debian.org/haskell-team/agda-stdlib/-/commit/d78f0baf6f0851b831005d59b4e83ed04d55681a
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/20241018/9b09ab88/attachment-0001.htm>