[Git][haskell-team/agda-stdlib][master] 3 commits: New upstream version 1.7.3

[Ilias Tsitsimpis (@iliastsi)]

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


Commits:
2488331a by Ilias Tsitsimpis at 2023-11-04T13:50:50+02:00
New upstream version 1.7.3
- - - - -
2b0ac91d by Ilias Tsitsimpis at 2023-11-04T13:50:52+02:00
Update upstream source from tag 'upstream/1.7.3'

Update to upstream version '1.7.3'
with Debian dir a0f0dd62f8c8b7020ee9d72b54baeee273f3b6a9
- - - - -
8497a5bd by Ilias Tsitsimpis at 2023-11-04T13:56:09+02:00
Update changelog for 1.7.3-1 release

- - - - -


30 changed files:

- .github/workflows/ci-ubuntu.yml
- CHANGELOG.md
- + CHANGELOG/v1.7.2.md
- + CITATION.cff
- GenerateEverything.hs
- HACKING.md
- LICENCE
- README.agda
- README.md
- README/Case.agda
- README/Data/Container/FreeMonad.agda
- README/Data/Integer.agda
- README/Data/List/Relation/Ternary/Interleaving.agda
- README/Data/Nat.agda
- README/Data/Tree/AVL.agda
- README/Data/Tree/Binary.agda
- README/Data/Tree/Rose.agda
- README/Data/Trie/NonDependent.agda
- README/Data/Wrap.agda
- README/Debug/Trace.agda
- README/Design/Decidability.agda
- README/Design/Fixity.agda
- README/Inspect.agda
- README/Nary.agda
- README/Reflection/External.agda
- README/Relation/Binary/TypeClasses.agda
- README/Text/Printf.agda
- README/Text/Tabular.agda
- agda-stdlib-utils.cabal
- debian/changelog


The diff was not included because it is too large.


View it on GitLab: https://salsa.debian.org/haskell-team/agda-stdlib/-/compare/06062ab6bc2d2394325bbb179625b3202086142f...8497a5bd8ec49d10b77efb76766ea62aeee4a618

-- 
View it on GitLab: https://salsa.debian.org/haskell-team/agda-stdlib/-/compare/06062ab6bc2d2394325bbb179625b3202086142f...8497a5bd8ec49d10b77efb76766ea62aeee4a618
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/20231104/51c7c858/attachment.htm>