| Age | Commit message (Expand) | Author |
|---|---|---|
| 2024-09-13 | pkgrel bump for ocaml-unisim_archisec 0.0.9 | Manuel Wiesinger |
| 2024-06-01 | 0.9.0 -> 0.9.1, updated dependencies | Manuel Wiesinger |
| 2024-05-05 | Version bump 0.8.2 -> 0,9,0 | Manuel Wiesinger |
| 2024-03-30 | Add bitwuzla to optdepends | Manuel Wiesinger |
| 2024-03-18 | Initial commit | Manuel Wiesinger |