Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2024-04-03 | cadical: fix static build | Guillaume Girol | 1 | -0/+5 |
2024-04-03 | cadical: add pkg-config file | Guillaume Girol | 1 | -1/+25 |
2024-03-06 | cadical: 1.9.4 -> 1.9.5 | R. Ryantm | 1 | -2/+2 |
2024-01-12 | cadical: 1.9.3 -> 1.9.4 | R. Ryantm | 1 | -2/+2 |
2023-12-26 | cadical: 1.9.1 -> 1.9.3 | R. Ryantm | 1 | -2/+2 |
2023-12-15 | cadical: 1.9.0 -> 1.9.1 | R. Ryantm | 1 | -2/+2 |
2023-11-21 | cadical: 1.8.0 -> 1.9.0 | R. Ryantm | 1 | -2/+2 |
2023-11-11 | treewide: fix redirected and broken URLs | Anthony Roussel | 1 | -1/+1 |
2023-10-09 | cadical: 1.5.3 -> 1.8.0 | R. Ryantm | 1 | -2/+2 |
2022-09-26 | cadical: 1.5.0 -> 1.5.3 | Narazaki, Shuji | 1 | -2/+2 |
2022-09-02 | cadical: 1.4.1 -> 1.5.0 | kilianar | 1 | -2/+2 |
2021-10-14 | cadical: include C++ headers | Shadaj Laddad | 1 | -0/+1 |
2021-08-22 | cadical: 1.3.0 -> 1.4.1 | Narazaki, Shuji | 1 | -2/+2 |
2021-07-23 | cadical: install library | Guillaume Girol | 1 | -3/+19 |
2021-01-11 | treewide: with stdenv.lib; in meta -> with lib; | Profpatsch | 1 | -2/+2 |
2020-06-24 | cadical: enable tests | Daniƫl de Kok | 1 | -0/+2 |
2020-06-15 | cadical: 1.2.1 -> 1.3.0 | Narazaki, Shuji | 1 | -2/+2 |
2020-06-01 | treewide: replace SRI hashes | Daiderd Jordan | 1 | -1/+1 |
2020-04-05 | cadical: init at 1.2.1 | Narazaki, Shuji | 1 | -0/+29 |