| Age | Commit message | Author |
|---|---|---|
| 2022-06-07 | Update to 2.04 | Matěj Grabovský |
| 2021-11-13 | Update to 2.03 | Matěj Grabovský |
| 2021-04-11 | Update to 2.02pl1 | Matěj Grabovský |
| 2020-05-12 | Update to 2.01 | Matěj Grabovský |
| 2019-05-22 | Add ocamlbuild to makedeps | Matěj Grabovský |
| 2018-05-29 | Update to 2.00 (thanks Leander Schröder) | Matěj Grabovský |
| 2018-01-08 | Fix syntax | Matěj Grabovský |
| 2018-01-08 | Add dependencies in PKGBUILD | Matěj Grabovský |
| 2017-12-24 | Update to 1.98pl1 | Matěj Grabovský |
| 2017-10-10 | Update to 1.97pl1 | Matěj Grabovský |
| [...] | ||
| Clone | ||
| https://aur.archlinux.org/proverif.git/ | ||