diff options
| author | Weijia Wang <9713184+wegank@users.noreply.github.com> | 2024-07-07 02:57:51 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-07-07 02:57:51 +0200 |
| commit | be44c5d411d5420b020ea4fe97b85eff20191a05 (patch) | |
| tree | 986a21c85bc15453e3f2ecbb7c4e654d7c1a48a7 /pkgs/development/ocaml-modules | |
| parent | d741dcbeb42ff89bf1c47f1939344ba862b60bd9 (diff) | |
| parent | 67a80a7f5e5dfc4f3b5e424043c890347dc7bcfd (diff) | |
Merge pull request #305897 from r-ryantm/auto-update/ocamlPackages.unisim_archisec
ocamlPackages.unisim_archisec: 0.0.5 -> 0.0.8
Diffstat (limited to 'pkgs/development/ocaml-modules')
| -rw-r--r-- | pkgs/development/ocaml-modules/unisim_archisec/default.nix | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/pkgs/development/ocaml-modules/unisim_archisec/default.nix b/pkgs/development/ocaml-modules/unisim_archisec/default.nix index a5b364312d41..8db9abd3630b 100644 --- a/pkgs/development/ocaml-modules/unisim_archisec/default.nix +++ b/pkgs/development/ocaml-modules/unisim_archisec/default.nix @@ -2,11 +2,11 @@ buildDunePackage rec { pname = "unisim_archisec"; - version = "0.0.5"; + version = "0.0.8"; src = fetchurl { - url = "https://github.com/binsec/unisim_archisec/releases/download/0.0.5/unisim_archisec-0.0.5.tbz"; - sha256 = "sha256-94Ky7rtR8oFTtWshTYaY6gyJdqrY3QKMF7qTkZQweXQ="; + url = "https://github.com/binsec/unisim_archisec/releases/download/0.0.8/unisim_archisec-0.0.8.tbz"; + sha256 = "sha256-D8DumHaQnLsMaVHoUL7w8KgGRTh9Rk+22NNSa0a/qII="; }; duneVersion = "3"; |