5aa1c0b7f7f397bf9f8cba55515bbe21b8f18627 to 01b602fcc666e3a55ce9a248d433fdd75ef1d25e · Debian Haskell Group / agda-stdlib

Commits on Source 7

New upstream version 1.1 · 78b7661f
Gianfranco Costamagna authored Sep 04, 2019

78b7661f
Update upstream source from tag 'upstream/1.1' · de8d34c3
Gianfranco Costamagna authored Sep 04, 2019
```
Update to upstream version '1.1'
with Debian dir 81a0004eb6dd01d9d84dcb2db5f802750477855d
```
de8d34c3
Update copyright years · d4abee69
Gianfranco Costamagna authored Sep 04, 2019

d4abee69
Bump compat level to 12 · 2d836ba4
Gianfranco Costamagna authored Sep 04, 2019

2d836ba4
Bump std-version to 4.4.0 · 9a6ac242
Gianfranco Costamagna authored Sep 04, 2019

9a6ac242
Update agda relationships bounds · f19a318f
Gianfranco Costamagna authored Sep 04, 2019

f19a318f
Update changelog, upload to unstable · 01b602fc
Gianfranco Costamagna authored Sep 04, 2019

01b602fc