b12f/nixpkgs
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity

Merge pull request #165082 from r-ryantm/auto-update/ocaml4.13.1-psmt2-frontend

Browse source
This commit is contained in:
Sandro 2022-03-27 15:13:46 +02:00 committed by GitHub
parent c8fa9161ce 9d0ca60831
commit ca62e5f2da
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
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;