| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2026-04-01 | Upstream released a new 0.11.1 (hotfix) release | Manuel Wiesinger | |
| 2026-03-31 | 0.11.0 -> 0.11, update deps, remove Ocaml5.4 patch | Manuel Wiesinger | |
| 2026-01-27 | License package as 0BSD | Manuel Wiesinger | |
| 2026-01-18 | 0.10.1 -> 0.11.0 | Manuel Wiesinger | |
| - use check() again, after hot fix - Updated decencies - Fixed build with OCaml 5.4 https://github.com/binsec/binsec/pull/59 - Tested in clean chroot | |||
| 2025-07-16 | 0.10.0 -> 0.10.1 + temporarily comment check() | Manuel Wiesinger | |
| checkdepends require comment dune>=3.19, so temporarily comment it | |||
| 2025-02-19 | 0.9.1 -> 0.10.0, PKGBUILD cosmetics | Manuel Wiesinger | |
| 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 | |
| - Depend on ocaml-unisim_archisec for x86-64, ARMv7 and ARMv8 binary support - remove ocaml from makedepens (the wiki suggests not to but it's redundant) - depend on bitwuzla | |||
| 2024-05-05 | Version bump 0.8.2 -> 0,9,0 | Manuel Wiesinger | |
| Not all checkdepends build at the moment because of: https://archlinux.org/todo/rebuild-packages-against-gcc-131-to-circumvent-issues-with-lto/ - built in clean chroot - basic functionality tested | |||
| 2024-03-30 | Add bitwuzla to optdepends | Manuel Wiesinger | |
| 2024-03-18 | Initial commit | Manuel Wiesinger | |
| - build tested in clean chroot - basic functionality tested | |||