nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-01-19 19:34:06 +00:00
Code Issues Packages Projects Releases Wiki Activity

ocamlPackages.mlbdd: 0.7.2 -> 0.7.3 (#348255)

Browse Source
This commit is contained in:
Nick Cao 2024-10-27 09:15:23 -04:00 committed by GitHub
commit f59db697ef
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
pkgs/development/ocaml-modules/mlbdd/default.nix
View File

@ -7,15 +7,15 @@
buildDunePackage {
pname = "mlbdd";
version = "0.7.2";
version = "0.7.3";
minimalOCamlVersion = "4.04";
src = fetchFromGitHub {
owner = "arlencox";
repo = "mlbdd";
rev = "v0.7.2";
hash = "sha256-GRkaUL8LQDdQx9mPvlJIXatgRfen/zKt+nGLiH7Mfvs=";
rev = "v0.7.3";
hash = "sha256-TUdgx+B5341VJsnP7iTHID7hNC+5G/I2xNM5F3mdb/A=";
};
checkInputs = [ ounit ];