Commit message (Expand) | Author | Age | |
---|---|---|---|
* | treewide: Per RFC45, remove all unquoted URLs | Michael Reilly | 2020-04-10 |
* | python3Packages.monosat: Fix hash | Aiken Cairncross | 2020-03-03 |
* | python3Packages.monosat: Fix Python 3.8 build | Aiken Cairncross | 2020-03-03 |
* | monosat: 60528a3 -> 1.8.0 | Aiken Cairncross | 2019-10-15 |
* | monosat: Add self as maintainer | Aiken Cairncross | 2019-10-15 |
* | treewide: mark some broken packages as broken | Linus Heckemann | 2019-10-08 |
* | treewide: remove redundant rec | volth | 2019-08-28 |
* | monosat: update build to use handy new environment variable | Dan Peebles | 2018-07-08 |
* | monosat: cbaf79cf -> 2deeadef | Dan Peebles | 2018-07-08 |
* | monosat: init at 1nx3wh34 | Dan Peebles | 2018-07-08 |