BoomMicrophone/nixpkgs-suyu
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

ocamlPackages.unisim_archisec: init at 0.0.5

Browse source
This commit is contained in:
David Hamelin 2023-04-19 19:19:32 +02:00 committed by Vincent Laporte
parent e201ba4fbc
commit dae32f5930
3 changed files with 29 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
maintainers/maintainer-list.nix
View file

@ -3522,6 +3522,12 @@
githubId = 10701143;
name = "David Crompton";
};
david-hamelin = {
email = "david.hamelin@outlook.fr";
github = "HamelinDavid";
githubId = 118536343;
name = "David Hamelin";
};
davidrusu = {
email = "davidrusu.me@gmail.com";
github = "davidrusu";

21
pkgs/development/ocaml-modules/unisim_archisec/default.nix Normal file
View file

@ -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 ];
};
}

2
pkgs/top-level/ocaml-packages.nix
View file

@ -1628,6 +1628,8 @@ let
unionFind = callPackage ../development/ocaml-modules/unionFind { };
unisim_archisec = callPackage ../development/ocaml-modules/unisim_archisec { };
unix-errno = callPackage ../development/ocaml-modules/unix-errno { };
unstrctrd = callPackage ../development/ocaml-modules/unstrctrd { };