| Age | Commit message (Expand) | Author |
|---|---|---|
| 2024-05-19 | upgpkg: proverif 2.05-1 | gilcu3 |
| 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ý |
| 2017-08-24 | Update to 1.97 | Matěj Grabovský |
| 2017-02-15 | Update to 1.96 | Matěj Grabovský |
| 2016-10-25 | Update to 1.95 | Matěj Grabovský |
| 2016-10-12 | Update to 1.94pl1 | Matěj Grabovský |
| 2016-05-01 | Update to 1.94 | Matěj Grabovský |
| 2016-02-03 | Update to 1.93 | Matěj Grabovský |
| 2015-09-11 | Update to version 1.91 | Matěj Grabovský |
| 2015-08-19 | Package for ProVerif version 1.90 | Matěj Grabovský |