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

[Gianfranco Costamagna]

Gianfranco Costamagna pushed to branch master at Debian Haskell Group / agda-stdlib


Commits:
73ef6a82 by Gianfranco Costamagna at 2020-07-31T13:26:08+02:00
New upstream version 1.3
- - - - -
3e6722f6 by Gianfranco Costamagna at 2020-07-31T13:26:11+02:00
Update upstream source from tag 'upstream/1.3'

Update to upstream version '1.3'
with Debian dir 6c00d439c0ff3aaa659cf840af10f8b7b701f031
- - - - -
171b1226 by Gianfranco Costamagna at 2020-07-31T13:28:26+02:00
Fix watch file

- - - - -
b8f20076 by Gianfranco Costamagna at 2020-07-31T13:28:33+02:00
Bump agda dependency bounds

- - - - -
a8c17240 by Gianfranco Costamagna at 2020-07-31T13:30:57+02:00
Bump copyright years

- - - - -
6cb887a3 by Gianfranco Costamagna at 2020-07-31T13:31:19+02:00
Upload to sid

- - - - -


6 changed files:

- .gitignore
- .travis.yml
- CHANGELOG.md
- + CHANGELOG/v1.1.md
- + CHANGELOG/v1.2.md
- GNUmakefile


The diff was not included because it is too large.


View it on GitLab: https://salsa.debian.org/haskell-team/agda-stdlib/-/compare/01b602fcc666e3a55ce9a248d433fdd75ef1d25e...6cb887a3a24cf409db955d3c254986e1ffdcdfbf

-- 
View it on GitLab: https://salsa.debian.org/haskell-team/agda-stdlib/-/compare/01b602fcc666e3a55ce9a248d433fdd75ef1d25e...6cb887a3a24cf409db955d3c254986e1ffdcdfbf
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/20200731/6088ca7f/attachment.html>