diff options
| author | 宋文武 <iyzsong@member.fsf.org> | 2023-08-17 18:38:23 +0800 |
|---|---|---|
| committer | 宋文武 <iyzsong@member.fsf.org> | 2023-08-17 18:38:23 +0800 |
| commit | 0ffbdf34567aedb0ae6cef6b869370a415cfaa65 (patch) | |
| tree | 76425d441657ffbc6cfe996144cda706eb997a12 /gnu/packages/maths.scm | |
| parent | d9320de5aa9b77adf5fa31c6429ec8eb08c24458 (diff) | |
| parent | 1b2d43fe016848ea2ec16ff18cbc14340944fc4e (diff) | |
| download | guix-0ffbdf34567aedb0ae6cef6b869370a415cfaa65.tar.gz | |
Merge remote-tracking branch 'origin/master' into kde-updates
Diffstat (limited to 'gnu/packages/maths.scm')
| -rw-r--r-- | gnu/packages/maths.scm | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index 420f1894f3..8b765e886b 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -6555,17 +6555,15 @@ reduction.") (define-public mcrl2 (package (name "mcrl2") - (version "202206.0") + (version "202206.1") (source (origin (method url-fetch) (uri (string-append "https://www.mcrl2.org/download/release/mcrl2-" version ".tar.gz")) - (patches (search-patches "mcrl2-fix-1687.patch" - "mcrl2-fix-counterexample.patch")) (sha256 (base32 - "0alpck09pbvwk4axqmrvcjmsabsn20yayq5b3apq284n0hcbf01q")))) + "1rbfyw47bi31qla1sa4fd1npryb5kbdr0vijmdc2gg1zhpqfv0ia")))) (inputs (list boost glu mesa qtbase-5)) (build-system cmake-build-system) |