| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2022-03-31 | fix v0.23.0 changes | Ranadeep Biswas | |
| 2022-02-23 | v0.21.1 | Ranadeep Biswas | |
| 2022-02-04 | fix patch | Ranadeep Biswas | |
| 2022-01-31 | fix for v0.20.0 | Ranadeep Biswas | |
| 2021-09-19 | apalache on aur | Ranadeep Biswas | |
| AUR : apalache-bin.git | |
| AUR Package Repositories | click here to return to the package base details page |
| summarylogtreecommitdiffstats |
| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2022-03-31 | fix v0.23.0 changes | Ranadeep Biswas | |
| 2022-02-23 | v0.21.1 | Ranadeep Biswas | |
| 2022-02-04 | fix patch | Ranadeep Biswas | |
| 2022-01-31 | fix for v0.20.0 | Ranadeep Biswas | |
| 2021-09-19 | apalache on aur | Ranadeep Biswas | |