diff options
author | Ulrik Strid <ulrik.strid@outlook.com> | 2023-04-05 08:05:13 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-04-05 08:05:13 +0200 |
commit | 81405bad5ddf6fd9cffe8800cf0f761b9aaccef4 (patch) | |
tree | 1a4b51af17257d8dae63c068b241380e148950b9 | |
parent | f20f4fbbdc590cd38009046c79791b89c58fc2af (diff) | |
parent | 3f6146e5ca9e7dcd1f83c4140a9298d50b5cdf07 (diff) | |
download | nixlib-81405bad5ddf6fd9cffe8800cf0f761b9aaccef4.tar nixlib-81405bad5ddf6fd9cffe8800cf0f761b9aaccef4.tar.gz nixlib-81405bad5ddf6fd9cffe8800cf0f761b9aaccef4.tar.bz2 nixlib-81405bad5ddf6fd9cffe8800cf0f761b9aaccef4.tar.lz nixlib-81405bad5ddf6fd9cffe8800cf0f761b9aaccef4.tar.xz nixlib-81405bad5ddf6fd9cffe8800cf0f761b9aaccef4.tar.zst nixlib-81405bad5ddf6fd9cffe8800cf0f761b9aaccef4.zip |
Merge pull request #224772 from vbgl/ocaml-rdbg-1.199.0
ocamlPackages.rdbg: 1.196.12 → 1.199.0
-rw-r--r-- | pkgs/development/ocaml-modules/rdbg/default.nix | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/pkgs/development/ocaml-modules/rdbg/default.nix b/pkgs/development/ocaml-modules/rdbg/default.nix index 9b33678590d5..c7915749bd0f 100644 --- a/pkgs/development/ocaml-modules/rdbg/default.nix +++ b/pkgs/development/ocaml-modules/rdbg/default.nix @@ -2,15 +2,15 @@ buildDunePackage rec { pname = "rdbg"; - version = "1.196.12"; + version = "1.199.0"; - useDune2 = true; + duneVersion = "3"; minimalOCamlVersion = "4.07"; src = fetchurl { - url = "http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/pool/rdbg.1.196.12.tgz"; - sha512 = "8e88034b1eda8f1233b4990adc9746782148254c93d8d0c99c246c0d50f306eeb6aa4afcfca8834acb3e268860647f47a24cc6a2d29fb45cac11f098e2ede275"; + url = "http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/pool/rdbg.v${version}.tgz"; + hash = "sha512:6076eaa3608a313f8ac71a4f5aa4fcc64aeb0c646d581e5035110d4c80f94de34f2ba26f90a9a1e92a7f788c9e799f1f7b0e3728c853a21983ad732f0ee60352"; }; buildInputs = [ |