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

[Gianfranco Costamagna]

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


Commits:
73ef6a82 by Gianfranco Costamagna at 2020-07-31T13:26:08+02:00
New upstream version 1.3
- - - - -


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/-/commit/73ef6a820d7fdd916c75c831096f9cbc963b3cce

-- 
View it on GitLab: https://salsa.debian.org/haskell-team/agda-stdlib/-/commit/73ef6a820d7fdd916c75c831096f9cbc963b3cce
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/8248e5df/attachment.html>