Message ID | 854d751e7d512c66acb72225120168e5ee16d6a2.1638120398.git.julien@lepiller.eu |
---|---|
State | Accepted |
Headers | show |
Series | [bug#52164,1/3] gnu: ocaml-semantics: Update to 8.14.0. | expand |
Context | Check | Description |
---|---|---|
cbaines/applying patch | fail | View Laminar job |
cbaines/issue | success | View issue |
cbaines/applying patch | fail | View Laminar job |
cbaines/issue | success | View issue |
Hi Julien, Maybe something had been twisted. 1. Missing changelog. 2. Incorrect package name in commit oneline: coq-semantics and not ocaml-semantics. Cheers, simon On dim., 28 nov. 2021 at 18:27, Julien Lepiller <julien@lepiller.eu> wrote: > --- > gnu/packages/coq.scm | 4 ++-- > 1 file changed, 2 insertions(+), 2 deletions(-) > > diff --git a/gnu/packages/coq.scm b/gnu/packages/coq.scm > index a27ec53ecb..e3c4190ac3 100644 > --- a/gnu/packages/coq.scm > +++ b/gnu/packages/coq.scm > @@ -576,7 +576,7 @@ (define-public coq-equations > (define-public coq-semantics > (package > (name "coq-semantics") > - (version "8.13.0") > + (version "8.14.0") > (source > (origin > (method git-fetch) > @@ -591,7 +591,7 @@ (define-public coq-semantics > (file-name (git-file-name name version)) > (sha256 > (base32 > - "0m5si9dsv96z92gy4xaqz8mzyz8zp7j1sp542l0wzsp5xgyfpc7i")))) > + "0ldrp86bfcjpzsb08p45sgs3aczjzr1gksy5dsf7pxapg05pc7ac")))) > (build-system gnu-build-system) > (native-inputs > `(("coq" ,coq)
diff --git a/gnu/packages/coq.scm b/gnu/packages/coq.scm index a27ec53ecb..e3c4190ac3 100644 --- a/gnu/packages/coq.scm +++ b/gnu/packages/coq.scm @@ -576,7 +576,7 @@ (define-public coq-equations (define-public coq-semantics (package (name "coq-semantics") - (version "8.13.0") + (version "8.14.0") (source (origin (method git-fetch) @@ -591,7 +591,7 @@ (define-public coq-semantics (file-name (git-file-name name version)) (sha256 (base32 - "0m5si9dsv96z92gy4xaqz8mzyz8zp7j1sp542l0wzsp5xgyfpc7i")))) + "0ldrp86bfcjpzsb08p45sgs3aczjzr1gksy5dsf7pxapg05pc7ac")))) (build-system gnu-build-system) (native-inputs `(("coq" ,coq)