summarylogtreecommitdiffstats
path: root/.SRCINFO
AgeCommit message (Expand)Author
2024-09-13pkgrel bump for ocaml-unisim_archisec 0.0.9Manuel Wiesinger
2024-06-010.9.0 -> 0.9.1, updated dependenciesManuel Wiesinger
2024-05-05Version bump 0.8.2 -> 0,9,0Manuel Wiesinger
2024-03-30Add bitwuzla to optdependsManuel Wiesinger
2024-03-18Initial commitManuel Wiesinger