Message ID | 0d544c7063b7986013f640125b6c9ef3ee249a4c.1715097365.git.jean@foundation.xyz |
---|---|
State | New |
Headers | show |
Series | [bug#70567,v2,1/7] gnu: ocaml-lablgtk3-sourceview3: Fix inputs. | expand |
Hello, thanks for the patches and the reviews! I have pushed the commits 1 to 2 and 6 to 7, after checking that frama-c still compiles like this. Commit 3 does not apply any more, since there have been additions to maths.scm. Could you please prepare a new version of commits 3 to 5 that apply to master? Thanks, Andreas
Hello Andreas, Thanks for committing the patches! I've sent a V3 with the rest of the unapplied patches with the conflicts solved. Thanks, Jean-Pierre On Wed, May 15, 2024 at 2:53 PM Andreas Enge <andreas@enge.fr> wrote: > > Hello, > > thanks for the patches and the reviews! I have pushed the commits 1 to 2 > and 6 to 7, after checking that frama-c still compiles like this. > > Commit 3 does not apply any more, since there have been additions to > maths.scm. > > Could you please prepare a new version of commits 3 to 5 that apply > to master? > > Thanks, > > Andreas >
Am Wed, May 15, 2024 at 03:05:07PM +0000 schrieb Jean-Pierre De Jesus Diaz: > I've sent a V3 with the rest of the unapplied patches with the conflicts > solved. That was lightning fast, I have applied and pushed them. Thanks! Andreas
diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index 3f665c0fb4..a7a3707044 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -9457,14 +9457,14 @@ (define-public why3 (define-public frama-c (package (name "frama-c") - (version "27.1") + (version "28.1") (source (origin (method url-fetch) - (uri (string-append "http://frama-c.com/download/frama-c-" - version "-Cobalt.tar.gz")) + (uri (string-append "https://frama-c.com/download/frama-c-" + version "-Nickel.tar.gz")) (sha256 (base32 - "1lirkvhf5m53d33l0aw5jzc1fyzkwx5fkgh9g71732d52r55f4sv")))) + "14zmwghwhcryvri7k91vc1yampvxvhg36vwjxf64d8kx7dsbq802")))) (build-system dune-build-system) (arguments `(#:phases @@ -9487,6 +9487,7 @@ (define-public frama-c ocaml-ppx-deriving-yojson ocaml-ppx-deriving-yaml ocaml-ppx-import + ocaml-unionfind why3)) (native-inputs (list dune-site time ocaml-menhir ocaml-graph)) (native-search-paths