| Age | Commit message (Collapse) | 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 | |
| - 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 | |||