nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-26 17:03:01 +00:00
Code Issues Packages Projects Releases Wiki Activity

ocamlPackages.psmt2-frontend: 0.3.1 -> 0.4.0

Browse Source
This commit is contained in:
R. Ryantm 2022-03-21 08:40:44 +00:00
parent 6a300e5a27
commit 9d0ca60831
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/development/ocaml-modules/psmt2-frontend/default.nix
View File

@ -1,14 +1,14 @@
{ lib, fetchFromGitHub, buildDunePackage, menhir }:
buildDunePackage rec {
version = "0.3.1";
version = "0.4.0";
pname = "psmt2-frontend";
src = fetchFromGitHub {
owner = "ACoquereau";
repo = pname;
rev = version;
sha256 = "038jrfsq09nhnzpjiishg4adk09w3aw1bpczgbj66lqqilkd6gci";
sha256 = "sha256-cYY9x7QZjH7pdJyHMqfMXgHZ3/zJLp/6ntY6OSIo6Vs=";
};
useDune2 = true;