Julien Lepiller b7971ff798 gnu: lablgtk3: Update to 3.1.2. ...

* gnu/packages/ocaml.scm (lablgtk3): Update to 3.1.2.
[arguments]: Do not build extensions anymore (missing dependency)
* gnu/packages/games.scm (laby)[inputs]: Use
  `ocaml-lablgtk3-sourceview3'.
* gnu/packages/maths.scm (frama-c)[inputs]: Use
  `ocaml-lablgtk3-sourceview3'.
* gnu/packages/coq.scm (coq-ide)[inputs]: Use
  `ocaml-lablgtk3-sourceview3'.

2022-09-22 07:34:02 +02:00

324 KiB

Raw Blame History

View Raw