pkgs/development/ocaml-modules/unisim_archisec/default.nix

   1 { lib, buildDunePackage, fetchurl }:
   2
   3 buildDunePackage rec {
   4   pname = "unisim_archisec";
   5   version = "0.0.9";
   6
   7   src = fetchurl {
   8     url = "https://github.com/binsec/unisim_archisec/releases/download/0.0.9/unisim_archisec-0.0.9.tbz";
   9     sha256 = "sha256-K7nBQQvnsGUgzGMLGO71P9L1P43yDol3e17glI8y35E=";
  10   };
  11
  12   duneVersion = "3";
  13
  14   meta = {
  15     homepage = "https://binsec.github.io";
  16     downloadPage = "https://github.com/binsec/unisim_archisec";
  17     description = "UNISIM-VP DBA decoder";
  18     license = lib.licenses.bsd3;
  19     maintainers = [ lib.maintainers.david-hamelin ];
  20   };
  21 }