| Age | Commit message | Author |
|---|---|---|
| 2022-04-29 | m | Azat Abdullin |
| 2021-05-21 | m | Azat Abdullin |
| 2020-03-30 | m | Azat Abdullin |
| 2020-03-30 | m | Azat Abdullin |
| 2020-03-30 | m | Azat Abdullin |
| 2020-03-25 | m | Azat Abdullin |
| 2020-03-24 | m | Azat Abdullin |
| 2020-03-20 | m | Azat Abdullin |
| 2020-03-20 | 3.2.0 | Azat Abdullin |
| 2020-01-13 | v3.1.4 | Azat Abdullin |
| [...] | ||
| Clone | ||
| https://aur.archlinux.org/boolector-java.git/ | ||