diff options
Diffstat (limited to 'pkgs/development/ocaml-modules/unisim_archisec/default.nix')
-rw-r--r-- | pkgs/development/ocaml-modules/unisim_archisec/default.nix | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/pkgs/development/ocaml-modules/unisim_archisec/default.nix b/pkgs/development/ocaml-modules/unisim_archisec/default.nix new file mode 100644 index 0000000000000..a5b364312d417 --- /dev/null +++ b/pkgs/development/ocaml-modules/unisim_archisec/default.nix @@ -0,0 +1,21 @@ +{ lib, buildDunePackage, fetchurl }: + +buildDunePackage rec { + pname = "unisim_archisec"; + version = "0.0.5"; + + src = fetchurl { + url = "https://github.com/binsec/unisim_archisec/releases/download/0.0.5/unisim_archisec-0.0.5.tbz"; + sha256 = "sha256-94Ky7rtR8oFTtWshTYaY6gyJdqrY3QKMF7qTkZQweXQ="; + }; + + duneVersion = "3"; + + meta = { + homepage = "https://binsec.github.io"; + downloadPage = "https://github.com/binsec/unisim_archisec"; + description = "UNISIM-VP DBA decoder"; + license = lib.licenses.bsd3; + maintainers = [ lib.maintainers.david-hamelin ]; + }; +} |