summarylogtreecommitdiffstats
AgeCommit message (Collapse)Author
2025-07-160.10.0 -> 0.10.1 + temporarily comment check()Manuel Wiesinger
checkdepends require comment dune>=3.19, so temporarily comment it
2025-02-190.9.1 -> 0.10.0, PKGBUILD cosmeticsManuel Wiesinger
2024-09-13pkgrel bump for ocaml-unisim_archisec 0.0.9Manuel Wiesinger
2024-06-010.9.0 -> 0.9.1, updated dependenciesManuel 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-05Version bump 0.8.2 -> 0,9,0Manuel 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-30Add bitwuzla to optdependsManuel Wiesinger
2024-03-18Initial commitManuel Wiesinger
- build tested in clean chroot - basic functionality tested