| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | cadical: include C++ headers | Shadaj Laddad | 2021-10-14 |
| * | cadical: 1.3.0 -> 1.4.1 | Narazaki, Shuji | 2021-08-22 |
| * | cadical: install library | Guillaume Girol | 2021-07-23 |
| * | treewide: with stdenv.lib; in meta -> with lib; | Profpatsch | 2021-01-11 |
| * | cadical: enable tests | Daniël de Kok | 2020-06-24 |
| * | cadical: 1.2.1 -> 1.3.0 | Narazaki, Shuji | 2020-06-15 |
| * | treewide: replace SRI hashes | Daiderd Jordan | 2020-06-01 |
| * | cadical: init at 1.2.1 | Narazaki, Shuji | 2020-04-05 |