sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page
The package failed to build. The error log from opam follows.
You are using opam 2.1+, where external dependency handling has been integrated: consider calling opam directly, the 'depext' plugin interface is provided for backwards compatibility only # Detecting depexts using vars: arch=x86_64, os=linux, os-distribution=debian, os-family=debian [ERROR] No solution for why3-ide.1.5.0 & why3.1.5.0 & ocamlfind.1.9.6 & num.1.5 & menhirSdk.20231231 & menhirLib.20231231 & menhirCST.20231231 & menhir.20231231 & lablgtk.2.18.13 & dune.3.15.3 & conf-which.1 & conf-pkg-config.3 & conf-gtksourceview.2 & conf-gtk2.1 & conf-autoconf.0.1 & camlp-streams.5.0.1: * Missing dependency: - conf-gtksourceview depends on the unavailable system package 'libgtksourceview2.0-dev'. Use `--no-depexts' to attempt installation anyway, or it is possible that a depext package name in the opam file is incorrect. Command failed: opam --cli=2.1 list --readonly --external '--resolve=why3-ide.1.5.0,why3.1.5.0,ocamlfind.1.9.6,num.1.5,menhirSdk.20231231,menhirLib.20231231,menhirCST.20231231,menhir.20231231,lablgtk.2.18.13,dune.3.15.3,conf-which.1,conf-pkg-config.3,conf-gtksourceview.2,conf-gtk2.1,conf-autoconf.0.1,camlp-streams.5.0.1' returned 20