![[Jenkins]](/static/c50b3b2c/images/svgs/logo.svg){kind=logo}
Summary
- Upgrade irc-core (details)
| The file was added | patches/cryptol/3.0.0/newer-deps |
| The file was modified | packages.txt |
| The file was added | patches/cryptol/3.0.0/series |
| The file was added | patches/cryptol/3.0.0/newer-deps |
| The file was modified | packages.txt |
| The file was added | patches/cryptol/3.0.0/series |