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

[Sean Whitton]

Sean Whitton pushed to branch upstream at Debian Haskell Group / agda-stdlib


Commits:
a19b25a8 by Sean Whitton at 2018-11-24T00:29:18Z
New upstream version 0.17
- - - - -


18 changed files:

- .gitignore
- .travis.yml
- CHANGELOG.md
- + CHANGELOG/v0.01.md
- + CHANGELOG/v0.02.md
- + CHANGELOG/v0.03.md
- + CHANGELOG/v0.04.md
- + CHANGELOG/v0.05.md
- + CHANGELOG/v0.06.md
- + CHANGELOG/v0.07.md
- + CHANGELOG/v0.08.1.md
- + CHANGELOG/v0.08.md
- + CHANGELOG/v0.09.md
- + CHANGELOG/v0.10.md
- + CHANGELOG/v0.11.md
- + CHANGELOG/v0.12.md
- + CHANGELOG/v0.13.md
- + CHANGELOG/v0.14.md


The diff was not included because it is too large.


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

-- 
View it on GitLab: https://salsa.debian.org/haskell-team/agda-stdlib/commit/a19b25a865b2000bbd3acd909f5951a5407c1eec
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/20181124/76817327/attachment-0001.html>