[Git][haskell-team/agda-stdlib][master] 6 commits: New upstream version 2.1

[Ilias Tsitsimpis (@iliastsi)]

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


Commits:
d78f0baf by Ilias Tsitsimpis at 2024-10-18T15:09:51+03:00
New upstream version 2.1
- - - - -
8bf3deeb by Ilias Tsitsimpis at 2024-10-18T15:09:53+03:00
Update upstream source from tag 'upstream/2.1'

Update to upstream version '2.1'
with Debian dir 223f4c1d6fbd434ce6b6e2d31f9e1579a67a2715
- - - - -
51bfd4b8 by Ilias Tsitsimpis at 2024-10-18T15:19:07+03:00
New upstream release

- - - - -
5fa6d4f7 by Ilias Tsitsimpis at 2024-10-18T15:19:09+03:00
Set "Debian Haskell Group" as the maintainer

- - - - -
524edb18 by Ilias Tsitsimpis at 2024-10-18T15:19:50+03:00
Declare compliance with Debian policy 4.7.0

- - - - -
0a30182c by Ilias Tsitsimpis at 2024-10-19T00:08:31+03:00
Use Agda's new library management system

- - - - -


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/-/compare/8497a5bd8ec49d10b77efb76766ea62aeee4a618...0a30182cd1937c3df8732d9790309c8ccb979b0f

-- 
View it on GitLab: https://salsa.debian.org/haskell-team/agda-stdlib/-/compare/8497a5bd8ec49d10b77efb76766ea62aeee4a618...0a30182cd1937c3df8732d9790309c8ccb979b0f
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/f059b7e5/attachment.htm>