Manuel Wiesinger
bf58bab937
License package as 0BSD
2026-01-27 11:57:21 +01:00
Manuel Wiesinger
991c695eb4
0.10.1 -> 0.11.0
...
- 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
2026-01-18 19:53:43 +01:00
Manuel Wiesinger
4b7370c562
0.10.0 -> 0.10.1 + temporarily comment check()
...
checkdepends require comment dune>=3.19, so temporarily comment it
2025-07-16 13:45:55 +02:00
Manuel Wiesinger
3799ab24f4
0.9.1 -> 0.10.0, PKGBUILD cosmetics
2025-02-19 12:18:39 +01:00
Manuel Wiesinger
46f72d7c58
pkgrel bump for ocaml-unisim_archisec 0.0.9
2024-09-13 23:27:09 +02:00
Manuel Wiesinger
bd82a841a6
0.9.0 -> 0.9.1, updated dependencies
...
- 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-06-01 19:50:00 +01:00
Manuel Wiesinger
d76282caf9
Version bump 0.8.2 -> 0,9,0
...
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-05-05 00:02:53 +02:00
Manuel Wiesinger
57f88d6ce9
Add bitwuzla to optdepends
2024-03-30 17:57:05 +00:00
Manuel Wiesinger
09f640fcf6
Initial commit
...
- build tested in clean chroot
- basic functionality tested
2024-03-18 17:41:04 +01:00
