
---
title: "0.3 Release"
linkTitle: "0.3"
date: 2019-12-23
description: >
  X-Mas release!
---

This release comes with a lot of bugfixes and enhancement to the SAT solver core:

- Add support for `provides`. They allow to have `virtual` packages which can be replaced during solving by other drop-in packages.
- Tons of fixes
- Preparation for upcoming compression support